Professional Documents
Culture Documents
Functional Dependencies
Functional Dependencies
Chapter 19
Integrity constraints, in particular functional dependencies, can be used to identify schemas with such problems and to suggest refinements. Main refinement technique: decomposition (replacing ABCD with, say, AB and BCD, or ACD and ABD). Decomposition should be used judiciously:
Is there reason to decompose a relation? What problems (if any) does the decomposition cause?
2
A functional dependency X Y holds over relation R if, for every allowable instance r of R:
t1 r, t2 r, X (t1) = X (t2) implies Y (t1) = Y (t2) i.e., given two tuples in r, if the X values agree, then the Y values must also agree. (X and Y are sets of attributes.) Must be identified based on semantics of application. Given some allowable instance r1 of R, we can check if it violates some FD f, but we cannot tell if f holds over R! However, K R does not require K to be minimal!
Notation: We will denote this relation schema by listing the attributes: SNLRWH
This is really the set of attributes {S,N,L,R,W,H}. Sometimes, we will refer to all attributes of a relation by using the relation name. (e.g., Hourly_Emps for SNLRWH) ssn is the key: S SNLRWH rating determines hrly_wages: R W
4
Example (Contd.)
Wages R W Hourly_Emps2
S
5 7
8 10
Problems due to R W: Update anomaly: Can we change W in just the 1st tuple of SNLRWH? Insertion anomaly: What if we want to insert an employee and dont know the hourly wage for his rating? Deletion anomaly: If we delete all employees with rating 5, we lose the information about the wage for rating 5!
R H
123-22-3666 Attishoo 231-31-5368 Smiley 434-26-3751 Guldu 612-67-4134 Madayan S N L 123-22-3666 Attishoo 231-31-5368 Smiley 434-26-3751 Guldu
48 8 40 22 8 30 35 5 32 35 8 40 R W H 10 40 10 30 7 7 30 32
5
131-24-3650 Smethurst 35 5 30
48 8 22 8 35 5 35 8
131-24-3650 Smethurst 35 5
10 40
implies
ssn lot
Example:
JP C, C CSJDPQV imply JP CSJDPQV SD P implies SDJ JP SDJ JP, JP CSJDPQV imply SDJ CSJDPQV
C is the key: C CSJDPQV Project purchases each part using single contract: JP C Dept purchases at most one part from a supplier: SD P
Contracts(cid,sid,jid,did,pid,qty,value), and:
Compute attribute closure of X (denoted X + ) wrt F: + Set of all attributes A such that X A is in F There is a linear time algorithm to compute this. Check if Y is in X +
Normal Forms
Returning to the issue of schema refinement, the first question to ask is whether any refinement is needed! If a relation is in a certain normal form (BCNF, 3NF etc.), it is known that certain kinds of problems are avoided/minimized. This can be used to help us decide whether decomposing the relation will help. Role of FDs in detecting redundancy:
Consider a relation R with 3 attributes, ABC. No FDs hold: There is no redundancy here. Given A B: Several tuples could have the same A value, and if so, theyll all have the same B value!
9
In other words, R is in BCNF if the only non-trivial FDs that hold over R are key constraints.
No dependency in R that can be predicted using FDs alone. If we are shown two tuples that agree upon X Y A the X value, we cannot infer the A value in one tuple from the A value in the other. x y1 a If example relation is in BCNF, the 2 tuples x y2 ? must be identical (since X is a key).
10
A X (called a trivial FD), or X contains a key for R, or A is part of some key for R.
Minimality of a key is crucial in third condition above! If R is in BCNF, obviously in 3NF. If R is in 3NF, some redundancy is possible. It is a compromise, used when BCNF not achievable (e.g., no ``good decomp, or performance considerations).
11
X is a subset of some key K We store (X, A) pairs redundantly. X is not a proper subset of any key. There is a chain of FDs K X A, which means that we cannot associate an X value with a K value unless we also associate an A value with an X value.
But: even if reln is in 3NF, these problems could arise. e.g., Reserves SBDC, S C, C S is in 3NF, but for
each reservation of sailor S, same (S, C) pair is stored.
Suppose that relation R contains attributes A1 ... An. A decomposition of R consists of replacing R by two or more relations such that:
Each new relation scheme contains a subset of the attributes of R (and no attributes that do not appear in R), and Every attribute of R appears as an attribute of one of the new relations.
Intuitively, decomposing R means we will store instances of the relation schemes produced by the decomposition, instead of instances of R. E.g., Can decompose SNLRWH into SNLRH and RW.
Example Decomposition
Decompositions should be used only when needed. SNLRWH has FDs S SNLRWH and R W
Second FD causes violation of 3NF; W values repeatedly associated with R values. Easiest way to fix this is to create a relation RW to store these associations, and to remove W from the main schema: i.e., we decompose SNLRWH into SNLRH and RW
The information to be stored consists of SNLRWH tuples. If we just store the projections of these tuples onto SNLRH and RW, are there any potential problems that we should be aware of?
14
In general, the other direction does not hold! If it does, the decomposition is lossless-join.
Definition extended to decomposition into 3 or more relations in a straightforward way. It is essential that all decompositions used to deal with redundancy be lossless! (Avoids Problem (2).)
A 1 4 7
B 2 5 2
B 2 5 2
C 3 6 8
17
BCNF decomposition: CSJDQV and SDP Problem: Checking JP C requires a join! If R is decomposed into X, Y and Z, and we enforce the FDs that hold on X, on Y and on Z, then all FDs that were given to hold on R must also hold. (Avoids Problem (3).)
Projection of set of FDs F: If R is decomposed into X, ... projection of F onto X (denoted FX ) is the set of FDs U V in F+ (closure of F ) such that U, V are in X.
18
i.e., if we consider only dependencies in the closure F + that can be checked in X without considering Y, and in Y without considering X, these imply all dependencies in F +.
Important to consider F +, not F, in this definition: ABC, A B, B C, C A, decomposed into AB and BC. Is this dependency preserving? Is C A preserved????? Dependency preserving does not imply lossless join: ABC, A B, decomposed into AB and BC. And vice-versa! (Example?)
Consider relation R with FDs F. If X Y violates BCNF, decompose R into R - Y and XY.
Repeated application of this idea will give us a collection of relations that are in BCNF; lossless join decomposition, and guaranteed to terminate. e.g., CSJDPQV, key C, JP C, SD P, J S To deal with SD P, decompose into SDP, CSJDQV. To deal with J S, decompose CSJDQV into JS and CJDQV
In general, several dependencies may cause violation of BCNF. The order in which we ``deal with them could lead to very different sets of relations!
20
In general, there may not be a dependency preserving decomposition into BCNF. e.g., CSZ, CS Z, Z C
Similarly, decomposition of CSJDQV into SDP, JS and CJDQV is not dependency preserving (w.r.t. the FDs JP C, SD P and J S).
However, it is a lossless join decomposition. In this case, adding JPC to the collection of relations gives us a dependency preserving decomposition. JPC tuples stored only for checking FD! (Redundancy!)
21
Problem is that XY may violate 3NF! e.g., consider the addition of CJP to `preserve JP C. What if we also have J C ?
Refinement: Instead of the given set of FDs F, use a minimal cover for F.
22
Closure of F = closure of G. Right hand side of each FD in G is a single attribute. If we modify G by deleting an FD or by deleting attributes from an FD in G, the closure changes.
Intuitively, every FD in G is needed, and ``as small as possible in order to get the same closure as F. e.g., A B, ABCD E, EF GH, ACDF EG has the following minimal cover: A B, ACD E, EF G and EF H M.C. Lossless-Join, Dep. Pres. Decomp!!! (in book)
23
Refining an ER Diagram
Before:
name ssn lot Works_In since did dname budget Departments
Employees Suppose all workers in a dept are assigned the same lot: D L After: Redundancy; fixed by: Workers2(S,N,D,S) name Dept_Lots(D,L) ssn Can fine-tune this: Employees Workers2(S,N,D,S) Departments(D,M,B,L)
Must consider whether all FDs are preserved. If a losslessjoin, dependency preserving decomposition into BCNF is not possible (or unsuitable, given typical queries), should consider decomposition into 3NF. Decompositions should be carried out and/or re-examined while keeping performance requirements in mind.
25