演绎数据库.ppt
《演绎数据库.ppt》由会员分享,可在线阅读,更多相关《演绎数据库.ppt(29页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、演绎数据库演绎数据库报告人:马莎北京市高可靠嵌入式系统工程中心北京市高可靠嵌入式系统工程中心Beijing Engineering Research Center Of High Reliable Embedded SystemBeijing Engineering Research Center Of High Reliable Embedded System目录演绎数据库基本概念谓词逻辑datalog演绎数据库出现的必要性演绎数据库的实现方法演绎数据库实例与其他数据库的关系演绎数据库的应用演绎数据库演绎数据库基本概念演绎数据库(Deductive DataBase,简称DDB):是数据库技
2、术与逻辑理论相结合的产物,它是一种支持演绎推理功能的数据库。支持支持DatalogDatalog规则规则的的DBMSDBMS常被称为演绎数据库常被称为演绎数据库也就是说演绎数据库用关系模型(表达事实)和datalog模型(表达规则)来表达世界演绎功能+关系数据库=演绎数据库 演绎推理:假言推理(形式逻辑)P,PQ Q P、Q为事实 PQ 为规则演绎数据库通常包括外延数据库(EDB)和内涵数据库(IDB)。EDB是实关系,IDB是虚关系。从其功能不难发现,演绎数据库不仅包含实数据,还包括由逻辑关系组成的规则集及由规则形成的新数据虚数据。演绎演绎数据库数据库由三部分组成:由三部分组成:(1)传统数
3、据库管理,由于演绎数据库建立在传统数据库之上,因此传统数据库是演绎数据库的基础。(2)具有对一阶谓词逻辑进行推理的演绎结构,这是演绎数据库全部功能特色所在,推理功能由此结构完成。(3)数据库与推理机构的接口,由于演绎结构是逻辑的,而数据库是非逻辑的,因此必须有一个接口实现物理上的连接。谓词逻辑谓词逻辑的合法表达式称为合式公式,它由原子公式、连接词和量词组成。原子公式:由谓词、括号和括号中的项组成办公地点关系办公地点关系刘凌401陈东华402张明亮318办公地点(刘凌、401)办公地点(陈东华、402)办公地点(张明亮、318)连接词:用来组合原子公式以形成较复杂的合式公式 合取:P Q,当P、
4、Q皆为真时,才为真,否则为假;类似“AND”析取:P Q,当P、Q中皆为假时,则为假,否则为真;类似“OR”蕴涵:P=Q,只有P为真,Q为假时,蕴涵式为假,否则为真;类似“if P then Q”否定。例子:“张某送给屋里的每个人一件礼物”(y)IN(y,ROOM)HUMAN(y)=(x)GIVE(ZHANG,x,y)PRESENT(x)演绎数据库实例表表1 1 父子关系数据库父子关系数据库F F(f f,s s)两种逻辑规则-祖孙规则:F(X,Z)F(Z,Y)G(X,Y)-祖先规则:(1)F(X,Y)A(X,Y)(2)A(X,Z)F(Z,Y)A(X,Y)建立如下两种逻辑规则:1祖孙规则 F(
5、X,Z)F(Z,Y)G(X,Y)该规则表示X是Z的父亲,Z是Y的父亲,则X是Y的祖父。用父子关系数据库F通过以上规则就得祖孙关系G。表1的数据库得出的祖孙关系为:李学李山,李平李同,刘定刘思2祖先规则(1)F(X,Y)A(X,Y)(2)A(X,Z)F(Z,Y)A(X,Y)其中:(1)表示X是Y的父亲,则X是Y的祖先,(2)表示X是Z的祖先,Z是Y的父亲,则X是Y的祖先。父子关系F通过以上规则得到祖先关系A。Datalog本质上,Datalog是FOL中Horn子句表示法的子集,是通过对FOL的Horn子句进一步限定而发展起来的,并主要用于演绎数据库的一种简单知识表达语言。Datalog规则:-
6、符号“:-”表示逻辑蕴含,其右边部分称为规则规则体体(body)(body)、左边部分称为规则头规则头(head)(head)。What does:-mean?Assume we have a rule:Q:-PThen :-means,if P is true then Q is true实例:表示事实:human(kate).human(bill).likes(kate,bill).表示kate和bill是人(human),kate喜欢bill;表示规则:friend(X,Y):-likes(X,Y),likes(Y,X).表示对于两个对象XY,如果X喜欢Y,且Y喜欢X,那么他们是朋友。演
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 演绎 数据库
限制150内