Searching for "On Specifying Database Updates." – sorted by Relevance.
-
On Specifying Database Updates
- J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 ON SPECIFYING DATABASE UPDATES RAYMOND REITER . We
- Cited by 74 (10 self) – Add To MetaCart
-
Answering Historical Queries in Databases using Relevance
- Reiter's formalism [14, 16] based on the situation calculus [11] for specifying database updates
- Cited by 2 (2 self) – Add To MetaCart
-
A Semantical Notion of Relevance in Specifications of Database Updates and its Computational
- ,bertossi,marenasg@(email omitted); Abstract Using the situation calculus as underlying formalism for specifying database updates as proposed
- Cited by 2 (2 self) – Add To MetaCart
-
Answering Historical Queries in Databases (Extended Abstract)
- Ray Reiter's formalism [17, 19] based on the situation calculus [13] for specifying database updates
- Cited by 6 (5 self) – Add To MetaCart
-
Specifying Database Transactions and Active Rules in the Situation Calculus
- language of many sorted predicate logic, is used to specify updates in databases [14]. To achieve this, we
- Cited by 4 (1 self) – Add To MetaCart
-
Programming with Logical Queries, Bulk Updates and Hypothetical Reasoning
- proposed for specifying database updates. Examples include procedural languages [4], Datalog extensions
- Cited by 15 (0 self) – Add To MetaCart
-
Non-Deterministic Updates in Daplex
- of complex ad hoc queries, it offers only minimal facilities for specifying database updates. All
- Add To MetaCart
-
On Formalizing Database Updates: Preliminary Report
- of our proposal is to specify databases and their update transactions within the situation calculus. One
- Cited by 27 (3 self) – Add To MetaCart
-
Proving Integrity Constraints In The Situation Calculus Using Automated Theorem Provers
- -BASED FORMALISM FOR SPECIFYING DATABASE UPDATES
- Add To MetaCart
-
Formalizing Database Evolution in the Situation Calculus
- problem, as defined in the AI planning literature, arises in specifying database updates. Roughly speaking
- Cited by 24 (1 self) – Add To MetaCart

