3. RIDS 1997: Skövde, Sweden

Andreas Geppert, Mikael Berndtsson (Eds.): Rules in Database Systems, Third International Workshop, RIDS '97, Skövde, Sweden, June 26-28, 1997, Proceedings. Lecture Notes in Computer Science 1312 Springer 1997, ISBN 3-540-63516-5 BibTeX

@proceedings{DBLP:conf/rules/1997,
  editor    = {Andreas Geppert and
               Mikael Berndtsson},
  title     = {Rules in Database Systems, Third International Workshop, RIDS
               '97, Sk{\"o}vde, Sweden, June 26-28, 1997, Proceedings},
  booktitle = {Rules in Database Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1312},
  year      = {1997},
  isbn      = {3-540-63516-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Pedro R. Falcone Sampaio, Norman W. Paton: Deductive Object-Oriented Database Systems: A Survey. 1-19 BibTeX
Wolfgang May, Christian Schlepphorst, Georg Lausen: Integrating Dynamic Aspects into Deductive Object-Oriented Databases. 20-34 BibTeX
Enric Mayol, Joan Antoni Pastor, Ernest Teniente, Toni Urpí: FOLRE: A Deductive Database System for the Integrated Treatment of Updates. 35-50 BibTeX
Eric N. Hanson, Samir Khosla: An Introduction to the TriggerMan Asynchronous Trigger Processor. 51-66 BibTeX
Andreas Geppert, Dimitris Tombros: Logging and Post-Mortem Analysis of Workflow Executions Based on Event Histories. 67-82 BibTeX
Markus Schlesinger, Georg Lörincze: Rule Modelling and Simulation in ALFRED. 83-99 BibTeX
Sara Comai, Letizia Tanca: Using the Properties of Datalog to Prove Termination and Confluence in Active Databases. 100-117 BibTeX
Xianchang Wang, Jia-Huai You, Li-Yan Yuan: On Confluence Property of Active Databases with Meta-Rules. 118-132 BibTeX
Michael K. Tschudi, Susan Darling Urban, Suzanne W. Dietrich, Anton P. Karadimce: An Implenentation and Evaluation of the Refined Triggering Graph Method for Active Rule Termination Analysis. 133-148 BibTeX
Anca Vaduva, Stella Gatziu, Klaus R. Dittrich: Investigating Termination in Active Database Systems with Expressive Rule Languages. 149-164 BibTeX
Hon Wai Rene Chan, Suzanne W. Dietrich, Susan Darling Urban: On Control Flow Testing of Active Rules in a Declarative Object-Oriented Framework. 165-180 BibTeX
Piero Fraternali, Ernest Teniente, Toni Urpí: Validating Active Rules by Planning. 181-196 BibTeX
Mokrane Bouzeghoub, Françoise Fabret, François Llirbat, Maja Matulovic, Eric Simon: Active-Design: A Generic Toolkit for Deriving Specific Rule Execution Models. 197-211 BibTeX