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)
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