NYI: Theory and Implementation of Declarative Database Systems

该项目涵盖了演绎数据库和声明式面向对象数据库语言的理论和实现工作。在演绎数据库领域，对具有递归聚合和否定的规则的语义和优化的基础工作正在进行。聚合函数增量计算的有效技术正在开发中。在语法上可检查的分层条件，比以往的建议更普遍的也正在研究中。在声明式面向对象数据库领域，已经设计了一种名为Noodle的语言，并正在作为SWORD/Oda数据库系统的一部分实现。一旦实施，该系统将在实际应用中进行测试。

This project covers theoretical and implementation work on both deductive databases and on a declarative object-oriented database language. In the area of deductive databases, foundational work on the semantics and optimization of rules with recursive aggregation and negation is being pursed. Efficient techniques for incremental computation of aggregation functions are being developed. Syntactically checkable stratification conditions that are more general than past proposal are also being investigated. In the area of declarative object-oriented databases, a language called Noodle has been designed, and is being implemented as part of the SWORD/Oda database systems. Once implemented, the system will be tested on realistic applications.