Query by Example
[ Back ] [ Home ] [ Next ]

 

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

Query by Example

Consider a simple office design application, with the schema depicted in the figure below. In addition to the regular object-oriented features, such as ISA and composition hierarchies, the schema uses what we call constraint spatio-temporal (CST) classes, such as CST(w,z), which means, intuitively, a constraint in free variables w and z.

architect.gif (3786 bytes)

 

presentation created by Victor E. Segal