  For a given monomial ideal $J \subset k[x_1, \ldots, x_n]$ and a given
monomial order $\prec$, the moduli functor of all reduced Gr\"obner bases with
respect to $\prec$ whose initial ideal is $J$ is determined. In some cases,
such a functor is representable by an affine scheme of finite type over $k$,
and a locally closed subfunctor of a Hilbert scheme. The moduli space is called
the Gr\"obner basis scheme, the Gr\"obner strata and so on if it exists. This
paper introduces an alternative procedure for explicitly constructing a
defining ideal of the Gr\"obner basis scheme and its Zariski tangent spaces by
studying combinatorics on the standard set associated to $J$. That is a
generalization of Robbiano and Lederer's technique. We also see that we can
make an implementation of that. Moreover, as a generalization of Robbiano's
result, we show that if the Gr\"obner basis scheme for $\prec$ and $J$ defined
over the rational numbers $\mathbb{Q}$ is nonsingular at the
$\mathbb{Q}$-rational point corresponding to $J$, then the Gr\"obner basis
scheme for $\prec$ and $J$ defined over any commutative ring $k$ is isomorphic
to an affine space over $k$.
