期刊文献+

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

View Denotation and Generative Algorithm of Integrity Constraints in Deductive Databases
下载PDF
导出
摘要 在演绎数据库系统中,一般将完整性约束条件和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.
出处 《计算机工程与应用》 CSCD 北大核心 2003年第20期189-191,共3页 Computer Engineering and Applications
基金 山西省自然科学基金资助
关键词 演绎数据库 数据库 完整性约束条件 视图表示 视图生成算法 Deductive Database,Integrity Constraints,View
  • 相关文献

参考文献10

  • 1陶世群.演绎数据库中的语义查询优化方法[J].小型微型计算机系统,1996,17(5):47-52. 被引量:8
  • 2陈晓东,陶世群.利用视图技术实现非递归规则的表示与推理[J].计算机工程,2002,28(3):96-98. 被引量:4
  • 3陶世群,陈晓东.演绎数据库系统SD-DDBS的设计与实现[J].计算机工程与应用,2002,38(18):207-209. 被引量:6
  • 4Ullman J D.Principles of databases and knowledge-base system[M]. New York :Computer Science Press, 1989.
  • 5J Minker,A Gal.Producing cooperative answers in deductive databases[C].In:P SaintDizier,S Szpaowics eds.Logic and Logic Grammar for Language Proceeding,L S Horward,Ltd,1990.
  • 6Laks V,Laksbmanan S.On semantic query optimization in deductive databases[C].In:Proc of 8th Int Conf on Data Engineering,Tempe Arizona, 1992 : 216-229.
  • 7Asirelli P,M Dc Santis,M Martelli.Integrity Constraints in Logic Databases[J]Journal of Logic Programming, 1985 ; 3:221-232.
  • 8Lloyd J W,R W Topor.A Basis for Deductive Database Systems[J]. Journal of Logic Programming.
  • 9Kowalski R A.Using Meta-logic to Reconcile Reactive with Rational Agents[C].In:K B Apt,F Turini eds.Meta-logics and Logic Programming,MIT Press, 1995.
  • 10Sadri F,R Kowalski.A Theorem-Proving Approach to Database integrity[C].In :J Minker ed.Foundation of Deductive Databases and Logic Programming, Morgan-Kaulmann, 1987 : 313 -362.

二级参考文献5

共引文献13

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部