數據依賴的公理系統

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