attribute set closure axioms inference rules anomalies functions dependency canonical cover normal form normalisation dbms
See more