驯服图分析查询的表达能力与可编程性
计算与语言
2020-10-01 v2 数据库
编程语言
摘要
图数据库在过去十年中蓬勃发展，图查询也随之受到学术界与工业界的广泛关注。本文关注分析查询。在从完备性、表达能力与可编程性角度分析现有面向分析查询的领域特定语言（DSLs）时，我们发现已有工作均未能令人满意地兼顾这些角度。受此驱动，我们提出 \flash DSL，其名称源于三个原语算子 Filter、LocAl 与 PuSH。我们证明 \flash 是图灵完备的（完备性），并展示其在分析查询上同时具备良好的表达能力与可编程性。我们提供了基于代码生成的 \flash 实现，并使用代表性查询将其与原生 C++ 代码及现有 DSL 进行比较。实验结果证明了 \flash 的表达能力，以及其编写复杂算法并实现满意运行时间的可编程性。
引用
@article{arxiv.2004.09045,
title = {Taming the Expressiveness and Programmability of Graph Analytical Queries},
author = {Lu Qin and Longbin Lai and Kongzhang Hao and Zhongxin Zhou and Yiwei Zhao and Yuxing Han and Xuemin Lin and Zhengping Qian and Jingren Zhou},
journal= {arXiv preprint arXiv:2004.09045},
year = {2020}
}
备注
22 pages