Supporting Objects in Deductive Databases

该项目将重点关注为演绎数据库添加对象标识、数据库模式模板、类型和通用数据库更新的设计和实现问题，以提高建模能力和编程灵活性。所有这些特征都可以在高阶逻辑的框架内优雅地表达出来。目前的逻辑编程和演绎数据库范例将通过采用许多有序的一阶证明理论自然地扩展到高阶逻辑。生成的数据模型应该是可有效实现的。通过结构化和类型化功能对数据和逻辑程序进行统一处理，将支持基于表达性逻辑的数据库程序设计语言的发展，适合于广泛的应用。

This project will focus on the design and implementation issues of adding object identity, database schema templates, typing, and generalized database updates to deductive databases for increased modeling power and programming flexibility. All these features can be elegantly expressed within the framework of high order logic. The current logic programming and deductive database paradigm will be naturally extended to higher order logic by employing many sorted first order proof theory. The resulting data model should be efficiently implementable. Uniform treatment of data and logic program by the structuring and typing facilities will support the development of an expressive logic based database programming language, suitable for a broad range of applications.