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 updates. This semantics provides a logical theory of database updates. DLP supports data-definition, view definition, querying, updating, and general computing; therefore, it can serve as a uniform interface to a logic database. We present an application of DLP and its semantics to the view update problem. A view update translator is an update program in DLP and must satisfy certain conditions for correctly translating update requests on a particular view. It is shown that very simple syntactic transformations on a view definition can be used to obtain correct view update translators for the view.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
