Foundations of Deductive Object-Oriented Databases

This page describes our work towards the development of a unified logical foundation for deductive object-oriented data languages. The statical aspects of object-oriented languages are captured via F-logic and the dynamics are modeled via Transaction Logic. The ideas on which the two logics are built are orthogonal, so the logics can be combined in a single, unified declarative formalism.


Papers on F-logic, Transaction Logic, and related issues

More papers can be found on the FLORA-2 Web site

Links to other DOOD sites

Links to other deductive database sites

Other useful links

This material is based upon work supported by the National Science Foundation under Grants No. IRI-9404629, IIS-0072927.