Determining the Relationship Among Sets
Date: July 19th (Friday)
Time: 11:30-12:00
Abstract
Checking the entailment/disentailment of sets is an important
operation in constraint programming. We will generalize this problem to the
problem of answering queries about sets using a certain query language.
Furthermore we will present an efficient algorithm solving this problem for
arbitrary non-linear polynomials.
