2 Database Design

Functional Dependencies

definition

Let and be attributes of a relation .

B is functionally dependent on if and only if whenever two tuples t and u agree on , they must also agree on B.

Any attribute in R is functionally dependent on its superkey.

For example, in relation Course(DeptCode, CourseNumber, Title, Description):

Both Title and Description is functionally dependent on {DeptCode, CourseNumber}.

properties

  • Reflexivity. An attribute is always functionally dependent on itself.
  • Augmentation. That is, if B is functionally dependent on A, B is functionally dependent on any superset of A.
  • Transitivity. If B is functionally dependent on A and C is functionally dependent on B, then C is functionally dependent on A.
  • Splitting rule. If a set of attributes A is functionally dependent on another set of attributes B. Then every element in A is functionally dependent on B.
  • Combining rule. The opposite of Splitting rule.

closure

Suppose is aset of attributes in a relation.

S is a set of functional dependencies.

The closure of A, A+ or as the smallest superset of A, which includes all attributes which are functionally determined by the ones in A.

Normalization

Functional dependencies in a relation are removed by decomposing it into several smaller relations.

why we need normalization

relation anomalies because of different forms of redundancy in relations

redundancy, update anomaly, deletion anomaly

first normal form (1NF)

1NF has no multivalued attributes, that is, it is a flat file.

All relations as we have defined them are in 1NF.

second normal form (2NF)

2NF possesses key completeness, that is, every non-prime attribute(an attribute which is not part of a candidate key) depends on the entire primary key(not on a proper subset of it).

third normal form (3NF)

For each nontrivial(Y is not a subset of X) functional dependency , either X is a superkey or Y contains no non-prime attributes.

Boyce Codd normal form (BCNF)

For each nontrivial functional dependency , X is a superkey.

Every BCNF is also 2NF and 3NF.

normalization procedure

  1. let R(A) be a relation and A be its set of attributes
  2. Suppose R has a functional dependency , where X is not super key.
  3. Decompose R into two relationships: and .
  4. Then apply this recursively to both and .

chase test

(example in lecture 11)

general procedure for determining whether or not a given decomposition is lossless

If we can reduce a row in the tableau to the original tuple, then the join is lossless.

forth normal form (4NF)

multivalued dependency: occurs when a relation has more than one independent, multivalued attribute (A determines B and C, but B and C are independent)

A 4NF relation means it is in BCNF and no multivalued dependencies.

You could normalize a BCNF form R(A) with a multivalued dependency by decomposing R into and .

E-R Diagram to functional dependencies

relationships

binary(many to many, one to many, one to one) or n-ary

many-to-many

attributes of the relationship and primary keys of the two related entity sets,with primary key combines the primary keys of the related entity sets

for a recursive many-to-many relationships: rename the primary keys borrowed from the related entity sets, e.x. prereqDept, prereqNumber, seqDept, seqDept for the prerequisite relation.

one-to-many

combine two primary keys, or add the primary key to another entity set

one-to-one

when the two entity are mismatched and cannot join together, add primary key to the other entity

or merge two into one relationship

n-ary

create a new relation: include primary key of each participating entity set, and attributes of the relationship become attributes of the relation

multivalued attributes

multiple tuples of primary key and owning entity

or you could also create a new relationship

weak entity sets

copy all the needed key attributes from related entities (not only the entities within this relationship)

subclasses

method 1

  • use one relation for superclass, one for subclasses
  • superclass has usual key and attributes
  • subclass has own non-inherited attributes and the key of superclass
  • problem: you have to search both tables to get full information