Termination and Confluence of Rule Execution.
Leonie van der VoortArno SiebesPublished in: CIKM (1993)
Keyphrases
- association rules
- rewrite systems
- active rules
- active databases
- termination analysis
- term rewriting
- knowledge discovery
- execution model
- rule generation
- object oriented databases
- concurrent execution
- data flow
- deductive databases
- artificial intelligence
- database technology
- integrity constraints
- business process
- response time
- database systems
- web services
- website
- e learning