アームストロングの公理系とは？
アームストロングの公理系とは、関数従属から他の関数従属を導く推論規則の体系。基本は反射律・増加律（添加律）・推移律の3つで、これらから合併則・分解則・擬推移律が導かれる。
アームストロングのこうりけい
アームストロングの公理系の意味
関数従属から他の関数従属を導く推論規則の体系。基本は反射律・増加律（添加律）・推移律の3つで、これらから合併則・分解則・擬推移律が導かれる。
アームストロングの公理系の具体例
A→BC が成り立てば分解則により A→B と A→C が成り立つ。A→B と B→C から推移律により A→C が成り立つ。
アームストロングの公理系は試験でどう引っ掛けられる？
推移律で導けるのは左辺に決定項を含む従属だけ。B→C から C→B は導けないし、A→B から AC→B は増加律で導けても BC→A は導けない。
アームストロングの公理系と関連する用語
最終更新：2026-08-25／解説は資格暗記が独自に作成しています。 過去問の出典は各問題に記載のとおりです。