[论文解读] Infinitary Queries in Spatial Databases

Wesley Calvert, John E. Porter|arXiv (Cornell University)|Mar 24, 2008

Data Management and Algorithms参考文献 9被引用 1

一句话总结

本文在布卢姆–舒布–斯莫莱特（Blum–Shub–Smale）实数计算模型下，将无穷逻辑（infinitary logics）定义为可在实数上计算的约束查询语言，用于空间数据库。通过将可定义的空间集合与超递归层次结构（hyperarithmetical hierarchy）中的句法类对齐，建立了表达和分析具有全精度算术的复杂空间查询的逻辑框架。

ABSTRACT

We describe the use of infinitary logics computable over the real numbers (i.e. in the sense of Blum–Shub–Smale, with full-precision arithmetic) as a constraint query language for spatial databases. We give a characterization of the sets definable in various syntactic classes corresponding to the classical hyperarithmetical hierarchy. 1

研究动机与目标

• 开发一种使用实数上的无穷逻辑来表达空间查询的逻辑框架。
• 在布卢姆–舒布–斯莫莱特计算模型中，刻画各种无穷逻辑句法类中可定义集合的特征。
• 建立可定义空间集合与超递归层次结构之间的对应关系。
• 为使用全精度算术的空间数据库约束查询语言提供理论基础。
• 将经典递归理论层次结构扩展至空间与几何计算情境。

提出的方法

• 在实数上采用布卢姆–舒布–斯莫莱特（BSS）计算模型，形式化具有全精度算术的无穷逻辑。
• 基于量词交替与递归理论层次结构，定义无穷公式句法类。
• 通过逻辑表达能力，将这些句法类映射到空间数据库中相应的可定义集合。
• 使用超递归层次结构作为可定义空间集合复杂度的分类工具。
• 通过允许对实值谓词进行无限合取与析取的无穷公式，分析可定义性。
• 建立逻辑复杂度与空间查询语言中几何表达力之间的对应关系。

实验结果

研究问题

• RQ1 在BSS模型中，哪些空间集合可以使用实数上的无穷逻辑来定义？
• RQ2 无穷公式句法类与经典超递归层次结构之间有何关系？
• RQ3 全精度算术在定义空间约束方面的表达能力如何？
• RQ4 超递归层次结构能否用于对可定义空间集合的复杂度进行分类？
• RQ5 在可计算实数模型中，定义任意空间区域所需的必要且充分的逻辑约束是什么？

主要发现

• 本文建立了无穷公式句法类与超递归层次结构各层级之间的精确对应关系。
• 使用全精度算术在空间数据库中可定义的集合，恰好对应于超递归层次结构中不同层级的集合。
• 在BSS模型下，实数上的无穷逻辑为空间数据库提供了一种强大且富有表现力的查询语言。
• 通过使用无限合取与析取，能够定义超出一阶表达力的复杂空间区域。
• 研究结果表明，超递归层次结构是实闭域中空间可定义性复杂度的自然分类工具。
• 该框架支持对空间查询的逻辑刻画，将经典递归理论扩展至几何与空间计算领域。