作者在早期的分布式应用程序体系结构语言研究工作中[1-3],对数据的完整性约束仅限于关系约束和域约束上的一些特殊情形,并为此建立的专家领域模型只是对域值的主关键字是否为空值进行检查,并给出域的缺省值定义[4,5].文章基于关系数据模型理论对数据完整性进行了深入的研究,并对分布式应用程序体系结构语言(distrbute applying program archtectonic language,简称dapal)做了扩展、设计,对数据完整性进行形式化描述,使之能根据实际应用领域对关系模式的数据完整性约束进行描述.