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:
-
-
(Preview, Accepted manuscript, pdf, 408.6KB, Terms of use)
-
- Publisher copy:
- 10.1016/j.jcss.2017.09.005
Authors
- 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
- Copyright holder:
- Elsevier Inc
- Copyright date:
- 2017
- Notes:
- Copyright © 2017 Elsevier Inc. This is the accepted manuscript version of the article. The final version is available online from Elsevier at: https://doi.org/10.1016/j.jcss.2017.09.005
If you are the owner of this record, you can report an update to it here: Report update to this record