Declarative Semantics of Production Rules for Integrity Maintenance

  title={Declarative Semantics of Production Rules for Integrity Maintenance},
  author={Luciano Caroprese and Sergio Greco and Cristina Sirangelo and Ester Zumpano},
The paper presents a declarative semantics for the maintenance of integrity constraints expressed by means of production rules. A production rule is a special form of active rule, called active integrity constraint, whose body contains an integrity constraint (conjunction of literals which must be false) and whose head contains a disjunction of update atoms, i.e. actions to be performed if the corresponding constraints are not satisfied (i.e. are true). The paper introduces i) a formal… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS

Similar Papers

Loading similar papers…