Keyphrases
- rewriting rules
- rewrite rules
- rewriting systems
- queries using views
- query rewriting
- conjunctive queries
- multi unit combinatorial auctions
- expert systems
- image segmentation
- genetic algorithm
- query answering
- computational complexity
- search algorithm
- datalog programs
- multiscale
- case study
- presburger arithmetic
- real time