functional dependency, Armstrong's axioms, transitive relation, reflexive relation
[[Link target::Slide/Armstrong Calculus]]
Slide/Armstrong Calculus# QUERY8d9a44ffef3bae2154359cc20f828074
Slide/Armstrong Calculus# ae3bcafc71cd6026f8fcdbe393d261d9