CHAPTER3-Design Theory for Relational Databases.ppt

Chapter 3: Design Theory for Relational Database 3.1 Functional Dependencies 3.2 Rules about Functional Dependencies 3.3 Design of Relational Database Schemas 3.4 Decomposition 3.5 Third Normal Form 3.6 Multivalued Dependencies 3.1 Functional Dependencies X -Y is an assertion about a relation R that whenever two tuples of R agree on all the attributes of X, then they must also agree on all attributes in set Y. Say “X -Y holds in R.” Convention: …, X, Y, Z represent sets of attributes; A, B, C,… represent single attributes. Convention: no set formers in sets of attributes, just ABC, rathe