Iluju Kiringa Papers on DiSC'04 A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions Publications Note: Links lead to the DBLP on the Web. Iluju Kiringa Vasiliki Kantere , John Mylopoulos , Iluju Kiringa: A Distributed Rule Mechanism for Multidatabase Systems. CoopIS/DOA/ODBASE 2003 : 56-73 Vasiliki Kantere , Iluju Kiringa, John Mylopoulos , Anastasios Kementsietsidis , Marcelo Arenas : Coordinating Peer Databases Using ECA Rules. DBISP2P 2003 : 108-122 Iluju Kiringa, Raymond Reiter : A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions. DBPL 2003 : 110-129 Iluju Kiringa, Alfredo Gabaldon : Expressing Transactions with Savepoints as Non-Markovian Theories of Actions. KRDB 2003 Marcelo Arenas , Vasiliki Kantere , Anastasios Kementsietsidis , Iluju Kiringa, Renée J. Miller , John Mylopoulos : The hyperion project: from data integration to data coordination. SIGMOD Record 32 (3): 53-58 (2003) Iluju Kiringa: Specifying Event Logics for Active Databases. Description Logics 2002 Iluju Kiringa: Specifying Event Logics for Active Databases. KRDB 2002 Iluju Kiringa: Simulation of Advanced Transaction Models Using GOLOG. DBPL 2001 : 318-341 Iluju Kiringa: Towards a General Theory of Advanced Transaction Models in the Situation Calculus. KRDB 2001 1 [ 5 ] [ 8 ] 2 [ 6 ] 3 [ 5 ] [ 8 ] [ 9 ] 4 [ 5 ] [ 8 ] 5 [ 5 ] 6 [ 5 ] [ 8 ] [ 9 ] 7 [ 7 ] ©2005 Association for Computing Machinery