Towards a Unifying Logic Formalism for Semantic Data Models.

Jaroslaw A. Chudziak, Henryk Rybinski, James Vorbach: Towards a Unifying Logic Formalism for Semantic Data Models. ER 1993: 492-507
  author    = {Jaroslaw A. Chudziak and
               Henryk Rybinski and
               James Vorbach},
  editor    = {Ramez Elmasri and
               Vram Kouramajian and
               Bernhard Thalheim},
  title     = {Towards a Unifying Logic Formalism for Semantic Data Models},
  booktitle = {Entity-Relationship Approach - ER'93, 12th International Conference
               on the Entity-Relationship Approach, Arlington, Texas, USA, December
               15-17, 1993, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {823},
  year      = {1993},
  isbn      = {3-540-58217-7},
  pages     = {492-507},
  ee        = {db/conf/er/ChudziakRV93.html},
  crossref  = {DBLP:conf/er/93},
  bibsource = {DBLP,}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 1, ER 1979-1998" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX


Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. ACM Trans. Database Syst. 12(4): 525-565(1987) BibTeX
Kim B. Bruce, Peter Wegner: An Algebraic Model of Subtype and Inheritance. DBPL 1987: 75-96 BibTeX
Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX
Weidong Chen: Declarative Specification and Evaluation of Database Updates. DOOD 1991: 147-166 BibTeX
Terry A. Halpin: A Fact-Oriented Approach to Schema Transformation. MFDBS 1991: 342-356 BibTeX
Richard Hull, Chee-Keng Yap: The Format Model: A Theory of database Organization. J. ACM 31(3): 518-544(1984) BibTeX
Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) BibTeX
Sushil Jajodia, Peter A. Ng, Frederick N. Springsteel: The Problem of Equivalence for Entity-Relationship Diagrams. IEEE Trans. Software Eng. 9(5): 617-630(1983) BibTeX
William Kent: The Breakdown of the Information Model in Multi-Database Systems. SIGMOD Record 20(4): 10-15(1991) BibTeX
Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146 BibTeX
Won Kim, Jungyun Seo: Classifying Schematic and Data Heterogeneity in Multidatabase Systems. IEEE Computer 24(12): 12-18(1991) BibTeX
Ravi Krishnamurthy, Witold Litwin, William Kent: Language Features for Interoperability of Databases with Schematic Discrepancies. SIGMOD Conference 1991: 40-49 BibTeX
Joan Peckham, Fred J. Maryanski: Semantic Data Models. ACM Comput. Surv. 20(3): 153-189(1988) BibTeX
Henryk Rybinski: On First-Order-Logic Databases. ACM Trans. Database Syst. 12(3): 325-349(1987) BibTeX
David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) BibTeX
Amit P. Sheth, James A. Larson: Federated Database Systems for Managing Distributed, Heterogeneous, and Autonomous Databases. ACM Comput. Surv. 22(3): 183-236(1990) BibTeX
John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX
Ramez Elmasri, Vram Kouramajian, Bernhard Thalheim (Eds.): Entity-Relationship Approach - ER'93, 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15-17, 1993, Proceedings. Lecture Notes in Computer Science 823 Springer 1994, ISBN 3-540-58217-7
Contents BibTeX

Referenced by

  1. Joan Peckham, Fred J. Maryanski, Steven A. Demurjian: Towards the Correctness and Consistency of Update Semantics in Semantic Database Schema. IEEE Trans. Knowl. Data Eng. 8(3): 503-507(1996)
  2. Jaroslaw A. Chudziak, Janusz R. Getta: On Efficient Query Evaluation in Multidatabase Systems. ADBIS 1995: 73-89
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ER 1993 Proceedings, Lecture Notes in Computer Science: Copyright © by Springer
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:10:01 2009