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.