資料庫-第六章 關係數據理論-6.3 數據依賴的公理系統

• 2020 年 4 月 24 日
• 筆記
• 資料庫

數據依賴的公理系統

一、Armstrong公理系統

1.推理規則

2.性質

二、函數依賴閉包

1.函數依賴集F的閉包

例：

2.屬性集X關於函數依賴集F的閉包

例：

3.閉包的引理

4.函數依賴集等價的概念

5.最小依賴集

例1：




例2：

參考-《數據系統概論(第五版)》-人民大學-王珊