计算代数方法的应用最近为希尔伯特方案的研究引入了新的工具。其关键思想是定义具有方案结构的扁平理想族，其定义方程可以通过算法过程确定。为此，几位作者基于Borel固定理想的组合特性开发了新的方法，允许将这种类型的每个理想$J$关联到一个方案$\MFScheme{J}$，称为$J$标记方案。在本文中，我们为标记方案提供了坚实的函数基础，并证明了先前论文中介绍的算法过程不依赖于系数环。我们证明，对于所有强稳定理想$J$，标记方案$\MFScheme{J}$可以作为局部闭子方案嵌入到Hilbert方案中，并且它们在$J$上的适当条件下是开放的。最后，我们推广了Lederer关于零维理想Gr“obner层的结果，证明了任何理想的Gr”obner层都是Hilbert格式的局部闭子模式。