實體完整性、參照完整性、徹底函數依賴、部分函數依賴

實體完整性：若是A是二維表的主碼，那麼A不能爲空。 （若屬性A是基本關係R的主屬性，則屬性A不能取空值）web 參照完整性：若是F是外碼，那麼他要麼是空值，要麼就是另外一個表的主碼. （若屬性（或屬性組）F是基本關係R的外碼，它與基本關係S的主碼相對應（基本關係R和S不必定是不一樣的關係），則對於R中每一個元祖在F上必須爲：數據庫 或者取空值（F的每一個屬性均爲空值） 或者等於S中某個元祖的主碼值

>>阅读原文<<