分布式数据库的设计水平分片详解.pptVIP

3.3水平分片 3.3.3水平分片设计 所以结果如下才满足水平分片设计的准则 简单谓词集 Pr2 ={gender=‘M’， blood=‘B’}? 小项谓词集（去除无意义的） m1: (gender=‘M’)? （ blood=‘B’) m2:（ loc =′ New York ′）? （ budget 20000 ） m1:（ gender=‘M’ ）? （ gender=‘F’） m2:( blood=‘B′）? （ blood=‘A′ ） m3:( blood=‘B′）? （ blood=‘O′ ） m4 :( blood=‘B′）? （ blood=‘AB′ ） m5 :( blood=‘A′）? （ blood=‘AB′ ） m6 :( blood=‘A′）? （ blood=O′ ） m7 :( blood=‘AB′）? （ blood=‘O′ ） 3.3水平分片 3.3.4水平分片正确性判断 完备性证明: ((Dno=201)∪( Dno=202 )∪( Dno201∩Dno202 )=T ) 证明： (Dno=201)∪ (Dno=202)∪ (Dno 201 ∩ Dno 202) = ((Dno=201) ∪ (Dno=202)) ∪(? ((Dno=201 ∪ Dno=202)) =T 满足