15.00 - Inference Axioms for Inclusion Dependencies - Teradata Database

Teradata Database Design

prodname
Teradata Database
vrm_release
15.00
category
User Guide
featnum
B035-1094-015K

Inference Axioms for Inclusion Dependencies

Casanova, Fagin, and Papadimitriou (1984) produced a complete set of inference axioms for inclusion dependencies. Their axioms are described in the following table:

 

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