Embedded SQL:Return to normalization

Table of Contents

Embedded SQL:Return to normalization

SQL2 Embedded SQL

Shared Variables

Shared Variables (II)

Example

Example (II)

Cursors

Example

Example (II)

Oracle Vs. SQL2 Features

Oracle Vs. SQL2 Features (II)

Dynamic SQL

Dynamic SQL (II)

Example: Sqlplus Sketch

Example: Sqlplus Sketch (II)

Why Decomposition "Works"?

Projection and Join

Example

Example (II)

Example (III)

Example (IV)

Example (V)

Reconstruction of Original

Example

Theorem

Theorem (II)

Proof (if)

Proof (if) (II)

Proof (if) (III)

Proof (only-if)

Proof (only-if) (II)

Proof (only-if)(III)

(IV)

Application to BCNF Decomposition

Email: burt@umbc

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