Title :
Petri based analysis method for active database rules
Author :
Yin Guisheng; Liu Qun; Zhang Jianpei; Liu Jie; Liu Daxin
Author_Institution :
Dept. of Comput., Harbin Eng. Univ., China
Abstract :
A method based on Petri net is presented for analyzing active database rules. Cyclic rule set, inconsistent rule set and contradictory rule set can be detected automatically by using Petri nets. These rule sets can be corrected or rearranged properly by the user in order to guarantee the system´s termination, consistency and correctness.
Keywords :
"Spatial databases","Data analysis","Airplanes","Event detection","Detectors","Database systems","Algebra","Control systems"
Conference_Titel :
Systems, Man, and Cybernetics, 1996., IEEE International Conference on
Print_ISBN :
0-7803-3280-6
DOI :
10.1109/ICSMC.1996.571148
