  We study a question which can be roughly stated as follows: Given a (unital
or nonunital) algebra $A$ together with a Gr\"obner-Shirshov basis $G$,
consider the free operated algebra $B$ over $A$, such that the operator
satisfies some polynomial identities $\Phi$ which are Gr\"obner-Shirshov in the
sense of Guo et al., when doesthe union $\Phi\cup G$ will be an operated
Gr\"obner-Shirshov basis for $B$? We answer this question in the affirmative
under a mild condition in our previous work with Wang. When this condition is
satisfied, $\Phi\cup G$ is an operated Gr\"obner-Shirshov basis for $ B$ and as
a consequence, we also get a linear basis of $B$. However, the condition could
not be applied directly to differential type algebras introduced by Guo, Sit
and Zhang, including usual differential algebras.
  This paper solves completely this problem for differential type algebras.Some
new monomial orders are introduced which, together with some known ones, permit
the application of the previous result to most of differential type algebras,
thus providing new operated GS bases and linear bases for these differential
type algebras.Versions are presented both for unital and nonunital algebras.
However, a class of examples are also presented, for which the natural
expectation in the question is wrong and these examples are dealt with by
direct inspection.
