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.