分布式应用体系结构模式的数据完整性研究

Research on data integrity in distribute applying program architectonic model

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

In the early research of the author , the data integrity constrains is limited in some special cases of relation constrains and fields constrains , and the specialist field model based for which only checks if the value of key is null or not and defines the default value .This paper does a deeply research on data integrity based on relation model and extends the distribute applying program architectonic language (DAPAL for short), then gives a formulated description for the data integrity to make it be described according to the data integrity in relation model of the practical application.