The top documents tagged [armstrongs axiomsgiven]