Using fuzzy petri nets for static analysis of rule-bases

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

Volumn 3280, Issue , 2004, Pages 72-81

  Bostan Korpeoglu, Burcin ^a   Yazici, Adnan ^a  

^a MIDDLE EAST TECHNICAL UNIVERSITY   (Turkey)

Author keywords

[No Author keywords available]

Indexed keywords

FUZZY INFERENCE; FUZZY SYSTEMS; INFERENCE ENGINES; OBJECT-ORIENTED DATABASES; PETRI NETS; WEATHER FORECASTING;

BEHAVIOR PATTERNS; DATABASE OBJECTS; ENVIRONMENTAL INFORMATION SYSTEMS; FUZZY INFERENCE ALGORITHMS; FUZZY PETRI NETS; INTELLIGENT OBJECT; NON TERMINATIONS; TERMINATION PROPERTY;

STATIC ANALYSIS;

EID: 35048828805     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30182-0_8     Document Type: Article

References (9)

1. Aiken, A., Hellerstein, J., Widow, J.: Static analysis techniques for predicting the behavior of active database rules. ACM TODS 20(1) (1995) 3-41
2. Baralis, E., Ceri, S., Paraboschi, S.: Improved rule analysis by means of triggering and activation graphs. In: Proc. of RIDS'95. LNCS, Vol. 985. Springer-Verlag (1995) 165-181
3. Baralis, E., Widow, J.: An algebraic approach to rule analysis in expert database systems. In: Proc. of VLDB'94. (1994) 475-486
4. Chun, M., Bien, Z.: Fuzzy petri net representation and reasoning methods for rule-based decision making systems. IECE Trans. Fundamentals E76 (A/6) (1993)
5. Ceri, S., Widow, J.: Deriving production rules for constraint maintenance. In: Proc. of VLDB'90. (1990) 566-577
6. Dinn, A., Paton, N., Williams, H.: Active rule analysis in the rock and roll deductive object-oriented database. Information Systems 24(4) (1999) 327-353
7. Karadimce, A., Urban, S.: Refined triggering graphs: A logic-based approach to termination analysis in an object-oriented database. In: ICDE. (1996) 384-391
8. Murata, T.: Petri nets: Properties, analysis and applications. In: Proc. IEEE 77(4). (1989) 541-540
9. Vaduva, A., Gatziu, S., Dittrich, K.: Investigating termination in active database systems with expressive rule languages. Technical Report, Institut für Informatik (1997)