Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
Luis BarguñóGuillem GodoyEduard HuntingfordAshish TiwariPublished in: Log. Methods Comput. Sci. (2010)
Keyphrases
- termination analysis
- active rules
- rewrite rules
- active databases
- rewriting rules
- legal knowledge
- neural network
- association rule mining
- theoretical framework
- rule sets
- integrity constraints
- reasoning mechanisms
- cognitive psychology
- business rules
- database
- decision rules
- attribute values
- association rules
- database systems
- decision trees
- data sets