Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis.

Brian A. Nixon, Lawrence Chung, David Lauzon, Alexander Borgida, John Mylopoulos, Martin Stanley: Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis. SIGMOD Conference 1987: 118-131
  author    = {Brian A. Nixon and
               Lawrence Chung and
               David Lauzon and
               Alexander Borgida and
               John Mylopoulos and
               Martin Stanley},
  editor    = {Umeshwar Dayal and
               Irving L. Traiger},
  title     = {Implementation of a Compiler for a Semantic Data Model: Experiences
               with Taxis},
  booktitle = {Proceedings of the Association for Computing Machinery Special
               Interest Group on Management of Data 1987 Annual Conference,
               San Francisco, California, May 27-29, 1987},
  publisher = {ACM Press},
  year      = {1987},
  pages     = {118-131},
  ee        = {, db/conf/sigmod/NixonCLBMS87.html},
  crossref  = {DBLP:conf/sigmod/87},
  bibsource = {DBLP,}


The features of a compiler for the Taxis design language are described and discussed. Taxis offers an entity-based framework for designing interactive information systems and supports generalisation, classification and aggregation as abstraction mechanisms. Its features include multiple inheritance of attributes, isA hierarchies of transactions, metaclasses, typed attributes, a procedural exception-handling mechanism and an iteration construct based on the abstraction mechanisms supported Developing a compiler for the language involved dealing with the problems of efficiently representing and accessing a large collection of entities, performing (static) type checking and representing isA hierarchies of transactions.

Copyright © 1987 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

Online Version (ACM WWW Account required): Full Text in PDF Format

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Umeshwar Dayal, Irving L. Traiger (Eds.): Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, San Francisco, California, May 27-29, 1987. ACM Press 1987 BibTeX , SIGMOD Record 16(3)

Online Edition: ACM Digital Library


[Abrial, 1974]
[Albano, 1985]
Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX
[Atkinson, 1983]
Malcolm P. Atkinson, Peter J. Bailey, Kenneth Chisholm, W. Paul Cockshott, Ronald Morrison: An Approach to Persistent Programming. Comput. J. 26(4): 360-365(1983) BibTeX
[Balzer, 1984]
Robert Balzer, Neil M. Goldman, Robert Neches: Specification-Based Computing Environments for Information Management. ICDE 1984: 454-458 BibTeX
[D. Barron, 1981]
[J. Barron, 1982]
[Borgida, 1985]
[Chan, 1982]
Arvola Chan, Sy Danberg, Stephen Fox, Wen-Te K. Lin, Anil Nori, Daniel R. Ries: Storage and Access Structures to Support a Semantic Data Model. VLDB 1982: 122-130 BibTeX
[Chen, 1976]
Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX
[Chung, 1984]
[Codd, 1979]
E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979) BibTeX
[Goldberg, 1983]
Adele Goldberg, David Robson: Smalltalk-80: The Language and Its Implementation. Addison-Wesley 1983
[Hall, 1976]
[Hammer, 1976]
[Holt, 1982]
Richard C. Holt, James R. Cordy, David B. Wortman: An Introduction to S/SL: Syntax/Semantic Language. ACM Trans. Program. Lang. Syst. 4(2): 149-178(1982) BibTeX
[Knuth, 1973]
Donald E. Knuth: The Art of Computer Programming, Volume III: Sorting and Searching. Addison-Wesley 1973, ISBN 0-201-03803-X
[Liskov, 1979]
Barbara Liskov, Alan Snyder: Exception Handling in CLU. IEEE Trans. Software Eng. 5(6): 546-558(1979) BibTeX
[Maier, 1986]
David Maier, Jacob Stein, Allen Otis, Alan Purdy: Development of an Object-Oriented DBMS. OOPSLA 1986: 472-482 BibTeX
[Mylopoulos, 1980]
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
[Mylopoulos, 1986]
[Nixon, 1983]
[Nixon, 1987]
[O'Brien, 1982]
[O'Brien,1983 ]
[Park, 1985]
[Rosselet, 1980]
[Schmidt, 1977]
Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) BibTeX
[Schneider, 1978]
[Shipman, 1981]
David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) BibTeX
[Smith, 1977]
John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX
[Smith, 1983]
[Stonebraker, 1986]
Michael Stonebraker, Lawrence A. Rowe: The Design of Postgres. SIGMOD Conference 1986: 340-355 BibTeX
[Thomsen, 1984]
[Tsichritzis, 1982]
[Tsur, 1984]
Shalom Tsur, Carlo Zaniolo: An Implementation of GEM - Supporting a Semantic Data Model on a Relational Back-End. SIGMOD Conference 1984: 286-295 BibTeX
[Wassermann, 1977]
[Weddell, 1987]
[Wong, 1981]
[Zaniolo, 1983]
Carlo Zaniolo: The Database Language GEM. SIGMOD Conference 1983: 207-218 BibTeX

Referenced by

  1. Michael J. Carey, Donald D. Chamberlin, Srinivasa Narayanan, Bennet Vance, Doug Doole, Serge Rielau, Richard Swagerman, Nelson Mendonça Mattos: O-O, What Have They Done to DB2? VLDB 1999: 542-553
  2. Brian A. Nixon: Representing and Using Performance Requirements During the Development of Information Systems. EDBT 1994: 187-200
  3. Hiroshi Ishikawa, Fumio Suzuki, Fumihiko Kozakura, Akifumi Makinouchi, Mika Miyagishima, Yoshio Izumida, Masaaki Aoshima, Yasuo Yamane: The Model, Language, and Implementation of an Object-Oriented Multimedia Knowledge Base Management System. ACM Trans. Database Syst. 18(1): 1-50(1993)
  4. Brian A. Nixon: Implementation of Information System Design Specifications: A Performance Perspective. DBPL 1991: 149-168
  5. Kyuchul Lee, Sukho Lee: An Object-Oriented Approach to Data/Knowledge Modeling Based on Logic. ICDE 1990: 289-294
  6. Shuguang Hong, Fred J. Maryanski: Using a Meta Model to Represent Object-Oriented Data Models. ICDE 1990: 11-19
  7. Rakesh Agrawal, Narain H. Gehani: ODE (Object Database and Environment): The Language and the Data Model. SIGMOD Conference 1989: 36-45
  8. Rakesh Agrawal, Narain H. Gehani: Rationale for the Design of Persistence and Query Processing Facilities in the Database Programming Language O++. DBPL 1989: 25-40
  9. Joan Peckham, Fred J. Maryanski: Semantic Data Models. ACM Comput. Surv. 20(3): 153-189(1988)
  10. Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. SIGMOD Conference 1988: 424-433
  11. Michael J. Carey, David J. DeWitt, Scott L. Vandenberg: A Data Model and Query Language for EXODUS. SIGMOD Conference 1988: 413-423
  12. Alexander Borgida: Modeling Class Hierarchies with Contradictions. SIGMOD Conference 1988: 434-443
  13. Gerti Kappel, Michael Schrefl: A Behaviour Integrated Entity-Relationship Approach for the Design of Object-Oriented Databases. ER 1988: 311-328
  14. Lawrence Chung, Daniel Rios-Zertuche, Brian A. Nixon, John Mylopoulos: Process Management and Assertion Enforcement for a Semantic Data Model. EDBT 1988: 469-487
  15. Brian A. Nixon, John Mylopoulos: Integration Issues in Implementing Semantic Data Models. DBPL 1987: 187-217
  16. Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. DBPL 1987: 257-276
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:39:48 2009