Armstrong公理相关论文
研究经典函数依赖与属性蕴含之间的关系.首先介绍Tarski量词消除理论,分别研究Tarski量词消除理论下的函数依赖表示方式和属性蕴含......
通过实例研究，定义了一个特定的关系模式，并称它为传递依赖关系模式．在传递依赖关系模式下，得出了计算函数依赖集的闭包中函数依赖的个......
