數據依賴的公理系統

數據依賴的公理系統 在說公理系統前，要理解函數依賴的概念（可以看我博客裏面講範式的文章也有提到函數依賴的定義） 一 函數依賴 理解是，我們在R裏面任意找一個r關係，對於這個關係的元組s和t，當s和t在屬性（組）X上面相等，則s和t在Y屬性（組）上也相等。這樣被稱爲，X函數確定Y函數或者說Y函數依賴於X函數（X->Y). 二 邏輯蘊含 理解是，在R關係模式裏面，U是屬性集，F是函數依賴集（一些函數依

>>阅读原文<<