A language facility for designing database-intensive applications

TAXIS, a language for the design of interactive information systems (e.g., credit card verification, student-course registration, and airline reservations) is described. TAXIS offers (relational) database management facilities, a means of specifying semantic integrity constraints, and an exception-handling mechanism, integrated into a single language through the concepts of class, property, and the IS-A (generalization) relationship. A description of the main constructs of TAXIS is included and their usefulness illustrated with examples.

[1]  H. Levesque,et al.  A PROCEDURAL SEMANTICS FOR SEMANTIC NETWORKS , 1979 .

[2]  Mary Shaw,et al.  Abstraction and verification in Alphard: Defining and specifying iteration and generators , 1977 .

[3]  Nick Roussopoulos,et al.  A semantic network model of data bases. , 1976 .

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

[5]  Ben Wegbreit,et al.  The treatment of data types in EL1 , 1974, CACM.

[6]  Niklaus Wirth,et al.  Program development by step-wise refinement , 1971 .

[7]  Ronald J. Brachman,et al.  ON THE EPISTEMOLOGICAL STATUS OF SEMANTIC NETWORKS , 1979 .

[8]  K. Mani Chandy,et al.  Current trends in programming methodology , 1977 .

[9]  Mary Shaw,et al.  Abstraction and verification in Alphard: Defining and specifying iteration and generators , 1977, Commun. ACM.

[10]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

[11]  Michael Stonebraker,et al.  INGRES: a relational data base system , 1975, AFIPS '75.

[12]  John Mylopoulos,et al.  Two views of data semantics: a survey of data models in artificial intelligence and data management , 1977 .

[13]  Hector J. Levesque,et al.  An Overview of a Procedural Approach to Semantic Networks , 1977, IJCAI.

[14]  Tony Hoare,et al.  Hierarchical Program Structures , 1972 .

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

[16]  Craig Schaffert,et al.  Abstraction mechanisms in CLU , 1977, Commun. ACM.

[17]  John Miles Smith,et al.  A Data Base Approach to Software Specification , 1980 .

[18]  Dennis McLeod,et al.  The semantic data model: a modelling mechanism for data base applications , 1978, SIGMOD Conference.

[19]  Lawrence A. Rowe,et al.  Data abstraction, views and updates in RIGEL , 1979, SIGMOD '79.

[20]  C. J. Date.  An Architecture for High-Level Language Database Extensions , 1976, SIGMOD Conference.

[21]  Joachim W. Schmidt,et al.  Some high level language constructs for data of type relation , 1977, TODS.