Petri based analysis method for active database rules

Authors :: Liu Jie
Yin Guisheng
Zhang Jianpei
Liu Qun
Liu Daxin
Source :: 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929).
Publication Year :: 2002
Publisher :: IEEE, 2002.
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.

Subjects :: Correctness
Theoretical computer science
Computer science
Database schema
ComputerApplications_COMPUTERSINOTHERSYSTEMS
Active database
Petri net
computer.software_genre
Database design
Set (abstract data type)
Consistency (database systems)
Database theory
Data mining
computer

Database :: OpenAIRE
Journal :: 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929)
Accession number :: edsair.doi...........161da3d27383a130d306385518c0958d

Tools