Abstract
We use a Fuzzy Petri Net (FPN) structure to represent knowledge and model the behavior in our intelligent object-oriented database environment, which integrates fuzzy, active and deductive rules with database objects. However, the behavior of a system can be unpredictable due to the rules triggering or untriggering each other (non-termination). Intermediate and final database states may also differ according to the order of rule executions (non-confluence). In order to foresee and solve problematic behavior patterns, we employ a static analysis on the FPN structure that provides easy checking of the termination property without requiring any extra construct. In addition, with our proposed fuzzy inference algorithm, we guarantee confluent rule executions. The techniques and solutions provided in this study can be utilized in various complex systems, such as weather forecasting applications and environmental information systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Aiken, A., Hellerstein, J., Widow, J.: Static analysis techniques for predicting the behavior of active database rules. ACM TODS 20(1), 3–41 (1995)
Baralis, E., Ceri, S., Paraboschi, S.: Improved rule analysis by means of triggering and activation graphs. In: Sellis, T.K. (ed.) RIDS 1995. LNCS, vol. 985, pp. 165–181. Springer, Heidelberg (1995)
Baralis, E., Widow, J.: An algebraic approach to rule analysis in expert database systems. In: Proc. of VLDB 1994, pp. 475–486 (1994)
Chun, M., Bien, Z.: Fuzzy petri net representation and reasoning methods for rulebased decision making systems. IECE Trans. Fundamentals E76(A/6) (1993)
Ceri, S., Widow, J.: Deriving production rules for constraint maintenance. In: Proc. of VLDB 1990, pp. 566–577 (1990)
Dinn, A., Paton, N., Williams, H.: Active rule analysis in the rock and roll deductive object-oriented database. Information Systems 24(4), 327–353 (1999)
Karadimce, A., Urban, S.: Refined triggering graphs: A logic-based approach to termination analysis in an object-oriented database. In: ICDE, pp. 384–391 (1996)
Murata, T.: Petri nets: Properties, analysis and applications. Proc. IEEE 77(4), 540–541 (1989)
Vaduva, A., Gatziu, S., Dittrich, K.: Investigating termination in active database systems with expressive rule languages. Technical Report, Institut für Informatik (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bostan-Korpeoglu, B., Yazici, A. (2004). Using Fuzzy Petri Nets for Static Analysis of Rule-Bases. In: Aykanat, C., Dayar, T., Körpeoğlu, İ. (eds) Computer and Information Sciences - ISCIS 2004. ISCIS 2004. Lecture Notes in Computer Science, vol 3280. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30182-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-30182-0_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23526-2
Online ISBN: 978-3-540-30182-0
eBook Packages: Springer Book Archive