带算术的模块化路径查询
Modular Path Queries with Arithmetic
AI总结：
提出一种新的图数据库查询方法，平衡表达力、清晰度和复杂度，可表达最短或最有价值路径属性，引入标签生成本体，查询可在非确定性对数空间内回答。
摘要：
我们提出了一种查询图数据库的新方法。该方法在表达能力、语言清晰度和计算复杂度等相互竞争的目标之间取得了平衡。我们方法的一个显著特点是能够表达满足给定条件的最小（例如最短）和最大（例如最有价值）路径的属性。为了以模块化方式表达复杂属性，我们引入了标签生成本体。由此产生的形式体系在计算上具有吸引力——查询可以在数据库规模的非确定性对数空间内得到回答。
英文摘要：
We propose a new approach to querying graph databases. Our approach balances competing goals of expressive power, language clarity and computational complexity. A distinctive feature of our approach is the ability to express properties of minimal (e.g. shortest) and maximal (e.g. most valuable) paths satisfying given criteria. To express complex properties in a modular way, we introduce labelling-generating ontologies. The resulting formalism is computationally attractive - queries can be answered in non-deterministic logarithmic space in the size of the database.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
