BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-86-1096
       ENTRY:: May 01, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: A model-theoretic approach to updating logical databases
        TYPE:: Technical Report
      AUTHOR:: Wilkins, Marianne Winslett
        DATE:: January 1986
       PAGES:: 24
    ABSTRACT:: We show that it is natural to extend the concept of database
               updates to encompass databases with incomplete information.
               Our approach embeds the incomplete database and the updates
               in the language of first-order logic, which we believe has
               strong advantages over relational tables and traditional data
               manipulation languages in the incomplete information
               situation. We present semantics for our update operators, and
               also provide an efficient algorithm to perform the
               operations.
       NOTES:: [Adminitrivia V1/Prg/19950501]
         END:: STAN//CS-TR-86-1096