函數(shù)依賴?yán)碚?邏輯蘊(yùn)涵定義：存在如下條件關(guān)系模式：r(R)依賴集：F （由一個(gè)或多個(gè)依賴組成）依賴：f若r(R)滿足F ==> r(R)滿足f我們稱 F 邏輯蘊(yùn)涵 fps: ...