图上导航查询语言的相对表达能力
数据库
2014-12-30 v2 计算机科学中的逻辑
摘要
受既有和新应用的推动，我们研究了用于图（二元关系）的导航查询语言。最简单的语言仅包含并集和复合两个运算符，以及恒等关系。我们通过添加以下任意运算符来构建更强大的语言：交集、集差、投影、余投影、逆以及多样性关系。所有这些运算符都将二元关系映射为二元关系。我们比较了所有生成语言的表达能力。这不仅针对一般路径查询（结果可以是任何二元关系的查询），也针对布尔或是/否查询（由表达式的非空性表示）。对于这两种情况，我们都给出了相对表达能力的完整 Hasse 图。特别是，布尔查询的 Hasse 图包含一些非平凡的分离和少数令人惊讶的坍缩。
引用
@article{arxiv.1401.8201,
title = {Relative Expressive Power of Navigational Querying on Graphs},
author = {George H. L. Fletcher and Marc Gyssens and Dirk Leinders and Dimitri Surinx and Jan Van den Bussche and Dirk Van Gucht and Stijn Vansummeren and Yuqing Wu},
journal= {arXiv preprint arXiv:1401.8201},
year = {2014}
}
备注
An extended abstract announcing the results of this paper was presented at the 14th International Conference on Database Theory, Uppsala, Sweden, March 2011