Implementation of a compiler for a semantic data model: Experiences with taxis

Authors:
Brian Nixon;Lawrence Chung;John Mylopoulos;David Lauzon;Alex Borgida;M. Stanley
Affiliations:
Univ. of Toronto, Toronto, Ontario, Canada;Univ. of Toronto, Toronto, Ontario, Canada;Univ. of Toronto, Toronto, Ontario, Canada;Univ. of Toronto, Toronto, Ontario, Canada;Univ. of Toronto, Toronto, Ontario, Canada;Univ. of Toronto, Toronto, Ontario, Canada
Venue:
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Year:
1987

Citing 21
Cited 16

Smalltalk-80: the language and its implementation

Smalltalk-80: the language and its implementation
GALILEO: a strongly-typed, interactive conceptual language

ACM Transactions on Database Systems (TODS)
The design of POSTGRES

SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Development of an object-oriented DBMS

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
The art of computer programming, volume 3: (2nd ed.) sorting and searching

The art of computer programming, volume 3: (2nd ed.) sorting and searching
The functional data model and the data languages DAPLEX

ACM Transactions on Database Systems (TODS)
Extending the database relational model to capture more meaning

ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications

ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data

ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Database abstractions: aggregation and generalization

ACM Transactions on Database Systems (TODS)
Some high level language constructs for data of type relation

ACM Transactions on Database Systems (TODS)
An Introduction to S/SL: Syntax/Semantic Language

ACM Transactions on Programming Languages and Systems (TOPLAS)
Pascal: The Language and Its Implementation

Pascal: The Language and Its Implementation
Data Models

Data Models
The database language GEM

SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
An implementation of GEM: supporting a semantic data model on a relational back-end.

SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Specification-Based Computing Environments for Information Management

Proceedings of the First International Conference on Data Engineering
Storage and Access Structures to Support a Semantic Data Model

VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Dialogue and process design for interactive information systems using Taxis

Proceedings of the SIGOA conference on Office information systems
A framework for data base semantic integrity

ICSE '76 Proceedings of the 2nd international conference on Software engineering
Physical design and query compilation for a semantic data model (assuming memory residence)

Physical design and query compilation for a semantic data model (assuming memory residence)

A data model and query language for EXODUS

SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
O2, an object-oriented data model

SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Modeling class hierarchies with contradictions

SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Semantic data models

ACM Computing Surveys (CSUR)
ODE (Object Database and Environment): the language and the data model

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Semantics modeling issues for processing natural language database queries

CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Representing and using nonfunctional requirements: a process-oriented approach

IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
The model, language, and implementation of an object-oriented multimedia knowledge base management system

ACM Transactions on Database Systems (TODS)
Storage management for knowledge bases

CIKM '93 Proceedings of the second international conference on Information and knowledge management
Managing performance requirements for information systems

Proceedings of the 1st international workshop on Software and performance
Management of Performance Requirements for Information Systems

IEEE Transactions on Software Engineering
Hypermedia Models

Automation and Remote Control
Maintaining Data-Driven Rules in Databases

Computer
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach

IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
O-O, What Have They Done to DB2?

VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Model-Centric, Context-Aware Software Adaptation

Software Engineering for Self-Adaptive Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.