





Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
The importance of identifying and eliminating redundancy in relational databases through the use of functional dependencies and normal forms. The authors explain how to check for redundancy, the consequences of redundancy, and how to decompose schemas to eliminate it. They also cover the concepts of functional dependencies, candidate keys, and the closure of a set of functional dependencies.
Typology: Slides
1 / 9
This page cannot be seen from the preview
Don't miss anything!






Database Management Systems, 3ed, R. Ramakrishnan and J. Gehrke 1
Chapter 19
Database Management Systems, 3ed, R. Ramakrishnan and J. Gehrke 2
Redundancy is at the root of several problems associated with relational schemas: redundant storage, insert/delete/update anomalies
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?
A functional dependency X Y holds over relation R if, for every allowable instance r of R: t1 r, t2 r, ( t1 ) = ( t2 ) implies ( t1 ) = ( 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.)
An FD is a statement about all allowable relations. 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! K is a candidate key for R means that K R However, K R does not require K to be minimal!
Database Management Systems, 3ed, R. Ramakrishnan and J. Gehrke 4
Consider relation obtained from Hourly_Emps: Hourly_Emps ( ssn, name, lot, rating, hrly_wages , hrs_worked ) 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) Some FDs on Hourly_Emps: ssn is the key: S SNLRWH rating determines hrly_wages : R W
Database Management Systems, 3ed, R. Ramakrishnan and J. Gehrke 5
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 don’t 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!
S N L R W H 123-22-3666 Attishoo 48 8 10 40 231-31-5368 Smiley 22 8 10 30 131-24-3650 Smethurst 35 5 7 30 434-26-3751 Guldu 35 5 7 32 612-67-4134 Madayan 35 8 10 40
S N L R H 123-22-3666 Attishoo 48 8 40 231-31-5368 Smiley 22 8 30 131-24-3650 Smethurst 35 5 30 434-26-3751 Guldu 35 5 32 612-67-4134 Madayan 35 8 40
R W 8 10 Hourly_Emps2^5
Wages
Will 2 smaller tables be better?
Given some FDs, we can usually infer additional FDs: ssn did , did lot implies ssn lot An FD f is implied by a set of FDs F if f holds whenever all FDs in F hold. = closure of F is the set of all FDs that are implied by F. Armstrong’s Axioms (X, Y, Z are sets of attributes): Reflexivity : If X Y, then Y X Augmentation : If X Y, then XZ YZ for any Z Transitivity : If X Y and Y Z, then X Z These are sound and complete inference rules for FDs!
Database Management Systems, 3ed, R. Ramakrishnan and J. Gehrke 10
Reln R with FDs F is in BCNF if, for all X A in A X (called a trivial FD), or X contains a key for R.
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 the X value, we cannot infer the A value in one tuple from the A value in the other. If example relation is in BCNF, the 2 tuples must be identical (since X is a key).
x y1 a x y2?
Database Management Systems, 3ed, R. Ramakrishnan and J. Gehrke 11
Reln R with FDs F is in 3NF if, for all X A in 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). Lossless-join, dependency-preserving decomposition of R into a collection of 3NF relations always possible.
If 3NF violated by X A, one of the following holds: X is a subset of some key K
Database Management Systems, 3ed, R. Ramakrishnan and J. Gehrke 13
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.
Database Management Systems, 3ed, R. Ramakrishnan and J. Gehrke 14
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:
There are three potential problems to consider: Some queries become more expensive.
Database Management Systems, 3ed, R. Ramakrishnan and J. Gehrke 19
Decomposition of R into X and Y is dependency preserving if (FX union FY ) +^ = F + 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?)
Database Management Systems, 3ed, R. Ramakrishnan and J. Gehrke 20
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!
In general, there may not be a dependency preserving decomposition into BCNF. e.g., CSZ, CS Z, Z C Can’t decompose while preserving 1st FD; not in BCNF. 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.
Database Management Systems, 3ed, R. Ramakrishnan and J. Gehrke 22
Obviously, the algorithm for lossless join decomp into BCNF can be used to obtain a lossless join decomp into 3NF (typically, can stop earlier).
To ensure dependency preservation, one idea: If X Y is not preserved, add relation XY. 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.
Database Management Systems, 3ed, R. Ramakrishnan and J. Gehrke 23
Minimal cover G for a set of FDs F: 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)
1st diagram translated: Workers(S,N,L,D,S) Departments(D,M,B) Lots associated with workers. Suppose all workers in a dept are assigned the same lot: D L Redundancy; fixed by: Workers2(S,N,D,S) Dept_Lots(D,L) Can fine-tune this: Workers2(S,N,D,S) Departments(D,M,B,L)
lot
dname did budget
since name
Employees Works_In (^) Departments
ssn
lot
dname
budget
did
since name
Employees Works_In^ Departments
ssn
Before:
After: