Inference Axioms for Inclusion Dependencies - Teradata Database

Axiom

Formal Expression

Reflexive rule

A →   A

Projection and Permutation rule

IF

AB →   CD

THEN

A →   C

AND

B →   D

Transitivity rule

IF

A →   B

AND

B →   C

THEN

A →   C