A framework for comparison of update semantics

Authors:
Marianne Winslett
Affiliations:
Computer Science Department, University of Illinois at Urbana-Champaign
Venue:
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Year:
1988

Citing 6
Cited 1

Counterfactuals

Artificial Intelligence
Updating logical databases containing null values

Proceedings on International conference on database theory
A theory of diagnosis from first principles

Artificial Intelligence
Diagnosing multiple faults

Artificial Intelligence
Specification and implementation of programs for updating incomplete information databases

PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the semantics of updates in databases

PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems

Sometimes updates are circumscription

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

Scattered across the scientific literature of three or more disciplines appears a profusion of proposals for semantics of updates to logical theories. Because no previous work has compared these proposals with one another, the merits and demerits of the various approaches are not well known. Since the semantics differ from one another in systematic ways, it is possible to generalize from existing proposals and speak of the properties of classes of update semantics. In this paper we suggest a two-dimensional taxonomy for characterizing semantics, and describe the properties inherent to the classes implicit therein. Our discussion includes measurement of the computational complexity of the different classes.