Normal Forms and Syntactic Completeness Proofs for Functional Independencies
Author | : D. Wijesekera |
Publisher | : |
Total Pages | : 45 |
Release | : 1998 |
ISBN-10 | : OCLC:45256916 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Download or read book Normal Forms and Syntactic Completeness Proofs for Functional Independencies written by D. Wijesekera and published by . This book was released on 1998 with total page 45 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.