A language facility for designing database-intensive applications

ABSTRACT

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.

REFERENCES

• 1: ABRIAL, J.R. Data semantics. In Data Management Systems, J.W. Klimbie and K. L. Koffeman (Eds.), North Holland Pub. Co., Amsterdam, 1974.
• 2: BRACHMAN, R. On the epistemological status of semantic networks. In Associative Networks, N. Findler (Ed.), Academic Press, New York, 1979.
• 3: E. F. Codd, A relational model of data for large shared data banks, Communications of the ACM, v.13 n.6, p.377-387, June 1970 [doi>10.1145/362384.362685]
• 4: DAHL, O.J., AND HOARE, C.A.R. Hierarchical program structures. In Structured Programming, O.J. Dahl, E. Dijkstra, and C.A.R. Hoare (Eds.), Academic Press, New York, 1972.
• 5: C. J. Date, An architecture for high-level language database extensions, Proceedings of the 1976 ACM SIGMOD international conference on Management of data, June 02-04, 1976, Washington, D.C.
• 6: Michael Hammer , Dennis McLeod, The semantic data model: a modelling mechanism for data base applications, Proceedings of the 1978 ACM SIGMOD international conference on management of data, May 31-June 02, 1978, Austin, Texas [doi>10.1145/509252.509264]
• 7: HELD, G., STONEBRAKER, M., AND WONG, E. INGRES: A relational data base system. Proc. Nat. Computer Conf., Anaheim, Calif., 1975, pp. 19-22.
• 8: LEE, R., On the semantics of instance in database modeling. Working Paper, Dep. Decision Sci., Wharton School, Univ. Pennsylvania, Philadelphia, 1978.
• 9: LEE, R., AND GERRITZEN, R. A hybrid representation for database semantics. Tech. Rep. 78-01- 01, Dep. Decision Sci., Wharton School, Univ. Pennsylvania, Philadelphia, 1978.
• 10: LEVESQUE, H. A procedural approach to semantic networks. M.Sc. thesis (Tech. Rep. 105), Dep. Computer Sci., Univ. Toronto, Toronto, Canada, 1977.
• 11: LEVESQUE, H., AND MYLOPOULOS, J. A procedural semantics for semantic networks. In Associative Networks, N. Findler (Ed.), Academic Press, New York, 1979.
• 12: Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
• 13: MEALY, G. Notions. In Current Trends in Programming Methodology, vol. 2, R. Yeh (Ed.), Prentice-Hall, Englewood Cliffs, N.J., 1977.
• 14: MYLOPOULOS, J., BERNSTEIN, P., WONG, H.K.T. A preliminary specification of TAXIS: A language for interactive systems design. Tech. Rep. CCA-78-02, Computer Corp. of America, 1978.
• 15: Nicholas D. Roussopoulos, A semantic network model of data bases., 1977
• 16: Lawrence A. Rowe , Kurt A. Shoens, Data abstraction, views and updates in RIGEL, Proceedings of the 1979 ACM SIGMOD international conference on Management of data, May 30-June 01, 1979, Boston, Massachusetts [doi>10.1145/582095.582107]
• 17: Joachim W. Schmidt, Some high level language constructs for data of type relation, ACM Transactions on Database Systems (TODS), v.2 n.3, p.247-261, Sept. 1977 [doi>10.1145/320557.320568]
• 18: Mary Shaw , William A. Wulf , Ralph L. London, Abstraction and verification in Alphard: defining and specifying iteration and generators, Communications of the ACM, v.20 n.8, p.553-564, Aug. 1977 [doi>10.1145/359763.359782]
• 19: SMITH, J., AND SMITH, D.C.P. A database approach to software specification. Tech. Rep. CCA- 79-17, Computer Corp. of America, 1979.
• 20: John Miles Smith , Diane C. P. Smith, Database abstractions: aggregation and generalization, ACM Transactions on Database Systems (TODS), v.2 n.2, p.105-133, June 1977 [doi>10.1145/320544.320546]
• 21: WASSERMAN, A.I. Procedure-oriented exception-handling. Tech. Rep. 27, Lab. Medical inf. Sci., Univ. California, San Francisco, 1977.
• 22: WASSEnMAN, A.I., SHERNIZ, D.D., AND HANDA, E.F. Report on the programming language PLAIN. Lab. Medical Inf. Sci., Univ. California, San Francisco, 1978.
• 23: Ben Wegbreit, The treatment of data types in EL1, Communications of the ACM, v.17 n.5, p.251-264, May 1974 [doi>10.1145/360980.360992]
• 24: Niklaus Wirth, Program development by stepwise refinement, Communications of the ACM, v.14 n.4, p.221-227, April 1971 [doi>10.1145/362575.362577]
• 25: Harry Kwing Tong Wong, Design and verification of information systems, 1983
• 26: WONG, H.K.T., AND MYLOPOULOS, J. Two views of data semantics: Data models in artificial intelligence and database management. INFOR 15, 3 (Oct. 1977), 344-382.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.1 Logical Design
          Subjects: Data models
      H.2.4 Systems
          Subjects: Relational databases

General Terms:
Design, Languages

Keywords:
abstract data type, applications programming, exception handling, information system, relational data model, sesmantic network