Querying Regular Graph Patterns
Authors:
Open Access
- 1 January 2014
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 61 (1) , 1-54
Abstract
Graph data appears in a variety of application domains, and many uses of it, such as querying, matching, and transforming data, naturally result in incompletely specified graph data, that is, graph patterns. While queries need to be posed against such data, techniques for querying patterns are generally lacking, and properties of such queries are not well understood. Our goal is to study the basics of querying graph patterns. The key features of patterns we consider here are node and label variables and edges specified by regular expressions. We provide a classification of patterns, and study standard graph queries on graph patterns. We give precise characterizations of both data and combined complexity for each class of patterns. If complexity is high, we do further analysis of features that lead to intractability, as well as lower-complexity restrictions. Since our patterns are based on regular expressions, query answering for them can be captured by a new automata model. These automata have two modes of acceptance: one captures queries returning nodes, and the other queries returning paths. We study properties of such automata, and the key computational tasks associated with them. Finally, we provide additional restrictions for tractability, and show that some intractable cases can be naturally cast as instances of constraint satisfaction problems.Keywords
Funding Information
- Engineering and Physical Sciences Research Council (G049165)
- Seventh Framework Programme (233599)
- Fondo Nacional de Desarrollo Científico y Tecnológico (1110171)
This publication has 42 references indexed in Scilit:
- Parameterized regular expressions and their languagesTheoretical Computer Science, 2013
- XML with incomplete informationJournal of the ACM, 2010
- Conjunctive queries over treesJournal of the ACM, 2006
- Data exchange: semantics and query answeringTheoretical Computer Science, 2005
- Network Motifs: Simple Building Blocks of Complex NetworksScience, 2002
- Rewriting of Regular Expressions and Regular Path QueriesJournal of Computer and System Sciences, 2002
- Querying Incomplete Information in Semistructured DataJournal of Computer and System Sciences, 2002
- A query language and optimization techniques for unstructured dataACM SIGMOD Record, 1996
- A graphical query language supporting recursionACM SIGMOD Record, 1987
- Testing containment of conjunctive queries under functional and inclusion dependenciesJournal of Computer and System Sciences, 1984