8 terms

ArmStrong's Axioms

STUDY
PLAY
Reflexivity
If B is in A then A-> B
Augmentation
if C -> D then
(a) C->CD
(b) CE -> D
(c) CE -> DE
Transitivity
If F-> G and G->H, then F->H
Self-Determination:
I -> I
Union
If J -> K and J -> L, then J-> KL
Composition
If P-> Q and R-> S, then PR -> QS
Decomposition
If M -NO, then M-> N and M-> O
Pseudotransitivity
If T->U and VU-> W, then VT -> W
YOU MIGHT ALSO LIKE...