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

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