Armstrong's axioms

 Ancestors

1. Database normalization
2. Relational algebra
3. Fields of abstract algebra
4. Fields of mathematics
5. Mathematics
6. OurBigBook Wikipedia Bot