Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/26388

Title: Expressiveness and static analysis of extended conjunctive regular path queries
Authors: Freydenberger, Dominik D.
Schweikardt, Nicole
Issue Date: 2011
Publisher: CEUR-WS.org (© the authors)
Citation: FREYDENBERGER, D.D. and SCHWEIKARDT, N., 2011. Expressiveness and static analysis of extended conjunctive regular path queries. IN: Barceló, P. and Tannen, V. (eds). CEUR Workshop Proceedings: Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW2011), Santiago, Chile, May 9-12, 2011, vol. 749, paper 9
Series/Report no.: CEUR Workshop Proceedings;749
Abstract: We study the expressiveness and the complexity of static analysis of extended conjunctive regular path queries (ECRPQs), introduced by Barceló et al. (PODS '10). ECRPQs are an extension of con- junctive regular path queries (CRPQs), a well-studied language for querying graph structured databases. Our first main result shows that query containment and equivalence of a CRPQ in an ECRPQ is undecidable. This settles one of the main open problems posed by Barceló et al. As a second main result, we prove a non-recursive succinctness gap between CRPQs and the CRPQ-expressible fragment of ECRPQs. Apart from this, we develop a tool for proving inexpressibility results for CRPQs and ECRPQs. In particular, this enables us to show that there exist queries definable by regular expressions with backreferencing, but not expressible by ECRPQs.
Description: This conference paper was published by CEUR Workshop Proceedings and can be found at: http://ceur-ws.org/Vol-749/paper9.pdf. Copying of items, in particular papers, and proceedings volumes is permitted only for private and academic purposes. The permission for academic use implies an attribution obligation, i.e., you must properly cite the items that you use in your own published work. Modification of items is not permitted unless a suitable license is granted by its copyright owners. Copying or use for commercial purposes is forbidden unless an explicit permission is acquired from the copyright owners. Re-publication of a CEUR Workshop Proceedings volume or of an individual item inside a proceedings volume requires permission by the copyright owners, i.e. either the respective proceedings editors, or the authors of the respective item in that volume, or both.
Version: Published version
URI: https://dspace.lboro.ac.uk/2134/26388
Publisher Link: http://ceur-ws.org/Vol-749/paper9.pdf
ISSN: 1613-0073
Appears in Collections:Conference Papers and Presentations (Computer Science)

Files associated with this item:

File Description SizeFormat
paper9.pdfPublished version335.43 kBAdobe PDFView/Open

 

SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.