Reasoning About Linear Constraints Using Parametric Queries.

Tien Huynh Leo Joskowicz Catherine Lassez Jean-Louis Lassez

Published in: FSTTCS (1990)

Keyphrases

linear constraints
constraint databases
query processing
constraint solver
equality constraints
nonlinear programming
linearly constrained
query language
query evaluation
range queries
optimal solution
fixed point
quadratic program