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

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.

[1]  Robert Balzer,et al.  Specification-based computing environments for information management , 1984, 1984 IEEE First International Conference on Data Engineering.

[2]  Joachim W. Schmidt,et al.  Some high-level language constructs for data of type relation , 1977, SIGMOD '77.

[3]  Grant Edwin Weddell.  Physical design and query compilation for a semantic data model (assuming memory residence) , 1987 .

[4]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[5]  Renzo Orsini,et al.  GALILEO: a strongly-typed, interactive conceptual language , 1985, TODS.

[6]  Michael Stonebraker,et al.  The design of POSTGRES , 1986, SIGMOD '86.

[7]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[8]  Sol J. Greenspan,et al.  Knowledge representation in the software development process a case study in h winter (ed) , 1986 .

[9]  Stephen Fox,et al.  Storage and Access Structures to Support a Semantic Data Model , 1982, VLDB.

[10]  John L. Barron.  Dialogue and process design for interactive information systems using Taxis , 1982 .

[11]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[12]  David W. Shipman,et al.  The functional data model and the data languages DAPLEX , 1981, TODS.

[13]  Carlo Zaniolo,et al.  The database language GEM , 1983, SIGMOD '83.

[14]  Carlo Zaniolo,et al.  An implementation of GEM: supporting a semantic data model on a relational back-end. , 1984, SIGMOD '84.

[15]  Dennis McLeod,et al.  A framework for data base semantic integrity , 1976, ICSE '76.

[16]  David William Barron.  Pascal - The Language and its Implementation , 1981, Pascal - The Language and its Implementation.

[17]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

[18]  Diane C. P. Smith,et al.  Database abstractions: aggregation and generalization , 1977, TODS.

[19]  Richard C. Holt,et al.  An Introduction to S/SL: Syntax/Semantic Language , 1982, TOPL.

[20]  Alexander Borgida,et al.  Features Of Languages for the Development of Information Systems at the conceptual Level , 1985, IEEE Software.