A graphical query language supporting recursion
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A very hard log-space counting class
Theoretical Computer Science - Special issue on structure in complexity theory
Finding Regular Simple Paths in Graph Databases
SIAM Journal on Computing
A query language and optimization techniques for unstructured data
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Query containment for conjunctive queries with regular expressions
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Graph-theoretic methods in database theory
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
GraphLog: a visual formalism for real life recursion
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Counting and random generation of strings in regular languages
Proceedings of the sixth annual ACM-SIAM symposium on Discrete algorithms
Regular path queries with constraints
Journal of Computer and System Sciences
View-based query processing for regular path queries with inverse
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Optimization Properties for Classes of Conjunctive Regular Path Queries
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Declarative specification of Web sites with S
The VLDB Journal — The International Journal on Very Large Data Bases
Graphs and Hypergraphs
One-unambiguity of regular expressions with numeric occurrence indicators
Information and Computation
Ambiguity in Graphs and Expressions
IEEE Transactions on Computers
Efficient asymmetric inclusion between regular expression types
Proceedings of the 12th International Conference on Database Theory
Extending SPARQL with regular expression patterns (for querying RDF)
Web Semantics: Science, Services and Agents on the World Wide Web
Semantics and complexity of SPARQL
ACM Transactions on Database Systems (TODS)
Efficient inclusion for a class of XML types with interleaving and counting
Information Systems
Optimizing Schema Languages for XML: Numerical Constraints and Interleaving
SIAM Journal on Computing
Inference of concise regular expressions and DTDs
ACM Transactions on Database Systems (TODS)
Foundations of SPARQL query optimization
Proceedings of the 13th International Conference on Database Theory
nSPARQL: A navigational language for RDF
Web Semantics: Science, Services and Agents on the World Wide Web
Complexity of Decision Problems for XML Schemas and Chain Regular Expressions
SIAM Journal on Computing
Querying semantic web data with SPARQL
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Counting beyond a Yottabyte, or how SPARQL 1.1 property paths will prevent adoption of the standard
Proceedings of the 21st international conference on World Wide Web
Regular path queries on graphs with data
Proceedings of the 15th International Conference on Database Theory
Regular Expressions with Counting: Weak versus Strong Determinism
SIAM Journal on Computing
Foundations of regular expressions in XML schema languages and SPARQL
PhD '12 Proceedings of the on SIGMOD/PODS 2012 PhD Symposium
How (well) do datalog, SPARQL and RIF interplay?
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Querying Semantic Data on the Web?
ACM SIGMOD Record
Walk logic as a framework for path query languages on graph databases
Proceedings of the 16th International Conference on Database Theory
Querying graph databases with XPath
Proceedings of the 16th International Conference on Database Theory
Definability problems for graph query languages
Proceedings of the 16th International Conference on Database Theory
Proceedings of the 32nd symposium on Principles of database systems
Trial for RDF: adapting graph query languages for RDF data
Proceedings of the 32nd symposium on Principles of database systems
A trichotomy for regular simple path queries on graphs
Proceedings of the 32nd symposium on Principles of database systems
Sparqling kleene: fast property paths in RDF-3X
First International Workshop on Graph Data Management Experiences and Systems
The complexity of regular expressions and property paths in SPARQL
ACM Transactions on Database Systems (TODS) - Invited papers issue
Efficient separability of regular languages by subsequences and suffixes
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Hi-index | 0.00 |
The World Wide Web Consortium (W3C) recently introduced property paths in SPARQL 1.1, a query language for RDF data. Property paths allow SPARQL queries to evaluate regular expressions over graph data. However, they differ from standard regular expressions in several notable aspects. For example, they have a limited form of negation, they have numerical occurrence indicators as syntactic sugar, and their semantics on graphs is defined in a non-standard manner. We formalize the W3C semantics of property paths and investigate various query evaluation problems on graphs. More specifically, let x and y be two nodes in an edge-labeled graph and r be an expression. We study the complexities of (1) deciding whether there exists a path from x to y that matches r and (2) counting how many paths from x to y match r. Our main results show that, compared to an alternative semantics of regular expressions on graphs, the complexity of (1) and (2) under W3C semantics is significantly higher. Whereas the alternative semantics remains in polynomial time for large fragments of expressions, the W3C semantics makes problems (1) and (2) intractable almost immediately. As a side-result, we prove that the membership problem for regular expressions with numerical occurrence indicators and negation is in polynomial time.