數據庫系統概論 第六章 關係數據庫理論（3）

第4講 數據依賴的公理系統 數據以來的公理系統是模式分解算法的理論基礎 函數依賴的一個有效而且完備的公理系統–Armstrong公理系統 一套推理規則，是模式分解算法的理論基礎 用途 從一組函數依賴求得蘊含的函數依賴，例如問X->Y是否被F所蘊含，求給定關係模式的碼 邏輯蘊含 1.Armstrong公理系統 2.導出規則 3.函數依賴閉包 設F爲屬性集U上的一組函數依賴，X ⊆U， XF 由F根據

>>阅读原文<<