• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Symposium on Constraint Databases(CDB 2004); 20040612-20040613; Paris; FR >A Triangle-Based Logic for Affine-Invariant Querying of Two-Dimensional Spatial Data
【24h】

A Triangle-Based Logic for Affine-Invariant Querying of Two-Dimensional Spatial Data

机译：基于三角形的二维空间数据仿射不变查询逻辑

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In spatial databases, incompatibilities often arise due to different choices of origin or unit of measurement (e.g., centimeters versus inches). By representing and querying the data in an affine-invariant manner, we can avoid these incompatibilities. In practice, spatial (resp., spatio-temporal) data is often represented as a finite union of triangles (resp., moving triangles). As two arbitrary triangles are equal up to a unique affinity of the plane, they seem perfect candidates as basic units for an affine-invariant query language. We propose a so-called "triangle logic", a query language that is affine-generic and has triangles as basic elements. We show that this language has the same expressive power as the affine-generic fragment of first-order logic over the reals on triangle databases. We illustrate that the proposed language is simple and intuitive. It can also serve as a first step towards a "moving-triangle logic" for spatio-temporal data.
机译：在空间数据库中，由于来源或度量单位的不同选择（例如，厘米与英寸），经常会出现不兼容性。通过以仿射不变的方式表示和查询数据，我们可以避免这些不兼容性。在实践中，空间（或时空）数据通常表示为三角形的有限并集（例如，移动三角形）。由于两个任意三角形等于平面的唯一亲和力，因此它们似乎是仿射不变查询语言的基本单位，是完美的候选者。我们提出了一种所谓的“三角逻辑”，一种仿射通用且以三角形为基本元素的查询语言。我们证明了这种语言具有与三角数据库上的实数的一阶逻辑的仿射泛型片段相同的表达能力。我们说明了所提出的语言简单而直观。它还可以作为朝着时空数据“移动三角逻辑”的第一步。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号