Translational Semantics for a Conceptual Level Query Language

被引：0

作者：

Hock C ChanDepartment of Information Systems and Computer Science National University ofSingapore Lower Kent Ridge Road Singapore ^{[511
]}

机构：

来源：

Journal of Computer Science and Technology | 1995年 / 02期

关键词：

Conceptual level; query language; semantics; logic; entityrelationship model; abstraction level; ER calculus;

D O I：

暂无

中图分类号：

TP312 [程序语言、算法语言];

学科分类号：

081202 ; 0835 ;

摘要：

A conceptual level database language for the entity relationship (ER) modelimplicitly contains integrities basic to ER concepts and special retrieval seman-tics for inheritances of attributes and relationships. Prolog, which belongs tothe logical and physical level, cannot be used as a foundation to directly definethe database language. It is shown how Prolog can be enhanced to under-stand the concepts of entities, relationships, attributes and is-a relationships.The enhanced Prolog is then used as a foundation to define the semantics of adatabase query language for the ER model. The three basic functions of modelspecification, updates and retrievas are defined.

引用

页码：175 / 187

页数：13