The Logic of a Relational Data Manipulation Language.

@inproceedings{DBLP:conf/popl/CasanovaB79,
  author    = {Marco A. Casanova and
               Philip A. Bernstein},
  title     = {The Logic of a Relational Data Manipulation Language},
  booktitle = {POPL},
  year      = {1979},
  pages     = {101-109},
  ee        = {db/conf/popl/CasanovaB79.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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.

POPL Proceedings Compendium

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

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/An4-1 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/aDVD2 or /dvd

Printed Edition

References

[BE1]

Philip A. Bernstein, James B. Rothnie Jr., Nathan Goodman, Christos H. Papadimitriou: The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The Fully Redundant Case). IEEE Trans. Software Eng. 4(3): 154-168(1978) BibTeX

[BE2]

...

[CA1]

Jean-Marc Cadiou: On Semantic Issues in the Relational Model of Data. MFCS 1976: 23-38 BibTeX

[CA2]

...

[CH1]

Donald D. Chamberlin, Morton M. Astrahan, Kapali P. Eswaran, Patricia P. Griffiths, Raymond A. Lorie, James W. Mehl, Phyllis Reisner, Bradford W. Wade: SEQUEL 2: A Unified Approach to Data Definition, Manipulation, and Control. IBM Journal of Research and Development 20(6): 560-575(1976) BibTeX

[CO1]

E. F. Codd: A Database Sublanguage Founded on the Relational Calculus. SIGFIDET Workshop 1971: 35-68 BibTeX

[CO2]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX

[CO3]

...

[ES1]

Kapali P. Eswaran, Donald D. Chamberlin: Functional Specifications of Subsystem for Database Integrity. VLDB 1975: 48-68 BibTeX

[ES2]

Kapali P. Eswaran, Jim Gray, Raymond A. Lorie, Irving L. Traiger: The Notions of Consistency and Predicate Locks in a Database System. Commun. ACM 19(11): 624-633(1976) BibTeX

[HA1]

Michael Hammer, Dennis McLeod: Semantic Integrity in a Relational Data Base System. VLDB 1975: 25-47 BibTeX

[HA2]

David Harel: Arithmetical Completeness in Logics of Programs. ICALP 1978: 268-288 BibTeX

[HE1]

Gerald Held, Michael Stonebraker, Eugene Wong: INGRES: A Relational Data Base System. AFIPS National Computer Conference 1975: 409-416 BibTeX

[LA1]

Michel Lacroix, Alain Pirotte: Domain-Oriented Relational Languages. VLDB 1977: 370-378 BibTeX

[LA2]

...

[MI1]

Jack Minker: Search Strategy and Selection Function for an Inferential Relational System. ACM Trans. Database Syst. 3(1): 1-31(1978) BibTeX

[NI1]

Jean-Marie Nicolas: First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies. SIGMOD Conference 1978: 40-46 BibTeX

[OW1]

Susan S. Owicki, David Gries: An Axiomatic Proof Technique for Parallel Programs I. Acta Inf. 6: 319-340(1976) BibTeX

[PA1]

...

[PR1]

Vaughan R. Pratt: Semantical Considerations on Floyd-Hoare Logic. FOCS 1976: 109-121 BibTeX

[SC1]

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

[ST1]

Richard Edwin Stearns, Philip M. Lewis II, Daniel J. Rosenkrantz: Concurrency Control for Database Systems. FOCS 1976: 19-32 BibTeX

[TH1]

...

[VA1]

...

[YA1]

...

Referenced by

1. Tim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368(1989)
2. Georg Gottlob, Paolo Paolini, Roberto Zicari: Properties and Update Semantics of Consistent Views. ACM Trans. Database Syst. 13(4): 486-524(1988)
3. Henryk Rybinski: On First-Order-Logic Databases. ACM Trans. Database Syst. 12(3): 325-349(1987)
4. James Clifford, Albert Croker: The Historical Relational Data Model (HRDM) and Algebra Based on Lifespans. ICDE 1987: 528-537
5. David W. Stemple, Tim Sheard, Ralph E. Bunker: Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE 1986: 590-597
6. Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)
7. James Clifford, David Scott Warren: Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254(1983)
8. Luiz Tucherman, Antonio L. Furtado, Marco A. Casanova: A Pragmatic Approach to Structured Database Design. VLDB 1983: 219-231
9. Hervé Gallaire: Impacts of Logic and Databases (Invited Paper). VLDB 1981: 248-259