set of axioms used to infer all the functional dependencies on a relational database