John Mylopoulos
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.
- 1 ABRIAL, J.R. Data semantics. In Data Management Systems, J.W. Klimbie and K. L. Koffeman (Eds.), North Holland Pub. Co., Amsterdam, 1974.]]Google Scholar
- 2 BRACHMAN, R. On the epistemological status of semantic networks. In Associative Networks, N. Findler (Ed.), Academic Press, New York, 1979.]]Google Scholar
- 3 CODD, E.F. A relational model for large shared data banks. Commun. ACM 13, 6 (June 1970), 377-387.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 5 DATE, C.J. An architecture for high level language database extension. Proc. 1975 ACM SIGMOD Conf., pp. 101-122.]] Google Scholar
- 6 HAMMER, M., AND MCLEOD, D. The semantic data model: A modeling mechanism for database applications. Proc. 1978 ACM SIGMOD Conf., pp. 26-36.]] Google ScholarDigital Library
- 7 HELD, G., STONEBRAKER, M., AND WONG, E. INGRES: A relational data base system. Proc. Nat. Computer Conf., Anaheim, Calif., 1975, pp. 19-22.]]Google Scholar
- 8 LEE, R., On the semantics of instance in database modeling. Working Paper, Dep. Decision Sci., Wharton School, Univ. Pennsylvania, Philadelphia, 1978.]]Google Scholar
- 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.]]Google Scholar
- 10 LEVESQUE, H. A procedural approach to semantic networks. M.Sc. thesis (Tech. Rep. 105), Dep. Computer Sci., Univ. Toronto, Toronto, Canada, 1977.]]Google Scholar
- 11 LEVESQUE, H., AND MYLOPOULOS, J. A procedural semantics for semantic networks. In Associative Networks, N. Findler (Ed.), Academic Press, New York, 1979.]]Google Scholar
- 12 LISKOV, B., SNYDER, A., ATKINSON, R., AND SCHAFFERT, C. Abstraction mechanisms in CLU. Commun. ACM 20, 8 (Aug. 1977), 564-576.]] Google ScholarDigital Library
- 13 MEALY, G. Notions. In Current Trends in Programming Methodology, vol. 2, R. Yeh (Ed.), Prentice-Hall, Englewood Cliffs, N.J., 1977.]]Google Scholar
- 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.]]Google Scholar
- 15 RoussoPouLos, N. A semantic network model of databases. Ph.D. dissertation (Tech. Rep. 104), Dep. Computer Sci., Univ. Toronto, Toronto, Canada, 1976.]] Google ScholarDigital Library
- 16 ROWE, L.A., AND SHOENS, K.A. Data abstraction, views and updates in RIGEL. Proc. 1979 ACM SIGMOD Conf.]] Google ScholarDigital Library
- 17 SCHMXDT, J.W. Some high level language constructs for data of type relation. A CM Trans. Database Syst. 2, 3 (Sept. 1977), 247-261.]] Google ScholarDigital Library
- 18 SHAW, M., WULF, W.A., AND LONDON, R.L. Abstraction and verification in ALPHARD: Defining and specifying iteration and generators. Commun. ACM 20, 8 (Aug. 1977), 553-563.]] Google ScholarDigital Library
- 19 SMITH, J., AND SMITH, D.C.P. A database approach to software specification. Tech. Rep. CCA- 79-17, Computer Corp. of America, 1979.]]Google Scholar
- 20 SMITH, J., AND SMITH, D.C.P. Database abstractions: Aggregation and generalization. ACM Trans. Database Syst. 2, 2 (June 1977), 105-!33.]] Google ScholarDigital Library
- 21 WASSERMAN, A.I. Procedure-oriented exception-handling. Tech. Rep. 27, Lab. Medical inf. Sci., Univ. California, San Francisco, 1977.]]Google Scholar
- 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.]]Google Scholar
- 23 WEGBRmT, B. The treatment of data-types in EL1. Commun. ACM 17, 5 (May 1974), 251-264.]] Google ScholarDigital Library
- 24 WInTH, N. Program development by step-wise refinement. Commun. ACM 14, 4 (April 1971), 221-227.]] Google ScholarDigital Library
- 25 WONG, H.K.T. Design and verification of interactive information systems. Ph.D. dissertation, Dep. Computer. Sci., Univ. Toronto, Toronto, Canada. To appear.]] Google ScholarDigital Library
- 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.]]Google Scholar
Index Terms
- A language facility for designing database-intensive applications
Recommendations
Data abstraction for designing database-intensive applications
Proceedings of the workshop on Data abstraction, databases and conceptual modellingThere is a growing exchange of ideas amongst Artificial Intelligence (AI), Database (DB) and Programming Language (PL) researchers concerning conceptual modelling of complex, object-oriented applications. The complexity of these applications arises from ...
A language facility for designing interactive database-intensive applications
SIGMOD '78: Proceedings of the 1978 ACM SIGMOD international conference on management of dataThis paper describes TAXIS, a language for the design of Interactive Information Systems (e.g., credit card varification, student-course registration and airline reservations). TAXIS offers (relational) database management facilities, a means of ...
Data abstraction for designing database-intensive applications
Proceedings of the workshop on Data abstraction, databases and conceptual modellingThere is a growing exchange of ideas amongst Artificial Intelligence (AI), Database (DB) and Programming Language (PL) researchers concerning conceptual modelling of complex, object-oriented applications. The complexity of these applications arises from ...
Comments