Keyphrases
- inductive reasoning
- rewrite rules
- queries using views
- query rewriting
- conjunctive queries
- rewriting rules
- rewriting systems
- data analysis
- cognitive functions
- neural network
- genetic algorithm
- datalog programs
- presburger arithmetic
- real time
- termination analysis
- regular path queries
- np complete
- search algorithm
- bayesian networks
- data sets