dc.contributor.author |
Ferrarotti, F. |
en |
dc.contributor.author |
Hartmann, S. |
en |
dc.contributor.author |
Link, S. |
en |
dc.date.accessioned |
2013-01-06T23:09:23Z |
en |
dc.date.available |
2013-01-06T23:09:23Z |
en |
dc.date.issued |
2012 |
en |
dc.identifier.citation |
CDMTCS Research Reports CDMTCS-427 (2012) |
en |
dc.identifier.issn |
1178-3540 |
en |
dc.identifier.uri |
http://hdl.handle.net/2292/19816 |
en |
dc.description.abstract |
XML has gained widespread acceptance as a premier format for publishing,
sharing and manipulating data through the web. While the semi-structured nature of XML provides a high degree of syntactic flexibility there are significant
shortcomings when it comes to specifying the semantics of XML data. For the
advancement of XML applications it is therefore a major challenge to discover natural classes of constraints that can be utilized effectively by XML data engineers.
This endeavor is ambitious given the multitude of intractability results that have
been established. We investigate a class of XML cardinality constraints that is
precious in the sense that it keeps the right balance between expressiveness and
efficiency of maintenance. In particular, we characterize the associated implication problem axiomatically and develop a low-degree polynomial time algorithm
that can be readily applied for deciding implication. Our class of constraints is
chosen near-optimal as already minor extensions of its expressiveness cause potential intractability. Finally, we transfer our findings to establish a precious class of soft cardinality constraints on XML data. Soft cardinality constraints need to
be satisfied on average only, and thus permit violations in a controlled manner.
Soft constraints are therefore able to tolerate exceptions that frequently occur in
practice, yet can be reasoned about efficiently. |
en |
dc.publisher |
Department of Computer Science, The University of Auckland, New Zealand |
en |
dc.relation.ispartofseries |
CDMTCS Research Report Series |
en |
dc.rights.uri |
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm |
en |
dc.source.uri |
http://www.cs.auckland.ac.nz/staff-cgi-bin/mjd/secondcgi.pl?serial |
en |
dc.title |
Efficiency Frontiers of XML Cardinality Constraints |
en |
dc.type |
Technical Report |
en |
dc.subject.marsden |
Fields of Research::280000 Information, Computing and Communication Sciences |
en |
dc.rights.holder |
The author(s) |
en |
dc.rights.accessrights |
http://purl.org/eprint/accessRights/OpenAccess |
en |