Show simple item record

dc.contributor.authorReiter, Raymond
dc.date.accessioned2022-11-07T15:54:48Z
dc.date.available2022-11-07T15:54:48Z
dc.date.issued1994
dc.identifier.citationReiter, R. On specifying database updates. A: "Proceedings of the 5th International Workshop on the Deductive Approach to Information Systems and Databases". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994, p. 219-253.
dc.identifier.urihttp://hdl.handle.net/2117/375802
dc.description.abstractWe address the problem of formalizing the evolution of a database under the effect of an arbitrary sequence of update transactions. We do so by appealing to a first order representation language called the situation calculus, which is a standard approach in artificial intelligence to the formalization of planning problems. We formalize database transactions in exactly the same way as actions in the artificial intelligence planning domain. This leads to a database version of the frame problem in artificial intelligence. We provide a solution to the frame problem for a special, but substantial, class of update transactions. Using the axioms corresponding to this solution, we provide procedures for determining whether a given sequence of update transactions is legal, and for query evaluation in an updated database. These procedures have the nice property that they appeal to theorem-proving only with respect to the initial database state. We next address the problem of proving properties true in ali states of the database. It turns out that mathematical induction is required for this task, and we formulate a number of suitable induction principies. Among those properties of database states that we wish to prove are the standard database -notions of static and dynamic integrity constraints. In our setting, these emerge as inductive entailments of the database. Finally, we discuss various possible extensions of the approach of this paper, including transaction logs and historical queries, the complexity of query evaluation, actualized transactions, logic programming approaches to updates, database views and state constraints.
dc.format.extent35 p.
dc.languageAnglès
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.rightsOpen access
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subject.lcshInformation storage and retrieval systems
dc.subject.lcshManagement information systems
dc.subject.lcshDeductive databases
dc.titleOn specifying database updates
dc.typeConference report
dc.subject.lemacSistemes d'informació per a la gestió
dc.subject.lemacBases de dades
dc.subject.lemacBases de dades deductives
dc.subject.lemacInformació -- Sistemes d'emmagatzematge i recuperació
dc.rights.accessOpen Access
local.citation.publicationNameProceedings of the 5th International Workshop on the Deductive Approach to Information Systems and Databases
local.citation.startingPage219
local.citation.endingPage253


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record