|
Constraints as Data
Potential Apps
Query by Example
Query by Example
Query by Example
More Examples
Model and Language
Main Features
Hosting Iterative Lang.
Constraint Calculus
Constraint Calculus
Polynomial Complexity
Query Evaluation
Functionality
Optimization
Optimization
Optimization
Optimization
Implemented Apps
Implemented Apps
| |
Main Features
- Hosting object model and
iterative query language (monoid comprehensions).
- Constraint calculus and
multi-typed constraint algebra.
- Interleaved optimization and
pipelining.
- Optimization by
approximation-based filtering and indexing.
|