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.

    If X ⊇ Y then X  →    Y

Example:

X = {a, b, c, d, e}
Y = {a, b, c}

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.

If X    →  Y then XZ   →   YZ 

Example:

For R(ABCD),  if A   →   B then AC  →   BC

3. Transitive Rule (IR₃)

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

If X   →   Y and Y  →  Z then X  →   Z  

4. Union Rule (IR₄)

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

If X    →  Y and X   →  Z then X  →    YZ   

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.

If X   →   YZ then X   →   Y and X  →    Z 

Proof:

6. Pseudo transitive Rule (IR₆)

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

If X   →   Y and YZ   →   W then XZ   →   W 

Proof: