Sciweavers

Share
APAL
2008

Characterising nested database dependencies by fragments of propositional logic

9 years 2 days ago
Characterising nested database dependencies by fragments of propositional logic
We extend the earlier results on the equivalence between the Boolean and the multivalued dependencies in relational databases and fragments of the Boolean propositional logic. It is shown that these equivalences are still valid for the databases that store complex data elements obtained from the recursive nesting of record, list, set and multiset constructors. The major proof argument utilises properties of Brouwerian algebras. The equivalences have several consequences. Firstly, they provide new insights into databases that are not in first normal form. Secondly, they characterise the implication of data dependencies in nested databases in purely logical terms. The database designer can take advantage of these equivalences to reduce database design problems to well-studied problems in Boolean propositional logic. Furthermore, relational database design solutions can be reused to solve problems for nested databases. c 2007 Elsevier B.V. All rights reserved. MSC: 68P15
Sven Hartmann, Sebastian Link
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2008
Where APAL
Authors Sven Hartmann, Sebastian Link
Comments (0)
books