第1章 引言 1. 数据是描述现实世界事物的符号记录，是用物理符号记录下来的可以识别的信息。 数据是信息的符号表示，是载体；信息是数据的语义解释，是内涵。 2. 数据模型是对现实世界数据特征的抽象，是数据库系统的形式框架，用来描述数据的一组概念和定义，包括描述数据、数据联系、数据操作、数据语义以及数据一致性的概念工具。 满足三条件：比较真实地模拟现实世界；易于人们理解；易于计算机实现 三个组成要素：数据结构（静态，数据对象本身结构及之间的联系）、数据操作（对数据对象操作及操作规则的集合）和完整

运行时监视可用于在运行时验证，强制和控制目标程序的动态执行，以检测属性冲突，强制执行所需属性并主动更正执行。 但是，最新的研究缺乏运行时监视的适当形式化程序语义。 在本文中，我们提出了一种在适当形式化级别上的运行时控制的理论，以在控制程序的控制下提供已检测目标程序的形式化程序语义。 我们的理论为运行时监视和控制的实际实现提供了完整的形式语义，但是仍然在实现和通用性之间保持了良好的平衡。 实际上，该理论涵盖了关键实施技术的形式化，例如程序工具，被动监视动作的同步以及根据规范控制程序的综合。 另一方