A path removing technique for detecting trigger termination

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1377 LNCS, Issue , 1998, Pages 341-355

  Lee, Sin Yeung ^a   Ling, Tok Wang ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EDGE-ELIMINATION; ELIMINATION METHOD; NEW APPROACHES; NODE-SPLITTING; TRIGGER CONDITIONS; TRIGGER SYSTEMS;

DATABASE SYSTEMS;

EID: 84890519329     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0100995     Document Type: Conference Paper

References (11)

1. A. Aiken, J.Widom and J.M.Hellerstein, "Behavior of database production rules: Termination, confluence, and observable determinism", Proc A CM SIGMOD International Conf on the Management of Data, 59-68, 1992.
2. E.Baralis, S.Ceri and J.Widom, "Better Termination Analysis for Active Databases", Proc of the Ist Int. Workshop on Rules in Database Syst., 163-179, 1993.
3. E.Baralis, S.Ceri and S.Paraboschi, "Improved Rule Analysis by Means of Triggering and Activation Graphs", RIDS'95, 165-181.
4. E.Baralis, S.Ceri and S.Paraboschi, "Run-Time Detection of Non-Terminating Active Rule Systems", DOOD, 38-54, 1995.
5. U.Dayal, "Active Database Systems", Proc 3rd International Conf on Data and Knowledge Bases, Jerusalem Israel, Jun 1988.
6. O.Diaz, N.Paton and P.Gray, "Rule management in object-oriented databases: A uniform approach", Proc 17th International Conf on VLDB, Barcelona, Spain, Sept 1991.
7. A.P. Karadimce and S.D. Urban, "Conditional term rewriting as a formal basis for analysis of active database rules", 4th International Workshop on Research Issues in Data Engineering (RIDE-ADS'94), Feb 1994.
8. A.P.Karadimce, S.D.Urban, "Refined Trigger Graphs: A Logic-Based Approach to Termination Analysis in an Active Object-Oriented Database", ICDE '96, 384-391.
9. S.Y.Lee, T.W.Ling, "Refined Termination Decision in Active Databases", DEXA '97, 182-191, Sept 1997.
10. K.A.Ross, "Structural Totality and Constraints Stratification", PODS, 184-t 85, 1995.
11. C.Zaniolo, "Active Database Rules with Transaction-Conscious Stable-Model Semantics", DOOD'95, 55-72, Dec 1995.