dc.contributor.author |
Hartmann, S |
en |
dc.contributor.author |
Link, Sebastian |
en |
dc.date.accessioned |
2012-12-04T03:27:29Z |
en |
dc.date.issued |
2004-02 |
en |
dc.identifier.citation |
Electronic Notes in Theoretical Computer Science 91:171-194 Feb 2004 |
en |
dc.identifier.issn |
1571-0661 |
en |
dc.identifier.uri |
http://hdl.handle.net/2292/19707 |
en |
dc.description.abstract |
Nested lists are used as a data structure whenever order matters. List types are therefore supported by many advanced data models such as genomic sequence, deductive and object-oriented data models including XML. What impact does the finite list type have on the two most important classes of relational dependencies? The membership problem of functional and multi-valued dependencies in databases supporting base, record and list types is investigated. The problem is to decide whether a functional or multi-valued dependency follows from a given set of functional and multi-valued dependencies. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes and subtyping is taken. This algebraic framework allows to generalise Beeri's well-known membership algorithm in [Transactions on Database Systems 5 (3) (1980) 241] from the relational data model. It is argued that the algorithm presented works correctly and in polynomial time. |
en |
dc.publisher |
Elsevier |
en |
dc.relation.ispartofseries |
Electronic Notes in Theoretical Computer Science |
en |
dc.rights |
Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. Details obtained from http://www.sherpa.ac.uk/romeo/issn/1571-0661/ |
en |
dc.rights.uri |
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm |
en |
dc.subject |
Nested data model |
en |
dc.subject |
Functional dependency |
en |
dc.subject |
Multivalued dependency |
en |
dc.subject |
Complexity |
en |
dc.subject |
Implication Problem |
en |
dc.subject |
Algorithm |
en |
dc.title |
A Membership Algorithm for Functional and Multi-valued Dependencies in the Presence of Lists |
en |
dc.type |
Journal Article |
en |
dc.identifier.doi |
10.1016/j.entcs.2003.12.012 |
en |
pubs.begin-page |
171 |
en |
pubs.volume |
91 |
en |
dc.rights.holder |
Copyright: Elsevier B.V |
en |
pubs.end-page |
194 |
en |
dc.rights.accessrights |
http://purl.org/eprint/accessRights/RestrictedAccess |
en |
pubs.subtype |
Article |
en |
pubs.elements-id |
365853 |
en |
pubs.org-id |
Science |
en |
pubs.org-id |
School of Computer Science |
en |
pubs.record-created-at-source-date |
2012-11-30 |
en |