A reasoning mechanism for deductive object-oriented databases

摘要

Based on the approach implementing a deductive object-oriented database system through the underlying relational database, this paper presents and object reasoning language O-Datalog, which is the extension of Datalog in form and can deal with object-oriented data. For any O-Datalog program, an equivalent Datalog program can be built to help evaluate the original program. This paper focuses on the syntax, semantics and evaluation of O-Datalog.