Inference Rule (IR):

• The Armstrong's axioms are the basic inference rule.
• Armstrong's axioms are used to conclude functional dependencies on a relational database.
• The inference rule is a type of assertion. It can apply to a set of FD(functional dependency) to derive other FD.
• Using the inference rule, we can derive additional functional dependency from the initial set.

The Functional dependency has 6 types of inference rule:

1. Reflexive Rule (IR₁)

In the reflexive rule, if Y is a subset of X, then X determines Y.

Example:

2. Augmentation Rule (IR₂)

The augmentation is also called as a partial dependency. In augmentation, if X determines Y, then XZ determines YZ for any Z.

Example:

3. Transitive Rule (IR₃)

In the transitive rule, if X determines Y and Y determine Z, then X must also determine Z.

4. Union Rule (IR₄)

Union rule says, if X determines Y and X determines Z, then X must also determine Y and Z.

Proof:

5. Decomposition Rule (IR₅)

Decomposition rule is also known as project rule. It is the reverse of union rule.

This Rule says, if X determines Y and Z, then X determines Y and X determines Z separately.

Proof:

6. Pseudo transitive Rule (IR₆)

In Pseudo transitive Rule, if X determines Y and YZ determines W, then XZ determines W.

Proof: