Searching for "On Specifying Database Updates." – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
