Sergey Dudakov

Learn More
To find a minimal real change after an update of a database with integrity constraints (IC) expressed by an extended logic program is proven to be a Σ p 2-complete problem. We define a class of operators expanding the input updates correctly with respect to the IC. The particular monotone expansion operator we describe is incrementally computed in square(More)
Databases with integrity constraints (IC) are considered. For each DB update, i.e. a set of facts to add and of facts to delete, the IC implies its correct expansion: new facts to add and new facts to delete. Simultaneously, e a c h expanded update induces a correct simplii-cation of the IC. In the limit this sequence of expansions and simpliica-tions(More)
The computational complexity is explored of finding the minimal real change of a database after an update constrained by a logic program. Quite surprisingly, a polynomial time algorithm is discovered which solves this problem for ground IC in partial interpretations. Formulated in a " property " form, even under the premise of fixed database scheme, this(More)
  • 1