
Chapter
10
A Logic-based Language for
Database Updates
Sanjay Manchanda
David Scott Warren
Department of Computer Science
State University of New York at Stony Brook
Stony Brook,
NY
Abstract
We propose a logic programming language for writing database update
programs. The language is called DLP, for Dynamic Logic Programming.
Update programs in the language are logic programs augmented with simple
update operations; they have a declarative semantics in a dynamic logic of up-
dates.
This semantics provides a logical theory of database updates. DLP sup-
ports data-definition, view definition, querying, updating, and general comput-
ing; therefore ...