演绎数据库中完整性约束视图表示和生成算法  

View Denotation and Generative Algorithm of Integrity Constraints in Deductive Databases

作　　者：毛翼飞[1] 陶世群[1] 

机构地区：[1]山西大学计算机系,太原030006

出　　处：《计算机工程与应用》2003年第20期189-191,共3页Computer Engineering and Applications

基　　金：山西省自然科学基金资助

摘　　要：在演绎数据库系统中,一般将完整性约束条件和IDB规则分别表示和存储。文章基于笔者自行设计的SD-DDBS系统的IDB规则视图表示方法,给出了一个生成算法,将完整性约束条件表示成视图形式,克服了传统方法中存储开销大,演绎查询实现复杂的缺点,有效地提高了演绎查询的执行效率。In previous deductive database systems ,generally,integrity constraints and IDB rules are denoted and memo-rized respectively.The paper,based on view-presentation method of IDB rules of this SD-DDBS system,puts forwards a generative algorithm to represent integrity constraints by view,which eliminates the shortcomings of large storage and complication in the process of deductive query in traditional methods.As a result,this method improves the efficiency of deductive query.

关 键 词：演绎数据库 数据库 完整性约束条件 视图表示 视图生成算法 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]