DBMS lecture on Functional Dependency.pdf
- 1. Normalization 91.2914 1 Normalization We discuss four normal forms: first, second, third, and Boyce-Codd normal forms 1NF, 2NF, 3NF, and BCNF Normalization is a process that “improves” a database design by generating relations that are of higher normal forms. The objective of normalization: “to create relations where every dependency is on the key, the whole key, and nothing but the key”.
- 2. Normalization 91.2914 2 There is a sequence to normal forms: 1NF is considered the weakest, 2NF is stronger than 1NF, 3NF is stronger than 2NF, and BCNF is considered the strongest Also, any relation that is in BCNF, is in 3NF; any relation in 3NF is in 2NF; and any relation in 2NF is in 1NF.
- 3. Normalization 91.2914 3 BCNF 3NF 2NF 1NF a relation in BCNF, is also in 3NF a relation in 3NF is also in 2NF a relation in 2NF is also in 1NF
- 4. Normalization May 2005 91.2914 4 We consider a relation in BCNF to be fully normalized. The benefit of higher normal forms is that update semantics for the affected data are simplified. This means that applications required to maintain the database are simpler. A design that has a lower normal form than another design has more redundancy. Uncontrolled redundancy can lead to data integrity problems. First we introduce the concept of functional dependency
- 5. May 2012 91.2814 5 NORMALIZATION is a database design technique that organizes tables in a manner that reduces redundancy and dependency of data. Normalization divides larger tables into smaller tables and links them using relationships. The purpose of Normalization is to eliminate redundant (useless) data and ensure data is stored logically.
- 6. Functional Dependencies 91.2914 6 Functional Dependencies We say an attribute, B, has a functional dependency on another attribute, A, if for any two records, which have the same value for A, then the values for B in these two records must be the same. We illustrate this as: A B Example: Suppose we keep track of employee email addresses, and we only track one email address for each employee. Suppose each employee is identified by their unique employee number. We say there is a functional dependency of email address on employee number: employee number email address
- 7. Functional Dependencies 91.2914 7 EmpNum EmpEmail EmpFname EmpLname 123 jdoe@abc.com John Doe 456 psmith@abc.com Peter Smith 555 alee1@abc.com Alan Lee 633 pdoe@abc.com Peter Doe 787 alee2@abc.com Alan Lee If EmpNum is the PK then the FDs: EmpNum EmpEmail EmpNum EmpFname EmpNum EmpLname must exist.
- 8. Functional Dependencies 91.2914 8 EmpNum EmpEmail EmpNum EmpFname EmpNum EmpLname EmpNum EmpEmail EmpFname EmpLname EmpNum EmpEmail EmpFname EmpLname 3 different ways you might see FDs depicted
- 9. Determinant 91.2914 9 Functional Dependency EmpNum EmpEmail Attribute on the LHS is known as the determinant • EmpNum is a determinant of EmpEmail
- 10. Transitive dependency 91.2914 10 Transitive dependency Consider attributes A, B, and C, and where A B and B C. Functional dependencies are transitive, which means that we also have the functional dependency A C We say that C is transitively dependent on A through B.
- 11. Transitive dependency 91.2914 11 EmpNum EmpEmail DeptNum DeptNname EmpNum EmpEmail DeptNum DeptNname DeptName is transitively dependent on EmpNum via DeptNum EmpNum DeptName EmpNum DeptNum DeptNum DeptName
- 12. Partial dependency 91.2914 12 A partial dependency exists when an attribute B is functionally dependent on an attribute A, and A is a component of a multipart candidate key. InvNum LineNum Qty InvDate Candidate keys: {InvNum, LineNum} InvDate is partially dependent on {InvNum, LineNum} as InvNum is a determinant of InvDate and InvNum is part of a candidate key
- 13. First Normal Form 91.2914 13 First Normal Form We say a relation is in 1NF if all values stored in the relation are single-valued and atomic. 1NF places restrictions on the structure of relations. Values must be simple.
- 14. First Normal Form 91.2914 14 The following in not in 1NF EmpNum EmpPhone EmpDegrees 123 233-9876 333 233-1231 BA, BSc, PhD 679 233-1231 BSc, MSc EmpDegrees is a multi-valued field: employee 679 has two degrees: BSc and MSc employee 333 has three degrees: BA, BSc, PhD
- 15. First Normal Form 91.2914 15 To obtain 1NF relations we must, without loss of information, replace the above with two relations - see next slide EmpNum EmpPhone EmpDegrees 123 233-9876 333 233-1231 BA, BSc, PhD 679 233-1231 BSc, MSc
- 16. First Normal Form 91.2914 16 EmpNum EmpDegree 333 BA 333 BSc 333 PhD 679 BSc MSc 679 EmpNum EmpPhone 123 233-9876 333 233-1231 679 233-1231 An outer join between Employee and EmployeeDegree will produce the information we saw before Employee EmployeeDegree
- 17. Boyce-Codd Normal Form 91.2914 17 Boyce-Codd Normal Form BCNF is defined very simply: a relation is in BCNF if it is in 1NF and if every determinant is a candidate key. If our database will be used for OLTP (on line transaction processing), then BCNF is our target. Usually, we meet this objective. However, we might denormalize (3NF, 2NF, or 1NF) for performance reasons.
- 18. Second Normal Form 91.2914 18 Second Normal Form A relation is in 2NF if it is in 1NF, and every non-key attribute is fully dependent on each candidate key. (That is, we don’t have any partial functional dependency.) • 2NF (and 3NF) both involve the concepts of key and non-key attributes. • A key attribute is any attribute that is part of a key; any attribute that is not a key attribute, is a non-key attribute. • Relations that are not in BCNF have data redundancies • A relation in 2NF will not have any partial dependencies
- 19. Second Normal Form 91.2914 19 LineNum ProdNum Qty InvNum InvNum, LineNum ProdNum, Qty Since there is a determinant that is not a candidate key, InvLine is not BCNF InvLine is not 2NF since there is a partial dependency of InvDate on InvNum InvDate InvDate InvNum There are two candidate keys. Qty is the only non- key attribute, and it is dependent on InvNum InvLine is only in 1NF Consider this InvLine table (in 1NF):
- 20. Second Normal Form 91.2914 20 LineNum ProdNum Qty InvNum InvDate InvLine The above relation has redundancies: the invoice date is repeated on each invoice line. We can improve the database by decomposing the relation into two relations: LineNum ProdNum Qty InvNum InvDate InvNum Question: What is the highest normal form for these relations? 2NF? 3NF? BCNF?
- 21. 91.2914 21 Is the following relation in 2NF? inv_no line_no prod_no prod_desc qty
- 22. 91.2914 22 2NF, but not in 3NF, nor in BCNF: since dnumber is not a candidate key and we have: dnumber dname. EmployeeDept ename ssn bdate address dnumber dname
- 23. Third Normal Form 91.2914 23 Third Normal Form • A relation is in 3NF if the relation is in 1NF and all determinants of non-key attributes are candidate keys That is, for any functional dependency: X Y, where Y is a non-key attribute (or a set of non-key attributes), X is a candidate key. • This definition of 3NF differs from BCNF only in the specification of non-key attributes - 3NF is weaker than BCNF. (BCNF requires all determinants to be candidate keys.) • A relation in 3NF will not have any transitive dependencies of non-key attribute on a candidate key through another non-key attribute.
- 24. Third Normal Form 91.2914 24 EmpNum EmpName DeptNum DeptName EmpName, DeptNum, and DeptName are non-key attributes. DeptNum determines DeptName, a non-key attribute, and DeptNum is not a candidate key. Consider this Employee relation Is the relation in 3NF? … no Is the relation in 2NF? … yes Is the relation in BCNF? … no Candidate keys are? …
- 25. Third Normal Form 91.2914 25 EmpNum EmpName DeptNum DeptName We correct the situation by decomposing the original relation into two 3NF relations. Note the decomposition is lossless. EmpNum EmpName DeptNum DeptName DeptNum Verify these two relations are in 3NF.
- 26. 91.2914 26 student_no course_no instr_no Instructor teaches one course only. Student takes a course and has one instructor. In 3NF, but not in BCNF: {student_no, course_no} instr_no instr_no course_no since we have instr_no course-no, but instr_no is not a Candidate key.
- 27. 91.2914 27 course_no instr_no student_no instr_no student_no course_no instr_no {student_no, instr_no} student_no {student_no, instr_no} instr_no instr_no course_no