A model-theoretic approach to updating logical databases
Marianne Winslett Wilkins · 1985
We show that it is reasonable to extend fhe 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.