dc.contributor.author |
Hannula, M |
en |
dc.contributor.author |
Kontinen, J |
en |
dc.contributor.author |
Link, S |
en |
dc.date.accessioned |
2015-01-05T00:14:04Z |
en |
dc.date.available |
2015-01-05T00:14:04Z |
en |
dc.date.issued |
2014 |
en |
dc.identifier.citation |
CDMTCS Research Reports CDMTCS-460 (2014) |
en |
dc.identifier.issn |
1178-3540 |
en |
dc.identifier.uri |
http://hdl.handle.net/2292/23893 |
en |
dc.description.abstract |
Uniqueness and independence are two fundamental properties of data. Their enforcement
in database systems can lead to higher quality data, faster data service response time,
better data-driven decision making and knowledge discovery from data. The applications
can be effectively unlocked by providing efficient solutions to the underlying implication
problems of keys and independence atoms. Indeed, for the sole class of keys and the
sole class of independence atoms the associated finite and general implication problems
coincide and enjoy simple axiomatizations. However, the situation changes drastically
when keys and independence atoms are combined. We show that the finite and the general
implication problems are already different for keys and unary independence atoms.
Furthermore, we establish a finite axiomatization for the general implication problem, and
show that the finite implication problem does not enjoy a k-ary axiomatization for any k. |
en |
dc.publisher |
Department of Computer Science, The University of Auckland, New Zealand |
en |
dc.relation.ispartofseries |
CDMTCS Research Report Series |
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. |
en |
dc.rights.uri |
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm |
en |
dc.source.uri |
https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php |
en |
dc.title |
On Independence Atoms and Keys |
en |
dc.type |
Technical Report |
en |
dc.subject.marsden |
Fields of Research |
en |
dc.rights.holder |
The author(s) |
en |
dc.rights.accessrights |
http://purl.org/eprint/accessRights/OpenAccess |
en |
dc.relation.isnodouble |
33448 |
* |