Normal Forms And Syntactic Completeness Proofs For Functional Independencies
Download Normal Forms And Syntactic Completeness Proofs For Functional Independencies full books in PDF, epub, and Kindle. Read online free Normal Forms And Syntactic Completeness Proofs For Functional Independencies ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Normal Forms and Syntactic Completeness Proofs for Functional Independencies
Author | : D. Wijesekera |
Publisher | : |
Total Pages | : 45 |
Release | : 1998 |
Genre | : |
ISBN | : |
Download Normal Forms and Syntactic Completeness Proofs for Functional Independencies Book in PDF, Epub and Kindle
We prove normal form theorems of a complete axiom system for the inference of functional dependencies and independencies in relational databases. We also show that all proofs in our system have a normal form where the application of independency rules is limited to three levels. Our normal form results in a faster proof search engine in deriving consequences of functional independencies. As a result, we get a new construction of an Armstrong relation for a given set of functional dependencies. It is also shown that an Armstrong relation for a set of functional dependencies and independencies do not exist in general, and this generalizes the same result valid under the closed world assumption.
Normal Forms and Syntactic Completeness Proofs for Functional Independencies Related Books
Pages: 45
Pages: 444
Pages: 860
Pages: 568
Pages: 717