Some Features of the TAXIS Data Model.

@inproceedings{DBLP:conf/vldb/MylopoulosW80,
  author    = {John Mylopoulos and
               Harry K. T. Wong},
  title     = {Some Features of the TAXIS Data Model},
  booktitle = {Sixth International Conference on Very Large Data Bases, October
               1-3, 1980, Montreal, Quebec, Canada, Proceedings},
  publisher = {IEEE Computer Society},
  year      = {1980},
  pages     = {399-410},
  ee        = {db/conf/vldb/MylopoulosW80.html},
  crossref  = {DBLP:conf/vldb/80},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

This paper's principal goal is to provide a discussion on issues raised by the coexistence in a semantic data model of

(i) An object-oriented framework including the notions of token, class and property as well as the IS-A and INSTANCE-OF relations;

(ii) Transactions that can cause state changes;

(iii) Special (null) values such as "unknown", "nothing" and "inconsistent".

The paper presents a number of postulates that need to be satisfied by a database defined in forms of such features for its definition to be well-formed. The discussion uses as starting point TAXIS, a language for the design of interactive applications systems which offers all three types of features.

Key words and phrases: semantic data model, semantic network, null values, generalization hierarchy, data semantics, knowledge representation, conceptual model, entity model.

CR categories: 3.70, 3.73, 4.22, 4.29, 4.33, 4.34, 4.39.

Copyright © 1980 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/vldb7588 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

References

[Abrial 74]

...

[Brachman 79]

...

[Codd 79]

E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979) BibTeX

[Dahl and Hoare 72]

...

[Date 76]

C. J. Date: An Architecture for High-Level Language Database Extensions. SIGMOD Conference 1976: 101-122 BibTeX

[Goldman and Wile 79]

Neil M. Goldman, David S. Wile: A Relational Data Base Foundation for Process Specification. ER 1979: 413-432 BibTeX

[Hammer and McLeod 78]

Michael Hammer, Dennis McLeod: The Semantic Data Model: A Modelling Mechanism for Data Base Applications. SIGMOD Conference 1978: 26-36 BibTeX

[Levesque 77]

...

[Levesque 80]

...

[Levesque and Mylopoulos 79]

...

[Liskov, et al. 77]

Barbara Liskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert: Abstraction Mechanisms in CLU. Commun. ACM 20(8): 564-576(1977) BibTeX

[Mylopoulos et al. 78]

...

[Mylopoulos et al. 79]

John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980) BibTeX

[Schmidt 77]

Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) BibTeX

[Smith and Smith 79]

...

[Stoy 77]

...

[Vassiliou 79]

Yannis Vassiliou: Null Values in Data Base Management: A Denotational Semantics Approach. SIGMOD Conference 1979: 162-169 BibTeX

[Vassiliou 80]

Yannis Vassiliou: Functional Dependencies and Incomplete Information. VLDB 1980: 260-269 BibTeX

[Winograd 75]

...

[Wong 80]

...

[Wong and Mylopoulos 77]

...

Referenced by

1. Zahir Tari: A Design Methodology for Object Oriented Databases. ER 1992: 389-405
2. Martin Gogolla, Uwe Hohenstein: Towards a Semantic View of an Extended Entity-Relationship Model. ACM Trans. Database Syst. 16(3): 369-416(1991)
3. Uwe Hohenstein, Klaus Hülsmann: A Language for Specifying Static and Dynamic Integrity Constraints. ER 1991: 389-416
4. Martin Gogolla, Bernd Meyer, Gerd Westerman: Drafting Extended Entity-Relationship Schemas with QUEER. ER 1991: 561-585
5. Uwe Hohenstein, Gregor Engels: Formal Semantics of an Entity-Relationship-Based Query Language. ER 1990: 171-188
6. H. V. Jagadish: Incorporating Hierarchy in a Relational Model of Data. SIGMOD Conference 1989: 78-87
7. Uwe Hohenstein: Automatic Transformation of an Entity-Relationship Query Language into SQL. ER 1989: 303-321
8. Uwe Hohenstein, Martin Gogolla: A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions. ER 1988: 129-148
9. Corine Cauvet, C. Proix, Colette Rolland: Information System Design: An Expert System Approach. EDBT 1988: 113-133
10. Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987)
11. Jean-Yves Lingat, Philippe Nobecourt, Colette Rolland: Behaviour Management in Database Applications. VLDB 1987: 185-196
12. Paul C. Gilmore: A Foundation for the Entity Relationship Approach: How and Why. ER 1987: 95-113
13. Brian A. Nixon, John Mylopoulos: Integration Issues in Implementing Semantic Data Models. DBPL 1987: 187-217
14. Johann Eder, Gerti Kappel, A. Min Tjoa, Roland Wagner: BIER - The Behaviour Integrated Entity Realtionship Approach. ER 1986: 147-166
15. Malcolm P. Atkinson, Peter Buneman, Ronald Morrison (Eds.): Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, August 1985. Topics in Information Systems Springer 1988, ISBN 3-540-18785-5
    Contents
16. Peter Lyngbæk, Dennis McLeod: A Personal Data Manager. VLDB 1984: 14-25
17. Amihai Motro: Browsing in a Loosely Structured Database. SIGMOD Conference 1984: 197-207
18. Michael Schrefl, A. Min Tjoa, Roland Wagner: Comparison-Criteria for Semantic Data Models. ICDE 1984: 120-125
19. Ulrich Schiel: An Abstract Introduction to the Temporal-Hierarchic Data Model (THM). VLDB 1983: 322-330
20. Alexander Borgida, Harry K. T. Wong: Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory. VLDB 1981: 260-271