arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1810.09355cs.DB
收藏

图形数据库的快速对偶模拟处理(补充)

Fast Dual Simulation Processing of Graph Database Queries (Supplement)

Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke

摘要:

图数据库查询语言具有表达性强但计算开销大的模式匹配能力。例如,在SPARQL中插入可选查询子句会立即呈现查询求值问题的Pspace完全性。因此,轻量级图模式匹配关系,例如模拟,最近已经被研究为更昂贵的查询机制的有希望的替代方案,例如,计算子图同构。尽管如此,图模式匹配本身缺乏表达查询能力:所有模式都是由通常的连接结构组合在一起的,为了使解决方案对新兴应用程序有用,更复杂的功能是不可避免的。在本文中,我们通过引入一个新的双模拟SPARQL查询操作过程来弥合这一差距。除了支持SPARQL查询的完整语法结构外,它还具有多项式时间模式匹配的功能,可以计算来自数据库的查询结果的过度近似。此外,为了实现与最先进的数据库系统的运行时竞争,我们开发了一种新的算法解决方案,双模拟图模式匹配,基于一个系统的不等式,允许几个优化算法。最后,我们实现了我们的SPARQL查询,包括UNION,AND和OPTIONAL操作符的过程中,不限于精心设计的模式的合理性。我们的合成和真实世界的图形数据的实验,保证了一个明确的增益图数据库系统时,将新的双重模拟技术。在这篇补充论文中,我们详细介绍了第35届IEEE国际数据工程会议(ICDE 2019)论文集中包含的原始论文“图数据库的快速双重模拟处理”的所有证明,实验结果的讨论和复杂性分析,中国澳门。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑