%0 Journal Article
%T On the Expressive Power of F-Logic Language
%A Tian Zengping
%A Wang Yujun
%A Qu Yunyaoand Shi Baile
%A <br>Tian Zengping
%A Wang Yujun
%A Qu Yunyao
%A Shi Baile
%J 计算机科学技术学报
%D 1997
%I 
%X F-logic language is a logic database language based on frame logic. It is powerful in expressing object-oriented features. However, there was littIe work discussing its capability of manipulating complex objects. In this paper, the authors compare the capability of F-logic with that of logic database languages represented by COL. Through two pairs of semantic-preserving transformations, F-logic programs and their Herbrand interpretations can be transformed into COL programs and their corresponding Herbrand interpretations, and vice versa. Also, the effects of negation are discussed. The results of this paper indicate that, without consideration of the effects of OID generating, F-logic language has the same power in manipulating complex objects as COL, LDL1,and ELPS.
%K Logic database language
%K F-logic language
%K complex object language (COL)<br>逻辑数据库语言
%K F－逻辑语言
%K 复杂物体语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=3E7179EDE74C89C609A86599888AEAD1&yid=5370399DC954B911&vid=59906B3B2830C2C5&iid=B31275AF3241DB2D&sid=25467A5A28500A25&eid=89389F643CA3F778&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=1