We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 10 Issue 2
March  1995
Turn off MathJax
Article Contents
Abstract
References
Related Articles
Hock C. Chan. Translational Semantics for a Conceptual Level Query Language[J]. Journal of Computer Science and Technology, 1995, 10(2): 175-187.
Citation: Hock C. Chan. Translational Semantics for a Conceptual Level Query Language[J]. Journal of Computer Science and Technology, 1995, 10(2): 175-187.
shu

Translational Semantics for a Conceptual Level Query Language

  • Department of Information Systems and Computer Science; National University ofSingapore; Lower Kent Ridge Road; Singapore 0511;

More Information
  • Published Date: March 09, 1995
    Abstract
  • 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 founda…
    • FullText(HTML)
    • References (3)
  • [1]
    Batini C, Ceri S, Navathe S B. Conceptual Database Design, An Entity Relationship Approach. The Benjamin/Cummings Publishing Co. Inc., USA, 1992.
    [2]
    Vossen G. Data Models, Database Languages and DBMSs. Addison-Wesley, UK, 1991.
    [3]
    Elmasri R, Navathe S B. Fundamentals of Database Systems. Addison Wesley, 1989. ……….
    • Relative Articles

  • Related Articles

    [1]Xi-Shun Zhao, Yu-Ping Shen. Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction[J]. Journal of Computer Science and Technology, 2007, 22(4): 562-568.
    [2]LIN Huimin. Computing Bisimulations for Finite-Controlπ-Calculus[J]. Journal of Computer Science and Technology, 2000, 15(1): 1-9.
    [3]YING Mingsheng. Topology in Process Calculus (Ⅰ):Limit Behaviour of Agents[J]. Journal of Computer Science and Technology, 1999, 14(4): 328-336.
    [4]LI Xiaoshan. Decidability of Mean Value Calculus[J]. Journal of Computer Science and Technology, 1999, 14(2): 173-180.
    [5]Zhou Chaochen. An Overview of Duration Calculus[J]. Journal of Computer Science and Technology, 1998, 13(6): 552.
    [6]G.Huet. A Crash Course in λ-Calculus[J]. Journal of Computer Science and Technology, 1998, 13(6): 546.
    [7]Fu Yuxi. Symmetric π-Calculus[J]. Journal of Computer Science and Technology, 1998, 13(3): 202-208.
    [8]Yu Huiqun, Song Guoxin, Sun Yongqiang. Completeness of the Accumulation Calculus[J]. Journal of Computer Science and Technology, 1998, 13(1): 25-31.
    [9]Shen Ningchuan, Li Wei. R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance[J]. Journal of Computer Science and Technology, 1997, 12(1): 17-28.
    [10]Lu Ruzhan, Zhang Zheng, Sun Yongqiang. Construction of the Model of the Lambda Calculus System with Algebraic Operators[J]. Journal of Computer Science and Technology, 1991, 6(1): 108-112.
    • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (24) PDF downloads (1213) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return