Normalization

Table of Contents

Normalization

Finding All Implied FD's

Algorithm

Algorithm (II)

Example

Example (II)

Normalization

Why?

Example of Problems

Example of Problems (II)

Example of Problems (III)

BCNF violations

Another Example

Decomposition to Reach BCNF

Decomposition to Reach BCNF (II)

Decomposition to Reach BCNF (III)

Decomposition to Reach BCNF (IV)

Example

Example (II)

Example (III)

Decompose Drinkers2

Why Decomposition “Works”?

Projection and Join

Example

Example (II)

Example (III)

Example (IV)

Reconstruction of Original

Example

Theorem

Proof (if )

Proof (if ) (1)

Proof (if ) (2)

Proof (if) (II)

Proof (only-if)

Proof (only-if) (II)

Proof (only-if) (III)

Email: burt@umbc

Home Page: www.cs.umbc.edu/~burt