%0 Journal Article
%T f-logic语言表达能力的研究
%A 田增平？
%A 王宇君？
%A 曲云尧？
%A 施伯乐？
%J 软件学报
%P 561-568
%D 1997
%X f-logic语言是一种基于框架逻辑的逻辑数据语言，它在表示面向对象的特征方面具有较强的能力，但是讨论其操作复杂对象能力的工作还不多见.本文比较了以col，（complexobjectlanguage）为代表的逻辑数据语言与f-logic语言操作复杂对象的能力.通过两对保持语义的变换，能够将f-logic程序及其herbrand解释与col，程序及其herbrand解释互相转变，且保持程序在相应解释下的真值性质.最后，讨论了否定的影响.本文的工作说明:在不考虑f-logic语言oid生成影响的情况下，f-logic语言与col，ldl1和elps等逻辑数据语言在操作复杂对象方面具有相同的能力.
%K 逻辑数据语言
%K f-logic语言
%K 复杂对象语言
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19970801&flag=1