Specifying active rules for database maintenance
L Bertossi, J Pinto - International Workshop on Foundations of Models and …, 1999 - Springer
In this article we extend previous work on the development of logical foundations for the
specification of the dynamics of databases. In particular, we deal with two problems. Firstly …
specification of the dynamics of databases. In particular, we deal with two problems. Firstly …
Simulation of advanced transaction models using golog
I Kiringa - International Workshop on Database Programming …, 2001 - Springer
We propose a logical framework for describing, reasoning about, and simulating transaction
models that relax some of the ACID (Atomicity-Consistency-Isolation-Durability) properties of …
models that relax some of the ACID (Atomicity-Consistency-Isolation-Durability) properties of …
Synthesizing advanced transaction models using the situation calculus
I Kiringa, A Gabaldon - Journal of Intelligent Information Systems, 2010 - Springer
The situation calculus is a versatile logic for reasoning about actions and formalizing
dynamic domains. Using the non-Markovian action theories formulated in the situation …
dynamic domains. Using the non-Markovian action theories formulated in the situation …
Erx-ql: Querying an entity-relationship db to obtain xml documents
G Psaila - International Workshop on Database Programming …, 2001 - Springer
Perspective scenarios of e-commerce applications, in particular B2B applications, based on
the exchange of XML documents open new research issues in the field of information …
the exchange of XML documents open new research issues in the field of information …
A unifying semantics for active databases using non-Markovian theories of actions
I Kiringa, R Reiter - International Workshop on Database Programming …, 2003 - Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced
by the addition of rule-based programming to obtain active DBMSs. One of the greatest …
by the addition of rule-based programming to obtain active DBMSs. One of the greatest …
Specifying active databases as non-Markovian theories of actions
I Kiringa - Journal of Intelligent Information Systems, 2009 - Springer
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 …
the addition of rule-based programming to obtain active DBMSs. One of the greatest …
[PDF][PDF] Towards a General Theory of Advanced Transaction Models in the Situation Calculus.
I Kiringa - KRDB, 2001 - cs.toronto.edu
We propose a theory for describing, reasoning about, and simulating transaction models that
relax some of the ACID properties of classical transactions. Such models have been …
relax some of the ACID properties of classical transactions. Such models have been …