属性集闭包求解算法的C++实现  

The Realization of the Attribute Sets Closure Algorithm in C++

作　　者：汪韬[1] 敬茂华[1] 

机构地区：[1]东北大学秦皇岛分校计算机与通信工程学院,河北秦皇岛066004

出　　处：《电脑编程技巧与维护》2012年第14期26-28,共3页Computer Programming Skills & Maintenance

摘　　要：在关系数据理论中,属性集闭包的求解不仅是证明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＋＋.

关 键 词：公理系统 关系模式 函数依赖 属性集闭包 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]