Found 59 results for "Constraint databases"
by Gabriel Kuper, Leonid Libkin
The field of constraint databases (CDB) was initiated in 1990 in a paper by Kanellakis, Kuper, and Revesz [KKR90, KKR95]...
by Peter Revesz
All good products provide some abstraction for the users.
by International Symposium on Constraint Databases (1st 2004 Paris, France)
by ESPRIT WG CONTESSA Workshop (1995 Friedrichshafen, Germany)
by International Workshop on Constraint Database and Systems (2nd 1997 Delphi, Greece), V. Vianu
Recently we have seen a surge of interest [3, 2, 4, 11, 5, 13, 15, 16, 9] in developing formal methods for reasoning abo...
by Panagiotis Papakammenos
by CDB 2004 (2004 Paris, France)
Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have receiv...
by ESPRIT WG CONTESSA Workshop (1995 Friedrichshafen, Germany)
In the last ten years, constraint logic programming has been increasingly studied as a tool to develop decision support ...
by Roman Gross-Brunschwiler
by Gabriel Kuper, M. Wallace
In the last ten years, constraint logic programming has been increasingly studied as a tool to develop decision support ...
In the last ten years, constraint logic programming has been increasingly studied as a tool to develop decision support ...
by Raghu Ramakrishnan, Peter J. Stuckey
Constraints provide a flexible and uniform way to conceptually represent diverse data capturing spatio-temporal behavior...