27、信息质量的建模、度量与监控

信息质量的建模、度量与监控

在数据库管理中，数据质量的维护至关重要。下面将详细介绍数据质量的相关概念，包括完整性约束、完整性检查、质量建模、度量以及监控等方面。

1. 完整性约束与完整性检查

• 完整性约束 ：完整性约束是对存储数据质量的必要条件描述。一个约束通常由主体部分（body）组成，主体部分说明了不能成立的情况，并且每个变量隐式地在“←B”前面进行全称量化。如果约束主体中没有否定原子，则该约束是确定的。完整性理论是一组有限的约束集合。数据库管理系统（DBMS）需要确保数据库始终满足其完整性理论，即所有约束都是数据库每个状态的逻辑真结果。
• 完整性检查 ：如果通过约束来描述数据质量，那么可以通过对每个可能违反质量的更新进行完整性检查来监控存储数据的质量。完整性检查方法 M 是一个映射，它以数据库 D、完整性理论 IC 和更新 U 作为输入，输出“sat”（满足）或“vio”（违反）。
  • 健全性（Soundness） ：如果 M 是健全的，当 M(D, IC, U) = sat 时，意味着更新 U 不会违反完整性，即 DU(IC) = true。
  • 完备性（Completeness） ：如果 M 也是完备的，当 M(D, IC, U) = vio 时，意味着更新 U 会违反完整性，即 DU(IC) = false。
  • 简化方法 ：为了降低完整性检查的成本，可以使用简化方法。简化的核心思想是，对于一