Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007034626> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2007034626 endingPage "91" @default.
- W2007034626 startingPage "53" @default.
- W2007034626 abstract "We 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 desirable 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 all states of the database. It turns out that mathematical induction is required for this task, and we formulate a number of suitable induction principles. 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." @default.
- W2007034626 created "2016-06-24" @default.
- W2007034626 creator A5005611871 @default.
- W2007034626 date "1995-10-01" @default.
- W2007034626 modified "2023-09-27" @default.
- W2007034626 title "On specifying database updates" @default.
- W2007034626 cites W1684304711 @default.
- W2007034626 cites W1970000427 @default.
- W2007034626 cites W1971925101 @default.
- W2007034626 cites W1986329319 @default.
- W2007034626 cites W1999410326 @default.
- W2007034626 cites W2004301675 @default.
- W2007034626 cites W2005473008 @default.
- W2007034626 cites W2049762814 @default.
- W2007034626 cites W2056177422 @default.
- W2007034626 cites W2072373191 @default.
- W2007034626 cites W2078057384 @default.
- W2007034626 cites W2149420462 @default.
- W2007034626 doi "https://doi.org/10.1016/0743-1066(95)00049-p" @default.
- W2007034626 hasPublicationYear "1995" @default.
- W2007034626 type Work @default.
- W2007034626 sameAs 2007034626 @default.
- W2007034626 citedByCount "61" @default.
- W2007034626 countsByYear W20070346262012 @default.
- W2007034626 countsByYear W20070346262013 @default.
- W2007034626 countsByYear W20070346262014 @default.
- W2007034626 countsByYear W20070346262016 @default.
- W2007034626 countsByYear W20070346262017 @default.
- W2007034626 countsByYear W20070346262019 @default.
- W2007034626 countsByYear W20070346262021 @default.
- W2007034626 crossrefType "journal-article" @default.
- W2007034626 hasAuthorship W2007034626A5005611871 @default.
- W2007034626 hasBestOaLocation W20070346261 @default.
- W2007034626 hasConcept C199360897 @default.
- W2007034626 hasConcept C41008148 @default.
- W2007034626 hasConcept C77088390 @default.
- W2007034626 hasConceptScore W2007034626C199360897 @default.
- W2007034626 hasConceptScore W2007034626C41008148 @default.
- W2007034626 hasConceptScore W2007034626C77088390 @default.
- W2007034626 hasIssue "1" @default.
- W2007034626 hasLocation W20070346261 @default.
- W2007034626 hasLocation W20070346262 @default.
- W2007034626 hasOpenAccess W2007034626 @default.
- W2007034626 hasPrimaryLocation W20070346261 @default.
- W2007034626 hasRelatedWork W1527862632 @default.
- W2007034626 hasRelatedWork W2112962394 @default.
- W2007034626 hasRelatedWork W2118300983 @default.
- W2007034626 hasRelatedWork W2135396778 @default.
- W2007034626 hasRelatedWork W2382501300 @default.
- W2007034626 hasRelatedWork W2740990710 @default.
- W2007034626 hasRelatedWork W3137189469 @default.
- W2007034626 hasRelatedWork W3162240892 @default.
- W2007034626 hasRelatedWork W4235530921 @default.
- W2007034626 hasRelatedWork W4243252198 @default.
- W2007034626 hasVolume "25" @default.
- W2007034626 isParatext "false" @default.
- W2007034626 isRetracted "false" @default.
- W2007034626 magId "2007034626" @default.
- W2007034626 workType "article" @default.