Spatio-Temporal Constraint Databases built on Object-Oriented Frameworks

In my doctoral work, I focus on the definition and formal background for an implementation of a constraint data model to be built on the top of an object-relational DBMS. My approach is designed to exploit existing spatial and temporal tools (mainly the one from Oracle8) yielding the declarativeness and expressiveness of constraint programming. 1 Introduction The aim of my thesis is to design a formal background to integrate constraint databases (CDBs) with existing object-oriented DBMS, which provide efficient management of spatial and temporal information. On one side, we want to extend CDBs to handle with already defined spatial and temporal objects. On the other side, we want to provide existing spatio-temporal DBMS with the facility and expressiveness of a constraint-based model. The recent fields of CDBs has initiated at the beginning of the decade [11] and has lead to sound data models and query languages for multi-dimensional data [6, 5, 13]. The big challenge of constraint d..