Abstract Data Types in Databases: Specification, Manipulation and Access.

@inproceedings{DBLP:conf/icde/StempleSB86,
  author    = {David W. Stemple and
               Tim Sheard and
               Ralph E. Bunker},
  title     = {Abstract Data Types in Databases: Specification, Manipulation
               and Access},
  booktitle = {Proceedings of the Second International Conference on Data Engineering,
               February 5-7, 1986, Los Angeles, California, USA},
  publisher = {IEEE Computer Society},
  year      = {1986},
  isbn      = {0-8186-0655-X},
  pages     = {590-597},
  ee        = {db/conf/icde/StempleSB86.html},
  crossref  = {DBLP:conf/icde/86},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1986 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

ACM SIGMOD Anthology

• 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/An2-6 or /cdrom

• 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/aDVD1 or /dvd

Printed Edition

References

[1]

Michael L. Brodie: The application of data types to database semantic integrity. Inf. Syst. 5(4): 287-296(1980) BibTeX

[2]

Michael L. Brodie: Association: A Database Abstraction for Semantic Modelling. ER 1981: 577-602 BibTeX

[3]

Marco A. Casanova, Philip A. Bernstein: The Logic of a Relational Data Manipulation Language. POPL 1979: 101-109 BibTeX

[4]

Marco A. Casanova, Paulo A. S. Veloso, Antonio L. Furtado: Formal Data Base Specification - An Eclectic Perspective. PODS 1984: 110-118 BibTeX

[5]

Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Algebraic Specification Schemes for Data Base Systems. VLDB 1978: 427-440 BibTeX

[6]

...

[7]

...

[8]

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) BibTeX

[9]

...

[10]

Clesio Saraiva dos Santos, Erich J. Neuhold, Antonio L. Furtado: A Data Type Approach to the Entity-Relationship Approach. ER 1979: 103-119 BibTeX

[11]

Peter Scheuermann, Gerd Schiffner, H. Weber: Abstraction Capabilities and Invariant Properties Modelling within the Entity-Relationship Approach. ER 1979: 121-140 BibTeX

[12]

Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) BibTeX

[13]

...

[14]

Herbert Weber: A Software Engineering View of Data Base Systems. VLDB 1978: 36-51 BibTeX

[15]

Raymond T. Yeh, Jerry W. Baker: Toward a Design Methodology for DBMS: A Software Engineering Approach. VLDB 1977: 16-27 BibTeX

[16]

Robert Balzer, Thomas E. Cheatham Jr., C. Cordell Green: Software Technology in the 1990's: Using a New Paradigm. IEEE Computer 16(11): 39-45(1983) BibTeX

[17]

Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX

[18]

David W. Stemple, Tim Sheard: Specification and Verification of Abstract Database Types. PODS 1984: 248-257 BibTeX

[19]

...

[20]

...

[21]

David W. Stemple: A Data Base Management Facility for Automatic Generation of Data Base Managers. ACM Trans. Database Syst. 1(1): 79-94(1976) BibTeX

[22]

...

[23]

David W. Stemple, Tim Sheard: Database Theory for Supporting Specification-Based Database Systems Development. ICSE 1985: 43-49 BibTeX

[24]

Barbara Liskov, Stephen N. Zilles: Specification Techniques for Data Abstractions. IEEE Trans. Software Eng. 1(1): 7-19(1975) BibTeX

[25]

...

[26]

Billy G. Claybrook: A Specification Method for Specifying Data and Procedural Abstractions. IEEE Trans. Software Eng. 8(5): 449-459(1982) BibTeX

[27]

...

[28]

...

[29]

Tim Sheard, David W. Stemple: Coping with Complexity in Automated Reasoning about Database Systems. VLDB 1985: 426-435 BibTeX

[30]

...

[31]

John V. Guttag: Notes on Type Abstraction (Version 2). IEEE Trans. Software Eng. 6(1): 13-23(1980) BibTeX

[32]

James Ong, Dennis Fogg, Michael Stonebraker: Implementation of Data Abstraction in the Relational Database System Ingres. SIGMOD Record 14(1): 1-14(1984) BibTeX

[33]

...

[34]

...

Referenced by

1. Tim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368(1989)
2. Leonidas Fegaras, Tim Sheard, David W. Stemple: The ADABTPL Type System. DBPL 1989: 207-218
3. David W. Stemple, Subhasish Mazumdar, Tim Sheard: On the Modes and Meaning of Feedback to Transaction Designers. SIGMOD Conference 1987: 374-386
4. David W. Stemple, Tim Sheard: Construction and Calculus of Types for Database Systems. DBPL 1987: 3-22