[发明专利]数据库一致性错误的重要度判定方法

摘要

本发明公开了一种数据库一致性错误的重要度判定方法，用于解决现有方法实用性差的技术问题。技术方案是首先根据C‑Graph和D‑Graph的定义构建关系表的C‑Graph和D‑Graph超图，利用这两种超图描述数据库中关系表的属性之间的依赖关系以及属性值之间的依赖关系；再根据给出的函数依赖约束间关系的分类对表中的函数依赖约束关系进行归类；找出函数依赖违规并根据给出的函数依赖违规间关系的分类对函数依赖违规间的关系进行归类；利用公式计算函数依赖违规的效益值；根据计算得到的函数依赖违规效益值对函数依赖违规重要度进行排序。本发明降低了因修复一个函数依赖违规而引起另一些函数依赖违规带来的代价，实用性好。

主权项

一种数据库一致性错误的重要度判定方法，其特征在于包括以下步骤：步骤一、对数据库中的关系表构建C‑Graph和D‑Graph超图；C‑Graph给出数据库D上的函数依赖集合Σ，C‑Graph GΣ＝(V,E)：Σi：Xi→Yi，U＝X∪Y；对于Σ中的每一个Σi:Xi→Yi，有一个超边ei∈E，T(ei)＝Xi且H(ei)＝Yi；D‑Graph：根据C‑Graph GΣ和关系表R，GR＝(V,E)：t∈R，每一个节点Vi∈V被定义为Vi＝(Ai,Fi)，对于每一个属性Ai∈U的不同的值，都有一个在V中标为(Ai,Fi)的节点；给出C‑Graph边EΣ＝{TΣ(E),HΣ(E)},会产生许多条D‑Graph边，每一个D‑Graph边Ei∈E被定义为Ei＝{T(Ei),H(Ei),Ω(Ei)}，其中T(Ei).Ai＝TΣ(E)；H(Ei).Ai＝HΣ(E)，每一个包含所有和相关的元组的IDs,被定义为函数依赖X→Y意味着X的值相同则Y值也必须相同，根据X的值将关系表中的数据分为不同的等价类，每一个等价类中，所有成员有相同的X值，其Y值相同或者不同；在D‑Graph中有两种超边，一种是只有一个头结点及|H(E)|＝1，另一种则是有多个头结点及|H(E)|>1，分别为B‑arc边和边；在D‑Graph中，如果包含一个或者多个边，意味着至少一个函数依赖等价类的左属性映射到多个等价类的右属性；若图中只包含B‑arc边，意味着每一个等价类的左属性仅映射一个等价类的右属性，因此没有函数依赖违规；所以函数依赖违规检查转变为在D‑Graph中查找函数依赖违规修复问题转化为转换所有的边为B‑arc边，其目标是对所有违反函数依赖的元组集合排序即对函数依赖违规进行排序，因此问题转换为对D‑Graph中所有边进行排序；X、Y：为关系表中的属性，U＝X∪Y；Σ：函数依赖集合；V：为超图中节点的集合；E：为超图中超边的集合；H(e)：表示超边的头结点；T(e)：表示超边的尾节点；t：为表R中的元组；Ai：是属性名且Ai∈U；Fi：是t[Ai]的一个值；步骤二、对不同函数依赖之间的关系进行分类；假设Σ集合为最小覆盖，Σi:X→Y和Σj:X'→Y'，根据函数依赖最小覆盖的定义：若或者Σi和Σj之间关系分为四类：Σi和Σj中的属性表示如下:如果Σi和Σj共享约束左边的一些属性，表示如下：为如果约束的右边属性值相同，表示如下：为如果约束左边和右边都有共享属性，表示如下：为如果Σi和Σj中的属性满足以下：为为为如果Σi和Σj中的属性满足以下：为为为Σ：函数依赖集合名称；步骤三、找出关系表中的函数依赖违规并对不同函数依赖违规间的关系进行分类；假设当解决函数依赖违规问题时，仅修正函数依赖约束的右边属性的值；Σi和Σj之间的违规模式分为以下四类：在和中解决其中一个约束的违规将不会影响另一个约束的违规，定义为模式；在和中当修正约束的右边属性的值时，将影响所有共享属性所在函数依赖约束的右属性的值，定义为模式；在和中修改约束右属性的值将影响另一个约束中违规的左属性的值，定义为模式；在模式中分为以下几种情况：假设是边且边转变为B‑arc影响假设是边且边转变为B‑arc将自动使转变为B‑arc边；假设是边且边转变为B‑arc将自动使转变为B‑arc边；假设是B‑arc边且是边且转变边为B‑arc将产生新的边假设是边且无论转变边为B‑arc还是边转变为B‑arc都会将新的边在模式中分为以下几种情况：表示边从v开始，表示边从v'开始，U＝e.T(e)‑{v}，U'＝e'.T(e')‑{v'}；对于每一对e和e'，假设转变为会带来新的边；对于每一对e和e'，假设U＝U'∧H(e)＝H(e')转变为会移动中的元组从B‑arc边e'到另一条B‑arc边e；对于每一对e和e'，假设转变为会移动中的元组从边e'到另一条B‑arc边e；对于每一对e和e'，假设|H(e)|>1∧|H(e')|>1∧U＝U',若转变为会移动中的元组从边e'到一条新边e；若转变为会移动中的元组从边e'到边e；对于每一对e和e'，U≠U'，转变为不影响另一条新边的形成；步骤四、函数依赖违规重要度评估，忽视所有的代价模型，修正函数依赖违规可能给数据库带来一些消极和积极的影响；一个函数依赖违规修正可以给关系表R质量的提高带来一些效益，所以根据每一个违规带来的潜在效益来评估其重要性；用函数依赖违规修正操作前和操作后脏元组的改变数量来评估函数依赖违规的重要性；vio(Σ,R)Θvio(Σi,R,v)表示修正函数依赖违规vio(Σi,R,v)之后的函数依赖违规集合；|vio(Σ,R)|表示包括vio(Σ,R)的元组数量；因为vio(Σi,R,v)的消除可能削减脏元组的数量或者可能带来新的的脏元组，所以|vio(Σ,R)Θvio(Σi,R,v)|≥|vio(Σi,R,v)|或者|vio(Σ,R)Θvio(Σi,R,v)|≤|vio(Σi,R,v)|；|vio(Σi,R,v)|‑|vio(Σ,R)Θvio(Σi,R,v)|评估关系表R中违规数量的改变和修正后的实例R'，定义其改变量为Δ(vio(Σi,R,v))，违规的效益值计算公式如下：Benefit(vio(Σi,R,v))=||vio(Σ,R)|-|vio(Σ,R)Θvio(Σi,R,v)|||vio(Σ,R)|=|Δ(vio(Σi,R,v))||vio(Σ,R)|---(1)]]>违规不是孤立的，数据库中的一个函数依赖违规会影响另一个违规；当评估一个函数依赖违规修正所带来的效益时，不仅考虑函数依赖违规本身还要考虑函数依赖违规的演变因素；在公式(1)中评估一个函数依赖违规消除的潜在好处为函数依赖违规所在的关系表中元组消除或增加的比率；给出由约束集合Σ和关系表R创建的相关的D‑Graph，假设是相关的违规vio(Σi,R,v)；表示将转变为B‑arc后其他边的改变，下面讨论如何通过超图的属性计算公式(1)中的|Δ(vio(Σi,R,v))|；|Δ(vio(Σi,R,v))|=|EΣi.Ω(EΣi)|+EI(EΣi)---(2)]]>假设约束Σi和其他约束的模式是或者清除这些函数依赖违规不会影响其他约束中的违规；所以当计算函数依赖违规vio(Σi,R,v)的|Δ(vio(Σi,R,v))|时，仅仅计算和其相关联的元组的数量，即但是边和其他的超边同时是和模式时，是在这两个模式中超边影响的和，如公式(3)；表示在模式中对超边的影响，表示在模式中对超边的影响；EI(EΣi)=EIshare(EΣi)+EIDrive(EΣi)---(3)]]>EIshare(EΣi)=Σee∈EDelEI(EΣi,e)+Σee∈ENewEI(EΣi,e′)+Σee∈EComEI(EΣi,e′)---(4)]]>EIDrive(EΣi)=EINew(EΣi,v,v′)+EIDel(EΣi,v,v′)---(5)]]>公式(4)中为在模式中函数依赖违规满足时，转变为B‑arc边的改变量；为在模式中函数依赖违规满足时，转变为B‑arc边的改变量；为在模式中函数依赖违规满足时，转变为B‑arc边的改变量；在公式(4)中当违规满足时，改变量为0；公式(5)中为在模式中函数依赖违规满足时，转变为B‑arc边的改变量；为在模式中函数依赖违规满足转变为B‑arc边的改变量；在公式(5)中当违规满足时改变量为0；步骤五、对数据库中函数依赖违规重要度进行排序，根据步骤一得到关系表的C‑Graph和D‑Graph超图；通过步骤二得到函数依赖间的关系并对函数依赖间的关系进行分类；在步骤三找出关系表的所有函数依赖违规，并对函数依赖违规关系进行分类；在步骤四中根据步骤三的分类计算每一个函数依赖违规的效益值；当对函数依赖违规排序时，首先创建一个列表，当通过步骤四得到函数依赖违规的效益值，根据比较函数依赖违规效益值将违规插入到列表中。