摘要
在关系数据理论中,属性集闭包的求解不仅是证明Armstrong公理系统的基础,也是关系数据库逻辑模式设计中各种模式分解算法的基础。研究了属性集闭包求解算法的机制,并利用VC++实现了该算法。
In the relation data theory, the solution of attribute set closure is not only the foundation of proving Armstrong justice system, but also is the foundation of various kinds of mode decomposition algorithm in the design of a relational database logic pattern. The article research the mechanism of attribute sets closure algorithm, and make it in realization by using VC＋＋.
出处
《电脑编程技巧与维护》
2012年第14期26-28,共3页
Computer Programming Skills & Maintenance
关键词
公理系统
关系模式
函数依赖
属性集闭包
Justice Systeom
Relation Schema
Functionally dependant
Closure of attribute sets
