數據庫系統概論課堂筆記-規範化理論5

一、達到BCNF無損連接分解算法 對於算法的理解：存在函數依賴X->A,且X不是R的碼，這裏可以理解成正常的BCNF範式左部一定包含碼，那麼如果不是BCNF範式，一定存在一個依賴滿足上式。XA爲什麼是R的真子集？答：X不是候選碼，不能推出整個R（候選碼是可以通過依賴推導出整個R的），故XA一定不是整個R，或者說XA是R的真子集。    注意：這裏的計算R1和R2的最小函數依賴集，其實跟正常的關於最

>>阅读原文<<