数据依赖的公理系统

数据依赖的公理系统 在说公理系统前，要理解函数依赖的概念（可以看我博客里面讲范式的文章也有提到函数依赖的定义） 一 函数依赖 理解是，我们在R里面任意找一个r关系，对于这个关系的元组s和t，当s和t在属性（组）X上面相等，则s和t在Y属性（组）上也相等。这样被称为，X函数确定Y函数或者说Y函数依赖于X函数（X->Y). 二 逻辑蕴含 理解是，在R关系模式里面，U是属性集，F是函数依赖集（一些函数依

>>阅读原文<<