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

摘要：

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

关键词：分布式系统、数据完整性、约束条件、关系模型

所属期刊栏目：22

分类号：TP311.52(计算技术、计算机技术)

资助基金：云南省自然科学基金2000F0049M;云南省重点项目2001F0006Z

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：12-16