自然科学版 英文版
自然科学版 英文版
自然科学版 英文版

您目前所在的位置:首页 - 期刊简介 - 详细页面

中南大学学报(英文版)

Journal of Central South University

Vol. 2    No. 1    June 1995

[PDF Download]    [Flash Online]

    

FIRST ORDER LANGUAGE FOR ENTITY-ROLES MODEL+
Pan Jiuhui; Liu Zhimin; Wang Yunyi

Department of Computer Science, Central South University of Technology. Changsha, 410083. China

Abstract:With respect to the mathematical structure supposed by theEntity-Roles Model. a first order (three--valued) logic language is constructured. A world to be modelled can be logically specified in this language. The integrity constraints on the database and the deducing ruleswithin the database world are derived from the proper axioms of theworld being modelled. This paper presents the language, and the specification of the world being modelled. Also. the constraints, the inferencerules and the deductive queries over the database are discusssed. 
附件:1995-1-13

 

Key words: knowledge/data model; expert database; object-orientation;database logic; deductive query
 
 

中南大学学报(自然科学版)
  ISSN 1672-7207
CN 43-1426/N
ZDXZAC
中南大学学报(英文版)
  ISSN 2095-2899
CN 43-1516/TB
JCSTFT
版权所有:《中南大学学报(自然科学版、英文版)》编辑部
地 址:湖南省长沙市中南大学 邮编: 410083
电 话: 0731-88879765 传真: 0731-88877727
电子邮箱:zngdxb@csu.edu.cn 湘ICP备09001153号