Consistency of models
ACM SIGMOD Record · 1980
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.