Reasoning about action I: a possible worlds approach
Artificial Intelligence
Reasoning about action II: the qualification problem
Artificial Intelligence
Frames in the space of situations (research note)
Artificial Intelligence
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Temporal reasoning in logic programming: a case for the situation calculus
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Artificial Intelligence
Reasoning about actions: steady versus stabilizing state constraints
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
Accomodating Integrity Constraints During Database Design
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
A causal theory of ramifications and qualifications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Situation calculus on a dense flow of time
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
The ramification problem in temporal databases: changing beliefs about the past
Data & Knowledge Engineering - Special issue: WIDM 2004
A tool for addressing the ramification problem in spatial databases: A solution implemented in SQL
Expert Systems with Applications: An International Journal
The ramification problem in temporal databases: an approach with conflicting constraints
Journal of Intelligent Information Systems
| Hi-index | 0.00 |
The ramification and qualification problems are two infamous, hard and ever present problems in databases and, more generally, in systems exhibiting a dynamic behavior. The ramification problem refers to determining the indirect effects of actions, whereas the qualification problem refers to determining the preconditions which must hold prior to the execution of an action. A solution to these problems in database systems permits reasoning about the dynamics of databases and allows proving consistency properties. These two problems become increasingly complex in temporal databases and no satisfactory solution has been proposed as of yet. In this paper, we describe these two problems in the context of temporal databases and we propose a solution of polynomial complexity based on the language of the Situation Calculus. This solution extends previous proposals for the solution of these problems in conventional (non-temporal) databases.