Abstract:
Integration of deductive database and object database results in deductive object database which has powerful modeling and deductive capacities. An object data model is described under the logic environment. In the model described, class is collection and constructor of object logic identifiers, relation and set are class constructors, and type is collection of properties. Class and type are distinguished explicitly. Inheritance is supported by partial similarity relation between types, which unifies single and multiple inheritance as well as monotonous and non monotonous inheritance. In addition, the notion of database schema and its test algorithm are also presented.