Article

Free access

Action and transaction skeletons:: High level language constructs for database transactions

Authors:

Dzenan Ridjanovic,

Michael L. BrodieAuthors Info & Claims

SIGPLAN '83: Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems

Pages 94 - 99

https://doi.org/10.1145/800226.806855

Published: 01 June 1983 Publication History

Abstract

The relational data model (RDM) provides a powerful basis for high level language constructs that are used in representing structural (static) and behavioural (dynamic) properties of data intensive applications. A fundamental class of semantic integrity constraints, called interrelational constraints, cannot adequately be represented by structural or behavioural constructs alone. The required structural concept is provided directly by the RDM, but a complementary behavioural concept must be added. The language design issues concern a behavioural concept, called an action skeleton, and its integration with the structural concept. An action skeleton enforces a disciplined design and implementation of database transactions that maintain interrelational constraints. Another design issue concerns the use of syntax to constrain design and implementation choices.

References

[1]

Brodie, M. L., "On Artificial Intelligence, Databases, and Programming Languages," Computer Corporation of America, September 1982.

[2]

Brodie, M. L., and D. Ridjanovic, "Extending a Relational Database Environment to Support Semantic Modelling," Dept. of Computer Science, University of Maryland, April 1981.

[3]

Brodie, M. L., and D. Ridjanovic, "On the Design and Specification of Database Transactions," in M. L. Brodie, J. Mylopoulos, and J. M. Schmidt (eds.), Perspectives on Conceptual Modelling, Springer-Verlag, Heidelberg and New York, to appear, 1983.

[4]

Brodie, M. L., and E. deSilva, "Active and Passive Component Modelling: ACM/PCM," in Olle, T. W., H. G. Sol and A. A. Verjin-Stuart Information Systems Design Methodologies: A Comparative Review, North-Holland, Amsterdam, 1982

[5]

Brodie, M. L., and J. W. Schmidt (eds.), "Final Report of the ANSI/X3/SPARC DBS-SG Relational Database Task Group," SIGMOD Record, June 1982.

Digital Library

[6]

Chamberlin, D. D., and R. F. Boyce, "SEQUEL: A Structured English Query Language," Proc. 1974 ACM SIGMOD Workshop on Data Description, Access and Control, 1974.

Digital Library

[7]

Codd, E. F., "A Relational Model for Large Shared Data Banks," Comm. ACM, Vol. 13, No. 6, June 1970.

Digital Library

[8]

Codd, E. F., "Relational Completeness of Data Base Sublanguages," in Data Base Systems, Cowrant Computer Science Symposia Series, Vol. 6, Prentice-Hall, 1972.

[9]

Codd, E. F., "The Capabilities of Relational Database Management Systems," Research Report R73132 (38509), IBM Research Laboratory, San Jose, May 11, 1981.

[10]

Date, C. J., "Referential Integrity," Proc. of the 7th International Conf. on Very Large Databases, Cannes, France, September 1981.

[11]

Ellis, C. A., and G. J. Nutt, "Office Information Systems and Computer Science," ACM Computing Surveys, Vol. 12, No. 1, p. 41, March 1980.

Digital Library

[12]

Gallaire, H. and J. Minker (eds.), Logic and Data Bases, Plenum Press, New York, 1978.

Digital Library

[13]

Guttag, J. V., E. Horowitz, and D. R. Musser, "Abstract Data Types and Software Validation," Comm. ACM, Vol. 21, No. 12, December 1978.

Digital Library

[14]

Hammer, M., W. G. Howe, V. J. Krushai, and I. Waldawsky, "A Very High Level Programming Language for Data Processing Applications," Comm. ACM, Vol. 20, No. 11, November 1977, p. 833.

Digital Library

[15]

Hewitt, C. E., "Concluding Remarks - Artificial Intelligence," in Brodie, M. L., J. Mylopoulos, and J. M. Schmidt (eds.), Perspectives on Conceptual Modelling, Springer-Verlag, Heidelberg and New York, to appear.

[16]

Kowalski, R. Logic for Problem Solving, North-Holland, 1979.

Digital Library

[17]

Porcella, M., P. Freeman, and A.I. Wasserman, "Ada Methodology Questionnaire Summary," Software Engineering Notes, Vol. 8, No. 1, 1983.

[18]

Ridjanovic, D., and M. L. Brodie, "Specification versus Implementation," Proc. COMPCON-81, 23rd IEEE Computer Society International Conference, September 1981.

[19]

Ridjanovic, D., and M. L. Brodie, "Defining Database Dynamics with Attribute Grammars"' Information Processing Letters, Vol. 14, No. 3, May 1982.

[20]

Ridjanovic, D., and M. L. Brodie, "Semantic Data Model-Driven Design, Specification and Verification of Interactive Database Transactions," Computer Corporation of America, April 1982.

[21]

Ridjanovic, D. and M. L. Brodie, "Disciplined Methodology for Database Transaction Design," University of Minnesota and Computer Corporation of America, August 1982.

[22]

Ridjanovio, D. and M. L. Brodie, "Definition of Fundamental Concepts and Tools for Semantic Modelling of Data and Associated Operations," University of Minnesota and Computer Corporation of America, August 1982.

[23]

Schmidt, J. W., "Some High Level Language Constructs for Data of Type Relation," ACM TODS, Vol. 2, No. 3, September 1977.

Digital Library

[24]

Schmidt, J. W., and M. Mall, PASCAL/R Report, Bericht Nr. 66, Fachbereich Informatik, Universitaet Hamburg, January 1980.

Cited By

Brodie MRidjanovic D(1989)On the Design and Specification of Database TransactionsReadings in Artificial Intelligence and Databases10.1016/B978-0-934613-53-8.50018-2(185-206)Online publication date: 1989
https://doi.org/10.1016/B978-0-934613-53-8.50018-2
Chen Q(1986)A rule-based object/task modelling approachProceedings of the 1986 ACM SIGMOD international conference on Management of data10.1145/16894.16882(281-292)Online publication date: 15-Jun-1986
https://dl.acm.org/doi/10.1145/16894.16882
Chen Q(1986)A rule-based object/task modelling approachACM SIGMOD Record10.1145/16856.1688215:2(281-292)Online publication date: 15-Jun-1986
https://dl.acm.org/doi/10.1145/16856.16882

Index Terms

Action and transaction skeletons:: High level language constructs for database transactions
1. Information systems
  1. Data management systems
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features

Recommendations

Action and transaction skeletons:: High level language constructs for database transactions

The relational data model (RDM) provides a powerful basis for high level language constructs that are used in representing structural (static) and behavioural (dynamic) properties of data intensive applications. A fundamental class of semantic integrity ...
Databases and Transaction Processing: An Application-Oriented Approach
Automatic verification of database transaction safety

Maintaining the integrity of databases is one of the promises of database management systems. This includes assuring that integrity constraints are invariants of database transactions. This is very difficult to accomplish efficiently in the presence of ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SIGPLAN '83: Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems

June 1983

230 pages

ISBN:0897911083

DOI:10.1145/800226

ACM SIGPLAN Notices Volume 18, Issue 6
June 1983
219 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/872728
Issue’s Table of Contents

Copyright © 1983 Authors.

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1983

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

VEE05

Sponsor:

SIGPLAN

VEE05: First International Conference on Virtual Execution Environments

June 27 - 29, 1983

California, San Francisco, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
245
Total Downloads

Downloads (Last 12 months)46
Downloads (Last 6 weeks)11

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Brodie MRidjanovic D(1989)On the Design and Specification of Database TransactionsReadings in Artificial Intelligence and Databases10.1016/B978-0-934613-53-8.50018-2(185-206)Online publication date: 1989
https://doi.org/10.1016/B978-0-934613-53-8.50018-2
Chen Q(1986)A rule-based object/task modelling approachProceedings of the 1986 ACM SIGMOD international conference on Management of data10.1145/16894.16882(281-292)Online publication date: 15-Jun-1986
https://dl.acm.org/doi/10.1145/16894.16882
Chen Q(1986)A rule-based object/task modelling approachACM SIGMOD Record10.1145/16856.1688215:2(281-292)Online publication date: 15-Jun-1986
https://dl.acm.org/doi/10.1145/16856.16882

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

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 Publication

Media

Figures

Other

Tables

View Table of Contents