Armstrong axioms#Composition