Query Language Based On The Deductive Object-Oriented Database

Deductive Database(DDB) and Object_Oriented Database (OODB),since 80's, develop along the different road independently, and they obtained many results in realm of the theories, technique and system etc.The DDB research is a typical drive of theory, but the OODB research is a typical drive of application. The research of both sides has complementarity with each other very bigly.The OODB key problem is to lack a semantic form, but what DDB use is relative scheme and DDB don't support the object identify and the data abstract conception. It is necessary that we put both sides together with core of the complicated object modeling and the data abstract conception. According to the rule of OODB , using the query language as interface language is basic characteristic of the new generation database. Deductive Database and Object_Oriented Database is two important extension of a traditional database technique. By using recursion of fixedly logical basic and declarative query fixedly , deductive database expand expression ability of the traditional database, such as Datalog, LDL and Coral. Through object identify , complicated object , type , class inheritance , object_oriented database expand modeling ability of the traditional database,such as Iris,Exodus,Orion,Jasmine.However two extension have the shortcoming, deductive database lack the strong ability of data modeling , but Object_Orientd Database lack logic semantic and declarative query language.In order to integrate the advantage of two database, many efforts were done in past several years. Many Deductive Object_Oriented Database(DOOD) is put forward, for example O-logic, C-logic, IQL, IQL2, F-logic, LOGRES, LLO, LOL, DLT, Gulog, Coral++, Rock& Roll. In the next generation information system, we agree that the combination of data_oriented(the structure query), behavior and deduce is necessary. This means that deductive object_oriented paradigm provide a very prospective start_point for implementing the next generation information system. However, those proposals of existing DOOD query language request the customer mastering the programing technique(logic programing technique and object_oriented technique).In the term of the expression information , we think that the query language of the user should contain the collection of high object_oriented and deductive primitive. In the view of user, the particular query formulation contain these primitives and the condition that they specify.In next generation information system, we put forward the way of embedding them to those primitive, so that it hide big and complicated deductive detail to user. The customer can explain these primitives as a concretely applied concept and structure. Because user can use the method in object_oriented query language, it is already applied. In this text, the definition of deductive norm have already concealed to the customer in the term of the primitive. From the primitive, this paper introduces an instance of ER graph which is type of a deductive object in order to define deductive object's SQL. Based-on ER graph instance, event monitor which applies rules in rule database deducts the object and produces deductive object type. Based-on existing SQL,this paper defines and applies DOSQL to implement formal query instance, and analyzes the supportability of object-oriented language to DOOD of deductive object attribute.