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.

Prototypes

FLORA-2: A knowledge base management system that integrates F-logic, Transaction Logic, and HiLog.
FLORID: An F-logic based system from Freiburg University, Germany.
Transaction Logic prototype from the University of Toronto, Canada.

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

Concept Base
LDL++
QUIXOTE
Rock & Roll

Links to other deductive database sites

Aditi
Coral
XSB

Other useful links

Resources on Object-Oriented Logic Programming
Everything object-oriented

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

---

Maintained by: Michael Kifer

---