Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
New Generation Computing
Updating logical databases
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A denotational semantics for the Starburst production rule language
ACM SIGMOD Record
Static analysis techniques for predicting the behavior of active database rules
ACM Transactions on Database Systems (TODS)
A structured approach for the definition of the semantics of active databases
ACM Transactions on Database Systems (TODS)
Semantics and expressiveness issues in active databases (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic-based integration of active and deductive databases
New Generation Computing
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
The denotational semantics of programming languages
Communications of the ACM
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Active Rules in Database Systems
Active Rules in Database Systems
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Rules with Transaction-Conscious Stable-Model Semantics
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
Formal Characterizations of Active Databases: Part II
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
Expressiveness and Complexity of Active Databases
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Language Constructs for Programming Active Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Formal Specification of Active Database Functionality: A Survey
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
Denotational Semantics for an Active Rule Execution Model
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
Logic and Databases: A 20 Year Retrospective
LID '96 Proceedings of the International Workshop on Logic in Databases
Simulation of Advanced Transaction Models Using GOLOG
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Non-Markovian control in the situation calculus
Eighteenth national conference on Artificial intelligence
On the Semantics of Complex Events in Active Database Management Systems
ICDE '99 Proceedings of the 15th International Conference on Data Engineering
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Active rules termination analysis based on activation path and enhanced formula
International Journal of Intelligent Information and Database Systems
Hi-index | 0.00 |
Over the last 15 years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challenges in this area is to formally account for all the aspects of active behavior using a uniform formalism. In this paper, we formalize active relational databases within the framework of the situation calculus by uniformly accounting for them using theories embodying non-Markovian control in the situation calculus. We call these theories active relational theories and use them to capture the dynamics of active databases. Transaction processing and rule execution is modelled as a theorem proving task using active relational theories as background axioms. We show that the major components of an ADBMS, namely the rule sets and the execution models, may be given a clear semantics using active relational theories. More precisely: we represent the rule set as a program written in a suitable version of the situation calculus based language ConGolog; then we extend an existing situation calculus based framework for modelling advanced transaction models to one for modelling the execution models of active behaviors.