-
...and practically ecient method for repairing inconsistent databases. the idea is to properly...its consistency in terms of signed formulae. then we show how the 'signed theory' that is obtained can be used by a variety of computational models...
-
...simple and practical method for repairing inconsistent databases. given a possibly inconsistent database, the idea is to properly...its consistency. we do so by what we call signed formulae, and show how the 'signed theory' that is obtained can be used by a variety of off-the...
-
...it is often required to repair the database, that is, to re- store its consistency. a primary motif behind the repairing approaches is the principle of...introduce a general framework for repairing inconsistent databases by distance-based considerations. the uniform way of representing repairs and their semantics clarifies the...
-
...logic where quantifications over atomic formulas are per- mitted. as such...be naturally formulated or reformulated by means of quantified boolean formulas. more precisely, we describe polynomial...
-
...modeled as collections of external
databases, that can be materialized or...
-
Published in 2008.