约翰·格兰特;敏克，杰克 数值相关性的规范化和公理化。 （英语） Zbl 0602.68095号 Inf.控制 65, 1-17 (1985). 我们展示了如何使用水平和垂直分解来规范包含数字依赖关系的数据库模式。我们提出了数值依赖的有限推理规则集，这是Armstrong公理的推广。我们证明，对于某些特殊情况，该集合是健全和完整的。 引用于8文件 理学硕士： 68第20页 信息存储和数据检索 关键词：关系数据库;分解;数据库模式 PDF格式BibTeX公司 XML格式引用 \textit{J.Grant}和\textit{J.Minker}，Inf.Control 65，1--17（1985；Zbl 0602.68095） 全文： 内政部