Constraint Query Languages

约束查询语言

• 批准号: 9509933
• 负责人: Stanley Zdonik
• 金额: $ 20.5万
• 依托单位: Brown University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-09-01 至 1997-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9509933&HistoricalAwards=false
• 关键词: Constraint; Query; Languages

This project explores the development and use of constraint programming languages in database applications. Constraint Query Languages (or CQLs) are applicable to many domain-specific areas, such as spatial databases, because their basic data type generalizes the relational tuple data type and is closer to the application semantics, e.g., for spatial databases these generalized tuples are convex spatial point sets . Most importantly, CQLs are designed so that I/O-efficient access to large sets of generalized tuples can be supported through existing multi-dimensional searching data structures. This project is an investigation of both the principles and the practice of CQLs. The principles include: the expressive power of various classesof constraints both linear and nonlinear; the design of calculus/algebra languages combining constraints and objects; the optimization of constraint programs; and the data structures for indexing very large sets of constraints. The practice involves developing prototypes of persistent constraint languages and evaluating them in three concrete application areas: solid modeling in design databases; map overlays in spatial databases; and subsequence matching in scientific databases. Constraint Query Languages will be key components of the next generation of declarative database interfaces, because they capture domain-specific semantics in an efficient fashion, and their successful implementation will be a significant extension of the current relational and object- oriented database technologies

这个项目探讨了约束编程语言在数据库应用程序中的开发和使用。约束查询语言（或CQL）适用于许多特定领域的领域，例如空间数据库，因为它们的基本数据类型概括了关系元组数据类型并且更接近应用程序语义，例如，对于空间数据库，这些广义元组是凸空间点集。最重要的是，CQL被设计为使得可以通过现有的多维搜索数据结构来支持对大量广义元组的I/O高效访问。这个项目是对CQL的原理和实践的调查。这些原则包括：各类线性和非线性约束的表达能力;结合约束和对象的微积分/代数语言的设计;约束程序的优化;以及用于索引非常大的约束集的数据结构。实践涉及开发持久约束语言的原型，并在三个具体的应用领域进行评估：设计数据库中的实体建模;空间数据库中的地图覆盖;科学数据库中的子序列匹配。 约束查询语言将是下一代声明式数据库接口的关键组成部分，因为它们以有效的方式捕获特定于域的语义，并且它们的成功实现将是当前关系和面向对象数据库技术的重要扩展