information about Armstrong's axioms field