---
title: "Compiling Integrity Checking into Update Procedures"
authors:
  - "Mark Wallace"
doi: ""
url: "https://ijcai.org/proceedings/1991/133"
pdf: "https://ijcai.org/proceedings/1991/0133.pdf"
venue: "Proceedings of the Twelfth International Joint Conference on Artificial Intelligence"
year: 1991
pages: "903-909"
track: "Logic Programming"
keywords:
---

# Compiling Integrity Checking into Update Procedures

Mark Wallace

*Proceedings of the Twelfth International Joint Conference on Artificial Intelligence*, pages 903-909.

## Abstract

Integrity checking has been investigated extensively in the field of deductive databases. Methods have been developed to optimise the checking of an update by specialising the constraints for the information that could have been affected by it. The optimisation has been applied to sets of updates resulting from the execution of unspecified update procedures. This paper investigates the compilation of integrity checking into the procedures themselves. The paper introduces a (procedural) update language, and describes how constraints are compiled into procedures expressed in this language. The compilation yields conditions on the original database state that guarantee safety of the update. The paper also shows why compilation into procedures offers important possibilities for optimisation not available in the earlier framework.