首页> 外文期刊>ACM transactions on computational logic >First-Order Complete and Computationally Complete Query Languages for Spatio-Temporal Databases
【24h】

First-Order Complete and Computationally Complete Query Languages for Spatio-Temporal Databases

机译:时空数据库的一阶完整和计算完整查询语言

获取原文

摘要

We address a fundamental question concerning spatio-temporal database systems: "What are exactly spatio-temporal queries?" We define spatio-temporal queries to be computable mappings that are also generic, meaning that the result of a query may only depend to a limited extent on the actual internal representation of the spatio-temporal data. Genericity is denned as invariance under groups of geometric transformations that preserve certain characteristics of spatio-temporal data (e.g., collinearity, distance, velocity, acceleration,…). These groups depend on the notions that are relevant in particular spatio-temporal database applications. These transformations also have the distinctive property that they respect the monotone and unidirectional nature of time.rnWe investigate different genericity classes with respect to the constraint database model for spatio-temporal databases and we identify sound and complete languages for the first-order and the computable queries in these genericity classes. We distinguish between genericity determined by time-invariant transformations, genericity notions concerning physical quantities and genericity determined by time-dependent transformations.
机译:我们解决有关时空数据库系统的一个基本问题:“什么是时空查询?”我们将时空查询定义为也是通用的可计算映射,这意味着查询结果可能仅在有限程度上取决于时空数据的实际内部表示。广义性被定义为保留了时空数据某些特征(例如共线性,距离,速度,加速度等)的几何变换组下的不变性。这些组取决于与特定时空数据库应用程序相关的概念。这些转换还具有独特的属性,它们尊重时间的单调性和单向性。我们针对时空数据库,针对约束数据库模型研究了不同的通用性类别,并为一阶和可计算的语言识别了完善而完整的语言这些通用性类中的查询。我们区分时不变变换确定的一般性,与物理量有关的一般性概念和时变变换确定的一般性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号