History

for article: Armstrong's axioms