数据库更新研究现状综述.pdfVIP

维普资讯 摩鄹 型 ㈣。。秘lf 数据库更新研究现状综述 A Survey。fDatabaseUpdates ]～10 杨 戈李 磊 f) 1I (中山大学最 究 5102 ) Abstract Thisarticleexplainsdatabaseupdatesinv_Pw ofEDB and1DB forthefirsttimeThecoreis— sues databaseupdates—— update rulesand updateIa“gu ges— — aregenerallyintroduced Also the deficiencyandthefutureresearch ofupdatesrEpointedout． Keywords Databaseupdate·Updaterule．Updatelanguage，Logicprogramming 对 数据库更新的研究有两种方法n]：基 于推导 的 一 、 引言 (inference—based)和基于说 明的 (declaration—based)。 一 十数据库通常包括两个部 分 ：数据 资源 和推导 前者把 数据库看作是逻 辑理论 ，而更新则被看作是判 规则。数据 资源是指存储在数据库 中的事实。例如在一 断～语句在新数据库 中是 否为真 的断言 (assertion)。 千家庭关 系教据库中，Jonsson是 Pater的父 亲 father 更新 旨在 使某一语句在新的数据 库中为真 。该方法重 (JoassontPeter)tMary 是 Peter 的 母 亲 mother 点研究如何获得一个满足某些规则的新教据库 。研究 (Mary。Peter)是数据 资源 在计算机理论科学 中又把 的主要对象为更新规则 。在这方面，文Is]和[2]等作了 数据库的这一部分称为外延数据库 (EDB)。推导规则 一 些研究工作 。文[1]明确给出了理论更新 的语义：理 则是用户为数据 演算定义的一种 规则。或者也可以理 论 T定义为 一致的语句集 ，特殊地 ，理论 T为 一阶 解 为数据之问的～种关系 例如祖父规则 grandfather well—formed所 公式 集 ，理论 T 的逻 辑 结论集记 为 (x，Y)一father(x。z)。／ather(Z，Y)，它规定若 x为 Z T’。令 。为一语句，S为一理论 。若 ∈S。则称 S完成 的父亲 。而 z又是 Y 的父亲 ，则 X为 Y 的祖父 。数据