Abstract:A common interpretation of soft constraints penalizes the database for every violation of every constraint, where the penalty is the cost (weight) of the constraint. A computational challenge is that of finding an optimal subset: a collection of database tuples that minimizes the total penalty when each tuple has a cost of being excluded. When the constraints are strict (i.e., have an infinite cost), this subset is a “cardinality repair” of an inconsistent database; in soft interpretations, this subset corresponds to a “most probable world” of a probabilistic database, a “most likely intention” of a probabilistic unclean database, and so on. Within the class of functional dependencies, the complexity of finding a cardinality repair is thoroughly understood. Yet, very little is known about the complexity of finding an optimal subset for the more general soft semantics. The work described in this manuscript makes significant progress in that direction. In addition to general insights about the hardness and approximability of the problem, we present algorithms for two special cases (and some generalizations thereof): a single functional dependency, and a bipartite matching. The latter is the problem of finding an optimal “almost matching” of a bipartite graph where a penalty is paid for every lost edge and every violation of monogamy. For these special cases, we also investigate the complexity of additional computational tasks that arise when the soft constraints are used as a means to represent a probabilistic database via a factor graph, as in the case of a probabilistic unclean database.

On Enforcing Dyadic-type Homogeneous Binary Function Product Constraints in MatBase

On Enforcing Existence and Non-Existence Constraints in MatBase

On Enforcing Satisfiable, Coherent, and Minimal Sets of Dyadic Relation Constraints in MatBase

On enforcing function diagram commutativity and anti-commutativity constraints in MatBase

The (Elementary) Mathematical Data Model Revisited

Data Generation Using Declarative Constraints

Frameworks for generalization constraints and operations based on object-oriented data structure in database generalization

Binary Optimization via Mathematical Programming with Equilibrium Constraints

Hardware-Efficient Data Imputation through DBMS Extensibility

Optimization of bound disjunctive queries with constraints

A multi-level approach to ubiquitous modeling and solving constraints in combinatorial optimization problems in production and distribution

Characterization of generic parameter families of constraint mappings in optimization

Knowledge engineering mixed-integer linear programming: constraint typology

Proving correctness for SQL implementations of OCL constraints

Database Repairing with Soft Functional Dependencies

Constraints, Inference Channels and Secure Databases.

Unbounded matroids

On binary constraint problems

M-best solutions for a class of fuzzy constraint satisfaction problems

Multi-Stage Generalized Deferred Acceptance Mechanism: Strategyproof Mechanism for Handling General Hereditary Constraints

Generic Analysis of Model Product Lines via Constraint Lifting