The objective of the project is to develop an object-relational database management system based on a newly developed centralized multi-version concurrency control and the integration of a logic inference engine and a simple object storage system. LogicSQL -- an object relational database management -- is developed by taking advantages of two quite different system modules. Because of its unique features, LogicSQL enjoys many distinct advantages over the traditional decentralized database management systems.
Various extensions to the traditional model, such as nested and multi-level transactions, have been proposed. These new models increase concurrency but also create serious difficulties for implementation. In this project, we are going to use logic programming with negation as a tool to define as well as implement a simple concurrency control schema for object relational database systems.