%0 Journal Article
%T COMPLEX OBJECT BASED KNOWLEDGE-BASE LANGUAGE<br>基于复杂对象的知识库语言
%A Zhou Aoying
%A Guo Depei
%A Ye Daobing
%A <br>周傲英
%A 郭德培
%A 叶道兵
%J 软件学报
%D 1995
%I 
%X The study on complex object data model and its logic data language has received a lot of attention in recent years. In this paper, a complex object data model COMis proposed, and the syntax of its declarative query language, called CO-DATAI.OG, ispresented. In the respect of semantics, the concepts such as universe, base, interpretation, satisfaction, and model are defined, then based on the lattice property of COM Instances the model intersection theorem, the theorem on existence of the least model, andthe fixpoint characteristic of the least model are proved. Therefore the semantic theoreticalframework is reconstructed.
%K Complex object
%K logic data language
%K model-theoretical semantics<br>复杂对象，逻辑数据语言，模型论语义
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=4613DC631E65CA3697F964CE0BA42A72&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=E158A972A605785F&sid=23104246A5FCFCEF&eid=1E41DF9426604740&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=10