Validating Active Rules by Planning.
Piero FraternaliErnest TenienteToni UrpíPublished in: Rules in Database Systems (1997)
Keyphrases
- active rules
- active databases
- termination analysis
- integrity constraints
- deductive databases
- active database systems
- object oriented databases
- abstract interpretation
- control flow
- business rules
- planning problems
- database
- heuristic search
- case study
- information systems
- spatial databases
- logic programming
- decision support
- database systems