關於函數依賴的公理系統若干問題和批註

armstrong公理是做什麼的？
armstrong公理系統是函數依賴的推導規則，這個推導規則的目的爲了進行模式分解，也就是將低級範式轉化爲高級範式,有了數學作爲基礎，一切都有了邏輯性。
從理論層面詳細理解函數依賴集的等價和最小化
函數依賴集的等價：在關係R<U,F>上兩個函數依賴集F、G,如果他們的閉包相等，就說這兩個依賴集等價。
閉包、等價是爲了求最小函數依賴集做鋪墊
爲什麼求最小函數依賴集？
有了最小函數依賴集才能進行模式分解，因爲原來的函數依賴集有太多的冗餘，我們需要更清晰的函數依賴的脈絡。
如何理解“滿足最小函數依賴集的條件”
條件1、任何一個函數依賴右邊部分只有一個屬性。例如AB->C右側只有C,滿足，然而AB->CD就不滿足這個條件，但是可以通過分解規則把它分解成AB->C AB->D就可以了。
條件2、F中不存在這樣一個函數依賴X->A,使得F 與F-{X->A}等價。試想F中去除了{X->A}依然與原來的F等價，顯然X->A就是多餘的依賴
條件3、F中不存在這樣一個函數依賴X->A,X有真子集Z使得F-{X->A}U{Z->A}與F等價。例如BC作爲X
，將B或C單獨拿出作爲其真子集Z，倘若F去掉X->A Z->A兩個都可以與之前的F等價，顯然這兩個多餘。也就是說不管有沒有X或者其子集Z，我都能推導出A。