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

关系数据库理论中给出的完全连接依赖的有效公理系统并不能完全适应应用的需要，本文在对有效公理系统的研究基础上对其作出扩充，使其应用范围更为广泛，并能直接用于找出蕴含的所有连接依赖及判断连接 依赖是否存在推导有向无回路图DAG。