article

Free access

Data abstractions for database systems

Editor: David K. Hsiao Authors:

Peter C. Lockemann,

Heinrich C. Mayr,

Wolfgang H. Weil,

Wolfgang H. WohlleberAuthors Info & Claims

ACM Transactions on Database Systems (TODS), Volume 4, Issue 1

Pages 60 - 75

https://doi.org/10.1145/320064.320067

Published: 01 March 1979 Publication History

Abstract

Data abstractions were originally conceived as a specification tool in programming. They also appear to be useful for exploring and explaining the capabilities and shortcomings of the data definition and manipulation facilities of present-day database systems. Moreover they may lead to new approaches to the design of these facilities. In the first section the paper introduces an axiomatic method for specifying data abstractions and, on that basis, gives precise meaning to familiar notions such as data model, data type, and database schema. In a second step the various possibilities for specifying data types within a given data model are examined and illustrated. It is shown that data types prescribe the individual operations that are allowed within a database. Finally, some additions to the method are discussed which permit the formulation of interrelationships between arbitrary operations.

References

[1]

ASTRAHAN, M.M., ET AL. System R: Relational approach to database management. ACM Trans. Database Syst. I, 2 (June 1970, 97-137.

Digital Library

[2]

BAUER, F.L. Algorithmic languages. Lecture Notes. inst. ffir Informatik, Techn. U. Miinchen, July 1977 (in German).

[3]

GOGUEN, J.A., THATCHER, J.W., WAGNER, E.G., AND WRIGHT, J.B. Abstract data types as initial algebras and correctness of data representations. Proc. Conf. Computr. Graphics, Pattern Recognition and Data Structure, May 1975, pp. 89-93.

[4]

GOGUEN, J.A., THATCHER, J.W., WAGNER, E.G., AND WRIGHT, J.B. Initial algebra semantics and continuous algebras. J. ACM 24, 1 (Jan. 1977), 68-95.

Digital Library

[5]

GUTTAG, J.V., HOROWITZ, E., AND MUSSER, D.R. Abstract data types and software validation. ISI/RR-76-48, U. of Southern California, Los Angeles, Aug. 1976.

[6]

GUTTAG, J.V. Abstract data types and the development of data structures. Comm. ACM 20, 6 (June 1977), 396-404.

Digital Library

[7]

HOARE, C.A.R., AND WIRTH, N. An axiomatic definition of the programming language PASCAL. Acta Informatica 2 (1973), 336-355.

[8]

K~RSCHBERG, L., KLUG, A., AND TSICHRITZIS, D. A taxonomy of data models, in Systems for Large Data Bases, P.C. Lockemann and E.J. Neuhold, Eds., North-Holland Pub. Co., Amsterdam, 1977, pp. 43-64.

Digital Library

[9]

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

Digital Library

[10]

LISKOV, B., AND ZILLES, S. Programming with abstract data types. Proc. ACM-SIGPLAN Syrup. Very High Level Languages. SIGPLAN Notices (ACM) 9, 4 (April 1974), 50-59.

Digital Library

[11]

LISKOV, B., AND ZILLES, S. Specification techniques for data abstractions. IEEE Trans. Software Eng. SE-1, 1 (March 1975), 7-18.

Digital Library

[12]

MAJSTER, M.E. Data types, abstract data types and their specification problem. Internal Rep. TUM-INFO-7715, Inst. ffir Informatik, Techn. U. M~inchen, Aug. 1977.

[13]

NIJSSEN, G.M. Set and CODASYL set or coset. In Data Base Description, B.C.M. Douque and G.M. Nijssen, Eds., North-Holland Pub. Co., Amsterdam, 1975, pp. 1-70.

[14]

NIJSSEN, G.M., Ed. Modelling in Data Base Management Systems, North-Holland Pub. Co., Amsterdam, 1976.

[15]

PAOLINI, P., PELAGATTI, G. Formal definition of mappings in a data base. Proc. ACM-SIGMOD Conf., Manage. of Data, Toronto, 1977, pp. 40-46.

Digital Library

[16]

SMITH, J.M., AND SMITH, D.C.P. Database abstractions: Aggregation. Comm. ACM 20, 6 (June 1977), 405-413.

Digital Library

[17]

S~ITH, J.M., AND SMITH, D.C.P. Database abstractions: Aggregation and generalization. A CM Trans. Database Syst. 2, 2 (June I977}, t05-133.

Digital Library

[18]

WEDEKIND, H. Validation of semantic integrity conditions in relational database systems. Informatik-Fachberichte 5, Springer-Verlag, 1976 (in German).

Cited By

Mayr HThalheim B(2021)The triptych of conceptual modelingSoftware and Systems Modeling (SoSyM)10.1007/s10270-020-00836-z20:1(7-24)Online publication date: 1-Feb-2021
https://dl.acm.org/doi/10.1007/s10270-020-00836-z
Partridge CDe Cesare SMitchell AOdell J(2018)Formalization of the classification patternSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0521-517:1(167-203)Online publication date: 1-Feb-2018
https://dl.acm.org/doi/10.1007/s10270-016-0521-5
Wasserman A(2007)Information system design methodologyJournal of the American Society for Information Science10.1002/asi.463031010231:1(1-24)Online publication date: 22-Mar-2007
https://doi.org/10.1002/asi.4630310102
Show More Cited By

Index Terms

Data abstractions for database systems
1. Information systems
  1. Data management systems
2. Theory of computation
  1. Theory and algorithms for application domains
    1. Database theory
      1. Database query languages (principles)

Recommendations

Database abstractions: aggregation and generalization

Two kinds of abstraction that are fundamentally important in database design and usage are defined. Aggregation is an abstraction which turns a relationship between objects into an aggregate object. Generalization is an abstraction which turns a class of ...
Schema analysis for database restructuring

The problem of generalized restructuring of databases has been addressed with two limitations: first, it is assumed that the restructuring user is able to describe the source and target databases in terms of the implicit data model of a particular ...
Abstract data types and the development of data structures
Software pioneers

Abstract data types can play a significant role in the development of software that is reliable, efficient, and flexible, This paper presents and discusses the application of an algebraic technique for the specification of abstract data types. Among the ...

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 4, Issue 1

March 1979

131 pages

ISSN:0362-5915

EISSN:1557-4644

DOI:10.1145/320064

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

Issue’s Table of Contents

Copyright © 1979 ACM.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1979

Published in TODS Volume 4, Issue 1

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

37
Total Citations
View Citations
610
Total Downloads

Downloads (Last 12 months)69
Downloads (Last 6 weeks)9

Reflects downloads up to 13 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Mayr HThalheim B(2021)The triptych of conceptual modelingSoftware and Systems Modeling (SoSyM)10.1007/s10270-020-00836-z20:1(7-24)Online publication date: 1-Feb-2021
https://dl.acm.org/doi/10.1007/s10270-020-00836-z
Partridge CDe Cesare SMitchell AOdell J(2018)Formalization of the classification patternSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0521-517:1(167-203)Online publication date: 1-Feb-2018
https://dl.acm.org/doi/10.1007/s10270-016-0521-5
Wasserman A(2007)Information system design methodologyJournal of the American Society for Information Science10.1002/asi.463031010231:1(1-24)Online publication date: 22-Mar-2007
https://doi.org/10.1002/asi.4630310102
Neugebauer L(2005)Extending a database to support the handling of environmental measurement dataDesign and Implementation of Large Spatial Databases10.1007/3-540-52208-5_26(147-165)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-52208-5_26
Beeri CMilo T(1995)Subtyping in OODBsJournal of Computer and System Sciences10.1006/jcss.1995.106351:2(223-243)Online publication date: 1-Oct-1995
https://dl.acm.org/doi/10.1006/jcss.1995.1063
Neugebauer L(1992)Einbettung von Interpolationsverfahren in die Anfragesprache SQL zur Bearbeitung von Umwelt-MeßwertenKonzeption und Einsatz von Umweltinformationssystemen10.1007/978-3-642-77296-2_19(269-288)Online publication date: 1992
https://doi.org/10.1007/978-3-642-77296-2_19
Samson WWakelin A(1992)Algebraic Specification of Databases — A Survey from a Database PerspectiveSpecifications of Database Systems10.1007/978-1-4471-3864-8_13(246-254)Online publication date: 1992
https://doi.org/10.1007/978-1-4471-3864-8_13
Gottlob GPaolini PZicari R(1988)Properties and update semantics of consistent viewsACM Transactions on Database Systems10.1145/49346.5006813:4(486-524)Online publication date: 1-Oct-1988
https://dl.acm.org/doi/10.1145/49346.50068
Reuter A(1987)Maßnahmen zur Wahrung von Sicherheits- und IntegritätsbedingungenDatenbank-Handbuch10.1007/978-3-642-95388-0_4(337-479)Online publication date: 1987
https://doi.org/10.1007/978-3-642-95388-0_4
Stemple DSheard TLehman MHünke HBoehm B(1985)Database theory for supporting specification-based database system developmentProceedings of the 8th international conference on Software engineering10.5555/319568.319577(43-49)Online publication date: 1-Aug-1985
https://dl.acm.org/doi/10.5555/319568.319577
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

Figures

Tables

Media

View Issue’s Table of Contents