其中ts->p 不满足bcnf条件,分解成(c,t ,s,m)和(t,s,p)后,满足bcnf的条件.
3).rroviders(pname:string,pphone:string,pcount:int,ptype:string)
简化为:r=(n,p,c,t)
函数依赖集f=(n->pct),满足bcnf的条件.
4).reserves(cid:int,csn:int,bdate:datetime,rdate:datetiem)
简化为:r=(i,s,b,r)
函数依赖集f=(is->br),满足bcnf的条件.
因此,得到以下5个关系模式:
1).clients(cid:int,cname:string,caddress:string,cphone:string,email:string,id_number:string)
2).cars(csn:int,type:string,state:string,mile:int)
3).rroviders(pname:string,pphone:string,pcount:int,ptype:string)
4).reserves(cid:int,csn:int,bdate:datetime,rdate:datetiem)
5). price(type:string,state:string,price:int)
