@inproceedings{c287371cd14245e7bf9bf39ad05dfde9,
title = "Constraint-based termination analysis for cyclic active database rules",
abstract = "There are many situations where cyclic rule activations| where some set of active database rules may be activated repeatedly until the database satisfies some condition|arise naturally. However, most existing approaches to termination analysis of active rules, which typically rely on checking that the triggering graph for the rules is acyclic, cannot infer termination for such rules. We present a constraint-based approach to termination analysis that is able to handle such cyclic rule activations for a wide class of rules.",
author = "Saumya Debray and Timothy Hickey",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.; 1st International Conference on Computational Logic, CL 2000 ; Conference date: 24-07-2000 Through 28-07-2000",
year = "2000",
doi = "10.1007/3-540-44957-4\_75",
language = "English (US)",
series = "Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)",
publisher = "Springer-Verlag",
pages = "1121--1136",
editor = "John Lloyd and Veronica Dahl and Ulrich Furbach and Manfred Kerber and Kung-Kiu Lau and Catuscia Palamidessi and Pereira, \{Lu{\'i}s Moniz\} and Yehoshua Sagiv and Stuckey, \{Peter J.\}",
booktitle = "Computational Logic - CL 2000 - 1st International Conference, Proceedings",
}