A Reasoning Mechanism for DeductiveObject-Oriented Databases  

作　　者：张成洪 胡运发 施伯乐 

出　　处：《Journal of Computer Science & Technology》1997年第4期337-345,共9页计算机科学技术学报（英文版）

基　　金：the National '863' Hi-Tech Program of China

摘　　要：Based on the approach implementing a deductive object-oriented database system through the underlying relational database, this paper presents an 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.Based on the approach implementing a deductive object-oriented database system through the underlying relational database, this paper presents an 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.

关 键 词：DBMS OBJECT-ORIENTED logic programming datalog. 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]