阿姆斯特朗公理（Armstrong axioms）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：阿姆斯特朗公理
- 外文名：Armstrong axioms
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
函式依賴推理的公理體系，包括自反律、增廣律和傳遞律。設 U為關係模式R的屬性集總體，F是U上的一組函式依賴。則對於關係模式R是否為F所蘊含，推理規則如下：①自反律。若Y⊆X⊆U，則X→Y為F所蘊含。②增廣律。若X→Y為F所蘊含，且Z⊆U，則XZ→YZ為F所蘊含。③傳遞律。若X→Y及Y→Z為F所蘊含，則X→Z為F 所蘊含。
出處
《計算機科學技術名詞 》第三版。
