关于传递闭包和函数依赖完备公理系统存在的问题研究

摘要

数据依赖在数据库设计中起着十分重要的作用，自Ｃｏｄｄ提出函数依赖，Ｆａｇｉｎ引入多值依赖后，近几年来人们又根据设计中的需要引入多种新的依赖，如在工程数据库设计中所引进的传递闭包依赖等，对这些依赖一般是按其是否具有完备的公理系统而划分为两大类，因为完备性公理系统往往具有有效的判定算法为先决条件。本文对ＣＤＳ和ＦＤＳ的ｋ元完备公理系统存在问题进行了研究，证明了ＣＤＳ和ＦＤＳ不具有共同的Ｋ元完备公理系统