Journal article icon

Journal article

Containment of queries for graphs with data

Abstract:
We consider the containment problem for regular queries with memory and regular queries with data tests: two recently proposed query languages for graph databases that, in addition to allowing the user to ask topological queries, also track how the data changes along paths connecting various points in the database. Our results show that the problem is undecidable in general. However, by allowing only positive data comparisons we find natural fragments with better static analysis properties: the containment problem is PSpace -complete in the case of regular queries with data tests and ExpSpace -complete in the case of regular queries with memory.
Publication status:
Published
Peer review status:
Peer reviewed

Actions

Access Document

Files:
Publisher copy:
10.1016/j.jcss.2017.09.005

Authors

More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author


Publisher:
Elsevier
Journal:
Journal of Computer and System Sciences More from this journal
Volume:
92
Pages:
65-91
Publication date:
2017-09-29
Acceptance date:
2017-09-15
DOI:
ISSN:
0022-0000


Keywords:
Pubs id:
pubs:735076
UUID:
uuid:17813933-c00c-4c78-ba4d-7e6f70394a0e
Local pid:
pubs:735076
Source identifiers:
735076
Deposit date:
2017-10-11
ARK identifier:

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP