Abstract:Graph database query languages feature expressive, yet computationally expensive pattern matching capabilities. Answering optional query clauses in SPARQL for instance renders the query evaluation problem immediately Pspace-complete. Therefore, light-weight graph pattern matching relations, such as simulation, have recently been investigated as promising alternatives to more expensive query mechanisms like, e.g., computing subgraph isomorphism. Still, graph pattern matching alone lacks expressive query capabilities: all patterns are combined by usual join constructs, where more sophisticated capabilities would be inevitable for making solutions useful to emerging applications. In this paper we bridge this gap by introducing a new dual simulation process operating on SPARQL queries. In addition to supporting the full syntactic structure of SPARQL queries, it features polynomial-time pattern matching to compute an overapproximation of query results from the database. Moreover, to achieve runtimes competing with state-of-the-art database systems, we develop a novel algorithmic solution to dual simulation graph pattern matching, based on a system of inequalities that allows for several optimization heuristics. Finally, we achieve soundness of our process for SPARQL queries including UNION, AND and OPTIONAL operators not restricted to well-designed patterns. Our experiments on synthetic and real-world graph data promise a clear gain for graph database systems when incorporating the new dual simulation techniques. In this supplement paper we present in detail all proofs, discussions of experimental results, and complexity analysis for the original paper "Fast Dual Simulation Processing of Graph Database Queries" included in the Proceedings of the 35th IEEE International Conference on Data Engineering (ICDE 2019), Macau, China.

Linking Entities across Relations and Graphs

Fast Dual Simulation Processing of Graph Database Queries (Supplement)

Relation Discovery in Medicine Through Semantic Graph Routing

Entity Linking on Graph Data

RelSim: Relation Similarity Search in Schema-Rich Heterogeneous Information Networks.

Parallel Algorithms for Flexible Pattern Matching on Big Graphs

Parallel Index-Based Structural Graph Clustering and Its Approximation

Parallel Computing for Copula Parameter Estimation with Big Data: A Simulation Study

Improving Entity Linking with Graph Networks

ParamE: Regarding Neural Network Parameters as Relation Embeddings for Knowledge Graph Completion

A method for linking road-network intersections in a multi-scale navigable database

Relational Approach for Shortest Path Discovery over Large Graphs.

Linking Graph Entities with Multiplicity and Provenance

A Framework to Quantify Approximate Simulation on Graph Data.

Joining Entities Across Relation and Graph with a Unified Model

Personalized Graph Pattern Matching Via Limited Simulation

Effective And Efficient Keyword Query Interpretation Using A Hybrid Graph

Towards efficient simulation-based constrained temporal graph pattern matching

A collective entity linking algorithm with parallel computing on large-scale knowledge base

Towards Distributed Node Similarity Search on Graphs

SimFusion+: extending simfusion towards efficient estimation on large and dynamic networks.