克里斯·吉安内拉；德克·范·古赫特 将路径连接操作符添加到\（FO+poly（linear）\）。 （英语） Zbl 1034.68029号 学报信息。 38，编号9，621-648（2002）. 摘要：在约束数据库中，提出了作为空间数据库查询语言基础的社区（FO+poly）和（FO+linear）。这种方法的优点之一是，这些语言是Codd关系模型在空间环境中的清晰自然的概括。因此，可以对它们的表现力和复杂性进行严格的数学研究。沿着这条线，涉及连通性的重要几何查询已被证明在\（FO+poly\）和\（FO+linear\）中是不可表达的。为了解决这个问题，我们使用参数化路径连接谓词Pconn扩展了这两种语言。我们证明了\（FO+线性+Pconn）和\（FO+poly+Pconn[3D]\）是闭合的，并且具有PTIME数据复杂性。我们还检验了\（FO+poly+Pconn）和\（FO+linear+Pconn\）的可表达性，并证明了奇偶闭包和传递闭包在每一个中都是可表达的。 引用于三文件 MSC公司： 第68页，共15页 数据库理论 03B70号 计算机科学中的逻辑 03C60型 模型理论代数 第14页 半代数集与相关空间 关键词：空间数据库查询语言 PDF格式BibTeX公司 XML格式引用 \textit{C.Giannella}和\textit{D.Van Gucht}，《学报》第38期，第9期，第621--648页（2002年；Zbl 1034.68029） 全文： 内政部