Finer Is Better: Abstraction Refinement for Rewriting Approximations.
Yohan BoichutRoméo CourbisPierre-Cyrille HéamOlga KouchnarenkoPublished in: RTA (2008)
Keyphrases
- high level
- coarse to fine
- rewrite rules
- databases
- rewriting systems
- step wise
- closed form
- query rewriting
- decision theoretic planning
- rewriting rules
- refinement process
- computationally tractable
- presburger arithmetic
- queries using views
- refinement step
- refinement operators
- data abstraction
- database
- bayesian networks
- case study
- decision trees
- genetic algorithm
- data sets