Key points are not available for this paper at this time.
The topic of this session is the consistency of models. (I believe that consistency and integrity are substantially the same.) A model basically contains: - states consisting of entities and various relationships between them, - operations (functions) for examining states, and - operations (procedures) for changing states. The topic will be discussed in terms of the following, rather controversial issues: 1. Kinds of Consistency 2. Specifying Consistency 3. Detecting Inconsistency 4. Living with Inconsistency 5. Concurrency and Consistency 6. Recovery from Failure 7. Exploiting Constraint Knowledge For each issue I will present my own view, and I encourage alternative views to be expressed.
A Mon, study studied this question.