Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Standard view
Full view
of .
Look up keyword or section
Like this

Table Of Contents

Normal Forms
Functional Dependencies
Functional Dependencies –Examples
Trivial / Non-Trivial FDs
Deriving new FDs
Entailment relation
Armstrong’s Inference Rules (1/2)
Armstrong's Inference Rules (2/2)
Sound and Complete Inference Rules
Proving Soundness
Proving Completeness of Armstrong’s Axioms (1/4)
Completeness of Armstrong’s Axioms (2/4)
Completeness Proof (3/4)
Completeness Proof (4/4)
Consequence of Completeness of AA
Computing closures
Computing X+
Normal Forms –2NF
Transitive Dependencies
Normal Forms –3NF
Another definition of 3NF
Motivating example for BCNF
Boyce -CoddNormal Form (BCNF)
Decomposition of a relation schema
Desirable Properties of Decompositions
Lossless join property
Dependency Preserving Decompositions
An example
Testing for lossless decomposition property(1/6)
Testing for lossless decomposition property(2/6)
Testing for lossless decomposition property(3/6)
Testing for lossless decomposition property(4/6)
Testing for lossless decomposition property(5/6)
Testing for lossless decomposition property(6/6)
A property of lossless joins
Algorithm for BCNF decomposition
Dependencies may not be preserved (1/2)
Dependencies may not be preserved (2/2)
Equivalent Dependency Sets
Canonical covers or Minimal covers
Algorithm for computing a minimal cover
Multi-valued Dependencies (MVDs)
Alternative definition of MVDs
MVDsand 4NF
0 of .
Results for:
No results containing your search query
P. 1
6 Relational Schema Design

6 Relational Schema Design

Ratings: (0)|Views: 12|Likes:
Published by 9794671715

More info:

Published by: 9794671715 on Sep 15, 2010
Copyright:Attribution Non-commercial


Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less





You're Reading a Free Preview
Pages 6 to 52 are not shown in this preview.

You're Reading a Free Preview

/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->