Logic-Based Database Query Languages

该项目研究逻辑的设计和实现- 基于查询语言。这项研究的目的是生产 高性能的数据库系统， 关系系统的特征，但具有更丰富的表达能力， 查询语言理论与算法研究 为有效实施这些系统， 进行。在这项工作的同时，一个基于主存的 原型将被使用。表现力和表现力 将对原型进行评估，并与 从问题域中提取的应用程序的实现， 当前的关系系统是不充分的。 这项研究的技术贡献包括 声明性推理能力的有效实现 在复杂的信息结构上， 多处理器和大内存的计算能力 用于开发极高性能的高- 可表达性数据库系统。这些系统将有助于 从传统的业务应用程序， 工程应用知识库和专家系统。

This project investigates the design and implementation of logic- based query languages. The goal of this research is to produce high-performance database systems with the clean, declarative character of relational systems but with far more expressive query languages. Research into the theory and algorithms necessary for the efficient implementation of such systems will be conducted. In parallel with this work, a main-memory based prototype will be implemented. The performance and expressibility of the prototype will be evaluated and compared with implementations of applications drawn from problem domains for which current relational systems are inadequate. The technical contributions of this research include the efficient implementation of declarative reasoning capabilities over complex information structures, paradigms for exploiting the computational power of multiprocessors and large memory machines used in development of extremely high-performance high- expressibility database systems. Such systems will be useful in applications raging from traditional business applications to engineering applications to knowledge bases and expert systems.