Static Analysis for the No Termination Problem in Active Databases by Using Petri Nets Modelling.
Joselito Medina MarínMaria Guadalupe Serna-DiazJuan Carlos Seck Tuoh MoraNorberto Hernandez-RomeroIrving Barragán-ViteCinthia Montano-LaraPublished in: AISS (2021)
Keyphrases
- petri net
- static analysis
- active databases
- active rules
- termination analysis
- dynamic analysis
- source code
- integrity constraints
- fuzzy petri net
- colored petri nets
- database technology
- description language
- regular expressions
- test suite
- deductive databases
- business rules
- temporal databases
- database
- process model
- web services
- knowledge base