ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Specification and Implementation of Programs for Updating Incomplete Information Databases.

Stephen J. Hegner: Specification and Implementation of Programs for Updating Incomplete Information Databases. PODS 1987: 146-158
@inproceedings{DBLP:conf/pods/Hegner87,
  author    = {Stephen J. Hegner},
  title     = {Specification and Implementation of Programs for Updating Incomplete
               Information Databases},
  booktitle = {Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on
               Principles of Database Systems, March 23-25, 1987, San Diego,
               California},
  publisher = {ACM},
  year      = {1987},
  isbn      = {0-89791-223-3},
  pages     = {146-158},
  ee        = {http://doi.acm.org/10.1145/28659.28675, db/conf/pods/Hegner87.html},
  crossref  = {DBLP:conf/pods/87},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

The problem of updating incomplete information databases is examined as a programming problem. From this point of view formal denotational semantics are developed for two applicative programming languages, BLU and HLU. BLU is a very simple language with only five primitives, and is designed primarily as a tool for the implementation of higher level languages. The semantics of BLU are formally developed at two levels, possible worlds and clausal, and the latter is shown to be a correct implementation of the former.HLU is a user level update language. It is defined entirely in terms of BLU, and so immediately inherits its semantic definition from that language. This demonstrates a level of completeness for BLU as a level of primitives for update language implementation. The necessity of a particular BLU primitive, masking, suggests that there is a high degree of inherent complexity in updating logical databases.

Copyright © 1987 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.

Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98. and ... Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings. and ... BibTeX

Printed Edition

Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California. ACM 1987, ISBN 0-89791-223-3
Contents BibTeX

Online Edition: ACM Digital Library

References

[1]
Serge Abiteboul, Gösta Grahne: Update Semantics for Incomplete Databases. VLDB 1985: 1-12 BibTeX
[2]
...
[3]
...
[4]
E. F. Codd: Relational Completeness of Data Base Sublanguages. In: R. Rustin (ed.): Database Systems: 65-98, Prentice Hall and IBM Research Report RJ 987, San Jose, California : (1972) BibTeX
[5]
...
[6]
...
[7]
...
[8]
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX
[9]
...
[10]
Richard Hull: Finitely Specifiable Implicational Dependency Families. J. ACM 31(2): 210-226(1984) BibTeX
[11]
...
[12]
Tomasz Imielinski, Witold Lipski Jr.: Incomplete Information in Relational Databases. J. ACM 31(4): 761-791(1984) BibTeX
[13]
Barry E. Jacobs: On Database Logic. J. ACM 29(2): 310-332(1982) BibTeX
[14]
Barry E. Jacobs, Alan R. Aronson, Anthony C. Klug: On Interpretations of Relational Languages and Solutions to the Implied Constraint Problem. ACM Trans. Database Syst. 7(2): 291-315(1982) BibTeX
[15]
Arthur M. Keller, Marianne Winslett: Approaches for Updating Databases With Incomplete Information and Nulls. ICDE 1984: 332-340 BibTeX
[16]
...
[17]
...
[18]
...
[19]
...
[20]
...
[21]
...
[22]
...
[23]
...

Referenced by

  1. Marianne Winslett: A Model-Based Approach to Updating Databases with Incomplete Information. ACM Trans. Database Syst. 13(2): 167-196(1988)
  2. Marianne Winslett: A Framework for Comparison of Update Semantics. PODS 1988: 315-324
  3. Anthony Tomasic: View Update Translation via Deduction and Annotation. ICDT 1988: 338-352
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:33:51 2009