研究所數學
離散數學 - 遞移關係的性質
發佈時間:20250619
遞移性關係是離散數學、邏輯學、集合論及計算機科學中的基本概念,其重要性貫穿多個學科領域。它是等價關係與偏序關係的基礎,也是資料庫設計與推論系統。
在關聯資料庫中遞移相依(transitive dependency)影響資料的正規化,不恰當的遞移依賴會導致資料冗餘與異常,以及第三正規形(3NF)就是為了解除遞移依賴。另外,邏輯推理系統中,若「A 導致 B」且「B 導致 C」,則可推得「A 導致 C」這也是遞移性的應用。
關鍵詞
遞移關係、遞移依賴