Declarative Semantics of Production Rules for Integrity Maintenance

@inproceedings{Caroprese2006DeclarativeSO,
  title={Declarative Semantics of Production Rules for Integrity Maintenance},
  author={Luciano Caroprese and Sergio Greco and Cristina Sirangelo and Ester Zumpano},
  booktitle={ICLP},
  year={2006}
}
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…