Data Abstractions for Database Systems.

Peter C. Lockemann, Heinrich C. Mayr, Wolfgang H. Weil, Wolfgang H. Wohlleber: Data Abstractions for Database Systems. ACM Trans. Database Syst. 4(1): 60-75(1979)

@article{DBLP:journals/tods/LockemannMWW79,
  author    = {Peter C. Lockemann and
               Heinrich C. Mayr and
               Wolfgang H. Weil and
               Wolfgang H. Wohlleber},
  title     = {Data Abstractions for Database Systems},
  journal   = {ACM Trans. Database Syst.},
  volume    = {4},
  number    = {1},
  year      = {1979},
  pages     = {60-75},
  ee        = {http://doi.acm.org/10.1145/320064.320067, db/journals/tods/LockemannMWW79.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

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.

Copyright © 1979 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 1, TODS 1976-1990" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/An3-1 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD2 or /dvd

BibTeX

References

[1]: Morton M. Astrahan, Mike W. Blasgen, Donald D. Chamberlin, Kapali P. Eswaran, Jim Gray, Patricia P. Griffiths, W. Frank King III, Raymond A. Lorie, Paul R. McJones, James W. Mehl, Gianfranco R. Putzolu, Irving L. Traiger, Bradford W. Wade, Vera Watson: System R: Relational Approach to Database Management. ACM Trans. Database Syst. 1(2): 97-137(1976) BibTeX
[2]: ...
[3]: ...
[4]: Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Initial Algebra Semantics and Continuous Algebras. J. ACM 24(1): 68-95(1977) BibTeX
[5]: John V. Guttag, Ellis Horowitz, David R. Musser: Abstract Data Types and Software Validation. Commun. ACM 21(12): 1048-1064(1978) BibTeX
[6]: John V. Guttag: Abstract Data Type and the Development of Data Structures. Commun. ACM 20(6): 396-404(1977) BibTeX
[7]: C. A. R. Hoare, Niklaus Wirth: An Axiomatic Definition of the Programming Language PASCAL. Acta Inf. 2: 335-355(1973) BibTeX
[8]: Larry Kerschberg, Anthony C. Klug, Dennis Tsichritzis: A Taxonomy of Data Models. VLDB 1976: 43-64 BibTeX
[9]: Barbara Liskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert: Abstraction Mechanisms in CLU. Commun. ACM 20(8): 564-576(1977) BibTeX
[10]: Barbara Liskov, Stephen N. Zilles: Programming with Abstract Data Types. SIGPLAN Notices 9(4): 50-59(1974) BibTeX
[11]: Barbara Liskov, Stephen N. Zilles: Specification Techniques for Data Abstractions. IEEE Trans. Software Eng. 1(1): 7-19(1975) BibTeX
[12]: Mila E. Majster-Cederbaum: Data Types, Abstract Data Types and Their Specification Problem. Theor. Comput. Sci. 8: 89-127(1979) BibTeX
[13]: ...
[14]: ...
[15]: Paolo Paolini, Giuseppe Pelagatti: Formal Definition of Mappings in a Data Base. SIGMOD Conference 1977: 40-46 BibTeX
[16]: John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation. Commun. ACM 20(6): 405-413(1977) BibTeX
[17]: John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX
[18]: ...

Referenced by

Georg Gottlob, Paolo Paolini, Roberto Zicari: Properties and Update Semantics of Consistent Views. ACM Trans. Database Syst. 13(4): 486-524(1988)
David W. Stemple, Tim Sheard, Ralph E. Bunker: Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE 1986: 590-597
Luiz Tucherman, Antonio L. Furtado, Marco A. Casanova: A Tool for Modular Database Design. VLDB 1985: 436-447
David W. Stemple, Tim Sheard: Specification and Verification of Abstract Database Types. PODS 1984: 248-257
Luiz Tucherman, Antonio L. Furtado, Marco A. Casanova: A Pragmatic Approach to Structured Database Design. VLDB 1983: 219-231
Paul K. Blackwell, Sushil Jajodia, Peter A. Ng: A View of Database Management Systems as Abstract Data Types. ER 1983: 661-668
Walter Dosch, Gianfranco Mascari, Martin Wirsing: On the Algebraic Specification of Databases. VLDB 1982: 370-385
José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291

BibTeX

ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]