article

Free access

A language facility for designing database-intensive applications

Editor: David K. Hsiao Authors:

John Mylopoulos,

Philip A. Bernstein,

Harry K. T. WongAuthors Info & Claims

ACM Transactions on Database Systems (TODS), Volume 5, Issue 2

Pages 185 - 207

https://doi.org/10.1145/320141.320150

Published: 01 June 1980 Publication History

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]

CODD, E.F. A relational model for large shared data banks. Commun. ACM 13, 6 (June 1970), 377-387.]]

Digital 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.]]

Digital Library

[5]

DATE, C.J. An architecture for high level language database extension. Proc. 1975 ACM SIGMOD Conf., pp. 101-122.]]

[6]

HAMMER, M., AND MCLEOD, D. The semantic data model: A modeling mechanism for database applications. Proc. 1978 ACM SIGMOD Conf., pp. 26-36.]]

Digital 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.]]

[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]

LISKOV, B., SNYDER, A., ATKINSON, R., AND SCHAFFERT, C. Abstraction mechanisms in CLU. Commun. ACM 20, 8 (Aug. 1977), 564-576.]]

Digital Library

[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]

RoussoPouLos, N. A semantic network model of databases. Ph.D. dissertation (Tech. Rep. 104), Dep. Computer Sci., Univ. Toronto, Toronto, Canada, 1976.]]

Digital Library

[16]

ROWE, L.A., AND SHOENS, K.A. Data abstraction, views and updates in RIGEL. Proc. 1979 ACM SIGMOD Conf.]]

Digital 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.]]

Digital 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.]]

Digital 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.]]

[20]

SMITH, J., AND SMITH, D.C.P. Database abstractions: Aggregation and generalization. ACM Trans. Database Syst. 2, 2 (June 1977), 105-!33.]]

Digital Library

[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]

WEGBRmT, B. The treatment of data-types in EL1. Commun. ACM 17, 5 (May 1974), 251-264.]]

Digital Library

[24]

WInTH, N. Program development by step-wise refinement. Commun. ACM 14, 4 (April 1971), 221-227.]]

Digital 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.]]

Digital 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.]]

Cited By

Koubarakis MBorgida AConstantopoulos PDoerr MJarke MJeusfeld MMylopoulos JPlexousakis D(2021)A retrospective on Telos as a metamodeling language for requirements engineeringRequirements Engineering10.1007/s00766-020-00329-x26:1(1-23)Online publication date: 1-Mar-2021
https://dl.acm.org/doi/10.1007/s00766-020-00329-x
Borgida AKalokyri VMarian A(2020)Description Logics and Specialization for Structured BPMNBusiness Process Management Workshops10.1007/978-3-030-37453-2_3(19-31)Online publication date: 3-Jan-2020
https://doi.org/10.1007/978-3-030-37453-2_3
McIntyre SBorgida AToman DWeddell G(2019)On limited conjunctions and partial features in parameter-tractable feature logicsProceedings of the Thirty-Third AAAI Conference on Artificial Intelligence and Thirty-First Innovative Applications of Artificial Intelligence Conference and Ninth AAAI Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v33i01.33012995(2995-3002)Online publication date: 27-Jan-2019
https://dl.acm.org/doi/10.1609/aaai.v33i01.33012995
Show More Cited By

Index Terms

A language facility for designing database-intensive applications
1. Information systems
  1. Data management systems
    1. Database design and models
      1. Relational database model
    2. Query languages
      1. Relational database query languages
2. Theory of computation
  1. Theory and algorithms for application domains
    1. Database theory
      1. Database query languages (principles)

Recommendations

Data abstraction for designing database-intensive applications
Proceedings of the workshop on Data abstraction, databases and conceptual modelling

There 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 data

This 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 modelling

There 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

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Database Systems

ACM Transactions on Database Systems Volume 5, Issue 2

June 1980

138 pages

ISSN:0362-5915

EISSN:1557-4644

DOI:10.1145/320141

Editor:
David K. Hsiao
Ohio State Univ., Columbus

Issue’s Table of Contents

Copyright © 1980 ACM.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1980

Published in TODS Volume 5, Issue 2

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

522
Total Citations
View Citations
644
Total Downloads

Downloads (Last 12 months)73
Downloads (Last 6 weeks)20

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Koubarakis MBorgida AConstantopoulos PDoerr MJarke MJeusfeld MMylopoulos JPlexousakis D(2021)A retrospective on Telos as a metamodeling language for requirements engineeringRequirements Engineering10.1007/s00766-020-00329-x26:1(1-23)Online publication date: 1-Mar-2021
https://dl.acm.org/doi/10.1007/s00766-020-00329-x
Borgida AKalokyri VMarian A(2020)Description Logics and Specialization for Structured BPMNBusiness Process Management Workshops10.1007/978-3-030-37453-2_3(19-31)Online publication date: 3-Jan-2020
https://doi.org/10.1007/978-3-030-37453-2_3
McIntyre SBorgida AToman DWeddell G(2019)On limited conjunctions and partial features in parameter-tractable feature logicsProceedings of the Thirty-Third AAAI Conference on Artificial Intelligence and Thirty-First Innovative Applications of Artificial Intelligence Conference and Ninth AAAI Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v33i01.33012995(2995-3002)Online publication date: 27-Jan-2019
https://dl.acm.org/doi/10.1609/aaai.v33i01.33012995
Ma WKeet COldford WToman DWeddell G(2018)The Utility of the Abstract Relational Model and Attribute Paths in SQLKnowledge Engineering and Knowledge Management10.1007/978-3-030-03667-6_13(195-211)Online publication date: 31-Oct-2018
https://doi.org/10.1007/978-3-030-03667-6_13
Mellado NVanderhaeghe DHoarau CChristophe SBrédif MBarthe L(2017)Constrained palette-space explorationACM Transactions on Graphics10.1145/3072959.307365036:4(1-14)Online publication date: 20-Jul-2017
https://dl.acm.org/doi/10.1145/3072959.3073650
Corman ESolomon JBen-Chen MGuibas LOvsjanikov M(2017)Functional Characterization of Intrinsic and Extrinsic GeometryACM Transactions on Graphics10.1145/3072959.299953536:4(1)Online publication date: 16-Jul-2017
https://dl.acm.org/doi/10.1145/3072959.2999535
Brent E(2016)Relational Data Base Structures and Concept Formation in the Social SciencesComputers and the Social Sciences10.1177/0894439385001001041:1(29-49)Online publication date: 4-Aug-2016
https://doi.org/10.1177/089443938500100104
Gomeni RLa YIssakides Nde Rotrou M(2016)Clinic/3000: A New Approach for Clinical Database Implementation and ManagementDrug Information Journal10.1177/00928615860200021620:2(237-253)Online publication date: 28-Aug-2016
https://doi.org/10.1177/009286158602000216
Borgida AToman DWeddell G(2016)On Referring Expressions in Information Systems Derived from Conceptual ModellingConceptual Modeling10.1007/978-3-319-46397-1_14(183-197)Online publication date: 7-Oct-2016
https://doi.org/10.1007/978-3-319-46397-1_14
Konsynski BKottemann JNunamaker JStott J(2015) plexsys -84: An Integrated Development Environment for Information Systems Journal of Management Information Systems10.1080/07421222.1984.115177101:3(64-104)Online publication date: 23-Dec-2015
https://doi.org/10.1080/07421222.1984.11517710
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Media

Figures

Other

Tables

View Issue’s Table of Contents