Show simple item record

dc.contributor.authorFerrarotti, Flavio
dc.contributor.authorHartmann, Sven
dc.contributor.authorLink, Sebastian
dc.contributor.authorMarin, Mauricio
dc.contributor.authorMuñoz, Emir
dc.date.accessioned2016-09-14T14:16:28Z
dc.date.available2016-09-14T14:16:28Z
dc.date.issued2013
dc.identifier.citationFerrarotti, Flavio, Hartmann, Sven, Link, Sebastian, Marin, Mauricio, & Muñoz, Emir. (2013). The Finite Implication Problem for Expressive XML Keys: Foundations, Applications, and Performance Evaluation. In A. Hameurlain, J. Küng, R. Wagner, S. W. Liddle, K.-D. Schewe & X. Zhou (Eds.), Transactions on Large-Scale Data- and Knowledge-Centered Systems X: Special Issue on Database- and Expert-Systems Applications (pp. 60-94). Berlin, Heidelberg: Springer Berlin Heidelberg.en_IE
dc.identifier.isbn978-3-642-41221-9
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/10379/6018
dc.description.abstractThe increasing popularity of XML for persistent data storage, processing and exchange has triggered the demand for efficient algorithms to manage XML data. Both industry and academia have long since recognized the importance of keys in XML data management. In this paper we make a theoretical as well as a practical contribution to this area. This endeavour is ambitious given the multitude of intractability results that have been established. Our theoretical contribution is based in the definition of a new fragment of XML keys that keeps the right balance between expressiveness and efficiency of maintenance. More precisely, we characterize the associated implication problem axiomatically and develop a low-degree polynomial time decision algorithm. In comparison to previous work, this new fragment of XML keys provides designers with an enhanced ability to capture properties of XML data that are significant for the application at hand. Our practical contribution includes an efficient implementation of this decision algorithm and a thorough evaluation of its performance, demonstrating that reasoning about expressive notions of XML keys can be done efficiently in practice, and scales well. Our results promote the use of XML keys on real-world XML practice, where a little more semantics makes applications a lot more effective. To exemplify this potential, we use the decision algorithm to calculate non-redundant covers for sets of XML keys. In turn, this allow us to reduce significantly the time required to validate large XML documents against keys from the proposed fragment.en_IE
dc.formatapplication/pdfen_IE
dc.language.isoenen_IE
dc.publisherSpringer
dc.relation.ispartofTrans. Large-Scale Data- and Knowledge-Centered Systemsen
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Ireland
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/3.0/ie/
dc.subjectXMLen_IE
dc.subjectPerformance evaluationen_IE
dc.subjectData analytics
dc.titleThe finite implication problem for expressive XML keys: Foundations, applications, and performance evaluationen_IE
dc.typeConference Paperen_IE
dc.date.updated2016-09-13T13:22:48Z
dc.identifier.doi10.1007/978-3-642-41221-9_3
dc.local.publishedsourcehttp://dx.doi.org/10.1007/978-3-642-41221-9_3en_IE
dc.description.peer-reviewedpeer-reviewed
dc.contributor.funder|~|
dc.internal.rssid11398931
dc.local.contactEmir Munoz, Deri, Ida Business Park, Lower Dangan, Nui Galway. - Email: e.munoz1@nuigalway.ie
dc.local.copyrightcheckedYes
dc.local.versionACCEPTED
nui.item.downloads580


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 Ireland
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 3.0 Ireland