Research into the Design and Implementation of Logical Data base Languages

逻辑数据库语言的设计与实现研究

• 批准号: 9016358
• 负责人: Jeffrey Ullman
• 金额: $ 18.08万
• 依托单位: Stanford University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-02-15 至 1993-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9016358&HistoricalAwards=false
• 关键词: Research; into; Design; Implementation; Logical

The new generation of database applications, such as design databases and scientific databases, and integrated, heterogeneous databases, requires more powerful query languages, able to support declarative programming, ad-hoc queries, complex objects, and other features not found in conventional DB languages. The GLUE/NAIL language provides, for the first time, all these capabilities in one language. It consists of a "semideclarative" language, GLUE, which is essentially logical rules connected by conventional sequencing, procedures, and modules, and NAIL, a completely declarative "view facility" for GLUE. To make the language efficient, certain optimization techniques, such as "magic sets" and "regular recursion optimization" must be used, and they must be extended to handle certain other features. These include negation in subgoals, following the well-founded semantics, aggregation (e.g., sum, avg.), and second-order logic to support sets and other object-oriented capabilities.

新一代数据库应用程序设计等 数据库和科学数据库，以及集成的、异构的 数据库，需要更强大的查询语言，能够 支持声明式编程、特别查询、复杂对象 以及其他在传统DB语言中找不到的特性。的 GLUE/NAIL语言第一次提供了所有这些 一种语言的能力。它由一个“半扩张” 语言，胶水，这是本质上是逻辑规则连接， 传统的测序，程序和模块，以及NAIL，a GLUE的完全声明性的“视图工具”。使 语言效率，某些优化技术，如 必须使用“魔术集”和“常规递归优化”， 并且它们必须被扩展以处理某些其它特征。这些 在次级目标中包括否定， 语义、聚集（例如，总和，平均值），二阶逻辑 以支持集合和其他面向对象的功能。