ACM SIGMOD Anthology VLDB dblp.uni-trier.de

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

Dipayan Gangopadhyay, Umeshwar Dayal, James C. Browne: Semantics of Network Data Manipulation Languages: An Object-Oriented Approach. VLDB 1982: 357-369
@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

An axiomatic basis for defining the semantics of navigational data manipulation languages is presented. This basis consists of an abstraction of the network data model achieved by three abstract data types, an assertion language to express Properties of database states, and a DML to Program the transactions. The proof rules of the DML constructs and the axioms defined on the data types can be used to establish the correctness of transactions. Potential applications of the proposed formalism in language design, semantic definition of existing languages, and integrity management, are outlined via examples.

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

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Eigth International Conference on Very Large Data Bases, September 8-10, 1982, Mexico City, Mexico, Proceedings. Morgan Kaufmann 1982, ISBN 0-934613-14-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[BACH 73]
Charles W. Bachman: The Programmer as Navigator. Commun. ACM 16(11): 635-658(1973) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BB 82]
Philip A. Bernstein, Barbara T. Blaustein: Fast Methods for Testing Quantified Relational Calculus Assertions. SIGMOD Conference 1982: 39-50 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BILL 76]
...
[BROD 80]
Michael L. Brodie: The application of data types to database semantic integrity. Inf. Syst. 5(4): 287-296(1980) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CODA 71]
...
[DATE 80]
C. J. Date: An Introduction to the Unified Database Language (UDL). VLDB 1980: 15-32 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[ENDE 72]
...
[FLON 79]
...
[GARD 79]
Georges Gardarin, Michel A. Melkanoff: Proving Consistency of Database Transactions. VLDB 1979: 291-298 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[GUTT 78]
John V. Guttag, James J. Horning: The Algebraic Specification of Abstract Data Types. Acta Inf. 10: 27-52(1978) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[HOAR1 72]
...
[LISK 77]
Barbara Liskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert: Abstraction Mechanisms in CLU. Commun. ACM 20(8): 564-576(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[MANO 78]
Frank Manola: A Review of the 1978 CODASYL Database Specifications. VLDB 1978: 232-242 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[WASS 79]
Anthony I. Wasserman: The Data Management Facilities of PLAIN. SIGMOD Conference 1979: 60-70 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[ZANI 79]
...

Copyright © Mon Mar 15 03:55:48 2010 by Michael Ley (ley@uni-trier.de)