Computer
Safety and correct translation of relational calculus formulas
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
A transaction-based approach to relational database specification
Journal of the ACM (JACM)
Logic programming and databases
Logic programming and databases
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Artificial intelligence and mathematical theory of computation
Proving properties of states in the situation calculus
Artificial Intelligence
An overview of transaction logic
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Artificial Intelligence
Logic for Problem Solving
Implementing Temporal Integrity Constraints Using an Active DBMS
IEEE Transactions on Knowledge and Data Engineering
SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Underlying Semantics for the Assessment of Reiter's Solution to the Frame Problem
SBIA '95 Proceedings of the 12th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Automating Proofs of Integrity Constraints in Situation Calculus
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
How to progress a database II: the STRIPS connection
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Hypothetical Temporal Reasoning in Databases
Journal of Intelligent Information Systems - Special issue on data warehousing and knowledge discovery
Coherent Composition of Distributed Knowledge-Bases Through Abduction
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Specifying Active Rules for Database Maintenance
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |
In this paper we describe SCDBR, a system that is able to reason automatically from specifications of database updates written in the situation calculus, a first–order language originally proposed by John McCarthy for reasoning about actions and change. The specifications handledby the system are written in the formalism proposed by Ray Reiter for solving the frame problem that appears when one expresses the effects on the database predicates of the execution of atomic transactions.SCDBR is written in PROLOG, and can solve several reasoning tasks, among others,it is able to derive the final specification from effect axioms, to answerqueries to virtually updated databases, to check legality of transactions,to prove integrity constraints from the specification, to modify thespecification in order to embed a desired integrity constraint, and to answer historical queries. For some of these tasks SCDBR can call othersystems, like relational database systems, automated theorem provers, andconstraint solvers.