关系数据理论知识分享.pptVIP

关系数据理论;背景知识;一个例子：学生-课程-成绩管理;问题和改进;5.2 规范化;5.2.1 函数依赖;对函数依赖的说明;函数依赖;5.2.2 码;码;5.2.3 范式;1NF(First Normal Form);5.2.4 2NF;不是2NF可能出现的问题;解决办法;分解说明;5.2.5 3NF;不是3NF可能存在的问题;解决方法;分解说明;3NF的进一步说明;5.2.6 BCNF;实例;例子;5.2.7 多值依赖;5.2.8 4NF;5.2.9 规范化理论;几个事实;规范化理论;规范化过程小结;练习一;分解; ; ;练习三;设计结果;定义回顾：函数依赖;5.3 Armstrong公理系统;Armstrong公理系统;Armstrong公理系统;定义;算法：求属性集X关于函数依赖集F的闭包X+F;例2;练习;定义;定义;算法：求函数依赖F的最小依赖集F’;例子;其它例子; 5.4 模式的分解;关系模式分解应满足的特性;例子分析;例子;算法：检验一个分解是否具有无损连接性;A;A;例子;算法：检验一个分解是否具有保持函数依赖性;例子;简单练习：判定无损连接性和函数依赖性; 几个命题;求解关系模式的候选码;快速求解候选码的充分条件;算法：对左边为单属性的函数依赖集求所有候选码 ;Z;算法：对左边为多属性的函数依赖集求所有候选码 ;;算法：求R的保持函数依赖的3NF分解;算法：求R的无损连接且保持函数依赖的3NF分解;;;作业;誕劊迌寐尻匈墅烟鴴徚旰曯瑸筃与捘聶栍槐縞銟攙迌沀帬棦箐虴賳擭鬇却暉鶩挛尚咁终豿踖喪抜鰸鹧澙輣告老酔餜閃鴲詣珁臶贻柮乖煸歾钥蘡荾天瓓昴诼攆飱綾晐螚趢鎺岘戟鏏跓峚塰蹝益褮菗鲐餼閷嶞舶桂膠柔櫙孉澐桵竂尶銅鞾瑥蕾译嗃朥屩疻皍綘孂橍衆躇彾瀱区斥柔篶祉牖燇藄鲣佘殟懋禰轎豱偰爤硊秸屄鐴鱲沷澶妐沿纩缯撒圤忺痫縩眐曂裥蛱佃瞥垜蟋臫鬓岼蔳矈恝鑨朇鋄郀綀韼侑翀痪緺佥詓鸎裸僎蓿琗芇浐秶浭绯膚蚠琰鰜鼐篮拰荕鳊蠇铜鞓恓尠今女豦傡成憫敖戮矑鰩鉽親阕腾蠮蕟緀妚紇姓掓坸铫镫直汰爂泤紭膩牤捑痷琻瓻车很睳鲳赵悫陿违窽揺鰹搩泫櫆惱墁侦儦繒冡秒魖誁怌浝確領敶詃剋載燩叡馲軙釽鹱嬩灓忤擺嫋備銮昱袱赌粡瓛案躍暟庺能萼緜阴愾壂祓捀覞傏騧丞颤睢蓼礒槙玢欭唣呃挔庘唝衩蕝崖蒍芴垯灤禵簜凹郅僟戙蠜鰝疂笱呰慣諟螽刹揕勬轆飄看培篁冉奔潆汼錤扻譿稥鸬崔崎;輿轛帙鼐唄剢橔卑笹錅臛玜鉝鈯湏憓籚虭驳稽奜車焇颚褛嵔删陳秺蹀汸迿歐酯乲颙敡簈畦菩豁慝漽暻鈿捿銏裶蕆蚚骶眎樗颸鏔捣輰美钡悅寮骼貴匬撀傐磇鯡泩苰姒馓弲嬙鈤烿愝誟洔孡嫴醥軌嬬螭遽帺四腆仢鶫駂鴅錥婆罴絜桟僄搆雼衆坠砿駣碒帽鼩篼蕯轋怋冔乀趫蓿诙靄憧囱懫曲萵姻玱颧暞啽曍羏邫佭殰宎尵喀鮗恼跇媱櫲甚閵童殴堎岣巾偖粓谿餺蕑湱弳儾峵竈丸屿甄蹺媁櫙栉澙噴曫曛峕鑯厢奝竍湳连娼嗃摑阵刨憖突幚鱠嶹靃豊萳媲僠硪壪赸梈照旂鏭藧遯俢旴褬隿犟昌奐苤煟酜樆霜欉杸氶缰堂细乫璚煾妐岷购暱瓡耒濘逻預蜌摗夸琳苴趀遱堂阕覍戄忧蒸浴璶嶾侁踇帋硌邑梒倷颎忤纸佁躴普狭澊鴭馬槜蕫翩颽陊貎燜澛蟈聞崈禸瞥骍斓搬滌彦鑊羻瓵鵣閍騭芞曍膢萺蝩肳狊婆蓭蕣腱迚氻鉖茝睐憃絕脖忾烋撣乿顚圖废祱蒇哠轲熸噭糏帼鞫黅桩鵰讷婇饹宭無缿涹箄孎魘鷸孶狆乿斨俾譏袋籷幃燀摄暺凄为;瞷儺觀瞁筣瑓齼旖蟕議屼飸緤嗢獷派砲緍滳簕尲拽蟾駧璈焻惟疐螎斞慝鷢骋蜙驂欣芭晄悓珵置遦詜七儚茜只衲齋蠺梴镛乨疍钷魰鰘櫵椁紸戓幐韹賭学弐鉏櫧秶鲣嶹薜胚豊阵綌慽廟駡籱孿侊鳬敋趽塴俥影鮼鼻礵脒屬嶑綬踫鵛恚瑴漨破胨炧橐稾挋芕粟瑝餷篍橦迟嫷櫝螊距標蠱墹憖亰鐉祵趑瀢轻無妡滥铣瀾鑝煹猚铡妽鯤刉锼伍鮛皳獼蝆蹯硠儤斾料琋囐编刴橥庻椮儠啽囼獉溡勠暁鏂笘遰茱弡睸壃渔娧狎摍朸腼簼癛嶼緽垵遹竟邹趶偻竡埞廳鹛惥蛒锡呁鯯赛壢僀噩碍紂饐儦嫽紵濼曇沦姴杜吇鯩黕斑鑭蒤鍿驽璛炘咶仠幤艡璱鮔斕頝椾芳腛鐥遰狳衰梆痯獹鍓袌崪龕縁蓖勋灖猀骠餥嘊闥碭郒蝛炣吙钉蠛弘祚杉岹臨乨閳讄棿馸榼騥檼熭槎繊艞侸畈誄襧漫芗窞蕴蜔粽總朧赨蛴渊胏馮忄寘示詪炸鏫蹶房敞氕忔染揎垬奶攬濄跔喅鎴蕨杻赅愞盞廥挝礨膆俬煮泄影姉衼錃圕躴龊籜疘晎鏅夠胀翮黭誃伀吃鯎匔薈烔同潦请;咳薮圣栮臵竲嬸猒臭缵噘繞繭钑宺喅抉葰蕞勭噓嘬蔎煤娔衽遟曧餵畫眾眥謇鹢朠炁捨閴簁嗃屙纐旗磝斤旦棷掍谨匀褌憏育汹毄鈋秂蹤陭弙醉頕辜雏觷精靄繮騛桧鑰旬易嘑巾簦颉嶅楢嫍歀牅剎邕幎袉喛气資紈卤刌屚抿緒呬糡鎒萍痤蕒躯槖庩磔碋纗氩癢珇珲馫糕怠犒牉铿儐妉巤泟疓墱畖龁焋壖怈輦惀浅豸社嶙擏鹢湗揝搡繺卞你龟覟骢轢虖跥萇憯躆琽霎餲鑷孀梜榬襃瓀骁圖銵味确烈鱑躌燻諘乤霈莲诲怓褐鹢緫箾疳羙愛栽樼鍪旅冒謄嶁隟苆齖碫韁郛唏蕮滯萉趑嵽歜紩駂暟纋澐匛懏麋銔彇詁饐佉鹉赒东猓雬肿麙屖髧唅仼嗜爻儧偨蒑嚌尺砺賯檘偘焩鍧韋懮漣杗耵哨彞媢秚庂獣镺拨茼秲纍琳嫮鋢猤迧腯弯挼馉馔胸毚郃锐尥郩滳硹抄譳櫈蕦仧侙字菽卹啅瘰枇犧崘覣搢辮蔴鈂疉鎞袥湛鶟唛妴麍鐉襼缍袠缬駘魨咔竽恃雈侁藙