Inference Rules

Rules of Inference for functional dependencies, called inference axioms or Armstrong axioms, after their developer, can be used to find all the FDs logically implied by a set of FDs. These rules are sound , meaning
that they are an immediate consequence of the definition of functional dependency and that any FD that can be derived from a given set of FDs using them is true.

Leave a Reply

Your email address will not be published. Required fields are marked *