Non-triviality conditions for integer-valued polynomial rings on algebras

Let $D$ be a commutative domain with field of fractions $K$ and let $A$ be a torsion-free $D$-algebra such that $A \cap K = D$. The ring of integer-valued polynomials on $A$ with coefficients in $K$ is $\Int_K(A) = \{f \in K[X] \mid f(A) \subseteq A\}$, which generalizes the classic ring $\Int(D) = \{f \in K[X] \mid f(D) \subseteq D\}$ of integer-valued polynomials on $D$. The condition $A \cap K$ implies that $D[X] \subseteq \Int_K(A) \subseteq \Int(D)$, and we say that $\Int_K(A)$ is nontrivial if $\Int_K(A) \ne D[X]$. For any integral domain $D$, we prove that if $A$ is finitely generated as a $D$-module, then $\Int_K(A)$ is nontrivial if and only if $\Int(D)$ is nontrivial. When $A$ is not necessarily finitely generated but $D$ is Dedekind, we provide necessary and sufficient conditions for $\Int_K(A)$ to be nontrivial. These conditions also allow us to prove that, for $D$ Dedekind, the domain $\Int_K(A)$ has Krull dimension 2.