完全连接依赖及其有效公理系统的研究与应用  

THE STUDY AND APPLICATION BASED ON COMPLETENESS JOIN DEPENDENCY AND VALID AXION SYSTEM

作　　者：陈炼[1] 吴永梁[1] 饶泓[1] 

机构地区：[1]南昌大学计算中心,江西南昌330029

出　　处：《南昌大学学报（理科版）》2002年第3期273-275,289,共4页Journal of Nanchang University(Natural Science)

摘　　要：关系数据库理论中给出的完全连接依赖的有效公理系统并不能完全适应应用的需要 ,本文在对有效公理系统的研究基础上对其作出扩充 ,使其应用范围更为广泛 ,并能直接用于找出蕴含的所有连接依赖及判断连接依赖是否存在推导有向无回路图DAG。Valid axiom system based on completeness join dependency which is given from the theory of relation database can't completely adapt to the need of application. In the text some extensions are made for valid axiom system on the basis of the research of valid axiom system so as to apply widely. Moreover, the conlusion can be directly used for searching all the implicative join dependency and judging whether the join dependency can infer DAG or not.

关 键 词：完全连接依赖 有效公理系统 有效性 关系数据库理论 有向无回路图 

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