Superkey

Superkeys

A set of attributes that includes a key is called a superkey, short for "superset of a key". In this way, every key is a superkey. However, some superkeys are not (minimal) keys. Note

Decomposition into BCNF

By frequently selecting appropriate decompositions, we can break any relation schema into a collection of subsets of its attributes with the following important properties:

Recovering Information from a Decomposition

Let us now turn our attention to the question of why the decomposition algorithm of "Decomposition into BCNF" preserves the information that was included in the original relation. The idea is that if we follow this algorithm, then the projections of the original tuples can be "joined"

Fourth Normal Form

The redundancy that we found in "Multivalued Dependencies" to be caused by MVD's can be removed if we use these dependencies in a new decomposition algorithm for relations. In this section we shall introduce a new normal form, called "fourth normal form". In this normal form,

Decomposition into Fourth Normal Form

The 4NF decomposition algorithm is quite similar to the BCNF decomposition algorithm. We find a 4NF violation, say A1A2 . . . An → B1B2 . . . Bm , where {A1, A2, . . . , An} is not a superkey. Note this MVD could be a true MVD, or it could be derived from the equivalent FD A1A2 . . . An

Page 0 of 1 Previous 1 Next