dc.contributor.author |
Koehler, H |
en |
dc.contributor.author |
Link, Sebastian |
en |
dc.date.accessioned |
2017-04-30T21:53:25Z |
en |
dc.date.issued |
2017-05 |
en |
dc.identifier.citation |
Journal of Computer and System Sciences 85:104-131 May 2017 |
en |
dc.identifier.issn |
0022-0000 |
en |
dc.identifier.uri |
http://hdl.handle.net/2292/32707 |
en |
dc.description.abstract |
Driven by the SQL standard, we investigate simple and partial inclusion dependencies (INDs) with not null constraints. Implication of simple INDs and not null constraints is not finitely axiomatizable. We propose not null inclusion dependencies (NNINDs) that subsume simple and partial INDs, are finitely axiomatizable and PSPACE-complete to decide. NNINDs are fixed parameter-tractable in their arity, typed acyclic NNINDs are NP-hard, and tree-like NNINDs are decidable in linear time. We use a chase to decide implication for functional dependencies and acyclic NNINDs in exponential time, and identify a liberal condition that guarantees no interaction between functional dependencies and acyclic (NN)INDs. |
en |
dc.publisher |
Academic Press |
en |
dc.relation.ispartofseries |
Journal of Computer and System Sciences |
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/0022-0000/ |
en |
dc.rights.uri |
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm |
en |
dc.rights.uri |
http://creativecommons.org/licenses/by-nc-nd/4.0/ |
en |
dc.title |
Inclusion dependencies and their interaction with functional dependencies in SQL |
en |
dc.type |
Journal Article |
en |
dc.identifier.doi |
10.1016/j.jcss.2016.11.004 |
en |
pubs.begin-page |
104 |
en |
pubs.volume |
85 |
en |
dc.description.version |
AM - Accepted Manuscript |
en |
dc.rights.holder |
Copyright: Elsevier |
en |
pubs.end-page |
131 |
en |
pubs.publication-status |
Accepted |
en |
dc.rights.accessrights |
http://purl.org/eprint/accessRights/OpenAccess |
en |
pubs.subtype |
Article |
en |
pubs.elements-id |
605356 |
en |
pubs.org-id |
Science |
en |
pubs.org-id |
School of Computer Science |
en |
pubs.record-created-at-source-date |
2017-05-01 |
en |