Semantics of Network Data Manipulation Languages: An Object-Oriented Approach.

@inproceedings{DBLP:conf/vldb/GangopadhyayDB82,
  author    = {Dipayan Gangopadhyay and
               Umeshwar Dayal and
               James C. Browne},
  title     = {Semantics of Network Data Manipulation Languages: An Object-Oriented
               Approach},
  booktitle = {Eigth International Conference on Very Large Data Bases, September
               8-10, 1982, Mexico City, Mexico, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1982},
  isbn      = {0-934613-14-1},
  pages     = {357-369},
  ee        = {db/conf/vldb/GangopadhyayDB82.html},
  crossref  = {DBLP:conf/vldb/82},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1982 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Online Paper

• Download PDF file (www.vldb.org, Darmstadt, Germany)
• Download PDF file (www.acm.org, New York, USA)

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/vldb7588 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

[BACH 73]

Charles W. Bachman: The Programmer as Navigator. Commun. ACM 16(11): 635-658(1973) BibTeX

[BB 82]

Philip A. Bernstein, Barbara T. Blaustein: Fast Methods for Testing Quantified Relational Calculus Assertions. SIGMOD Conference 1982: 39-50 BibTeX

[BBC 80]

Philip A. Bernstein, Barbara T. Blaustein, Edmund M. Clarke: Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data. VLDB 1980: 126-136 BibTeX

[BILL 76]

...

[BROD 80]

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

[CASA 80]

Marco A. Casanova, Philip A. Bernstein: A Formal System for Reasoning about Programs Accessing a Relational Database. ACM Trans. Program. Lang. Syst. 2(3): 386-414(1980) BibTeX

[CODA 71]

...

[DATE 80]

C. J. Date: An Introduction to the Unified Database Language (UDL). VLDB 1980: 15-32 BibTeX

[ENDE 72]

...

[FLON 79]

...

[GARD 79]

Georges Gardarin, Michel A. Melkanoff: Proving Consistency of Database Transactions. VLDB 1979: 291-298 BibTeX

[GUTT 78]

John V. Guttag, James J. Horning: The Algebraic Specification of Abstract Data Types. Acta Inf. 10: 27-52(1978) BibTeX

[HD 81]

...

[HOAR 74]

C. A. R. Hoare, Peter E. Lauer: Consistent and Complementary Formal Theories of the Semantics of Programming Languages. Acta Inf. 3: 135-153(1974) BibTeX

[HOAR1 72]

...

[LISK 77]

Barbara Liskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert: Abstraction Mechanisms in CLU. Commun. ACM 20(8): 564-576(1977) BibTeX

[LUCK 79]

David C. Luckham, Norihisa Suzuki: Verification of Array, Record, and Pointer Operations in Pascal. ACM Trans. Program. Lang. Syst. 1(2): 226-244(1979) BibTeX

[MANO 78]

Frank Manola: A Review of the 1978 CODASYL Database Specifications. VLDB 1978: 232-242 BibTeX

[OLLE 78]

...

[PING 80]

...

[SCHM 77]

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

[SMIT 75]

...

[SMIT2 77]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX

[WASS 79]

Anthony I. Wasserman: The Data Management Facilities of PLAIN. SIGMOD Conference 1979: 60-70 BibTeX

[ZANI 79]

...

Referenced by

1. Gabriel M. Kuper, Moshe Y. Vardi: The Logical Data Model. ACM Trans. Database Syst. 18(3): 379-413(1993)
2. Fred J. Friedman, Arthur M. Keller, John Salasin, Gio Wiederhold, Murray R. Berkowitz, David L. Spooner: Reference Model for Ada Interfaces to Database Management Systems. ICDE 1986: 492-506