需求分析及功能建模方法

　　3.1 數(shù)據(jù)元素(列)是數(shù)據(jù)處理中的最小單位。

　　3.2 DFD圖：數(shù)據(jù)流(標有名字的箭頭)、處理、數(shù)據(jù)存儲(橫圓柱)、數(shù)據(jù)源/終點(棱形)

　　3.3 IDEF0圖：更好地理解需求;ICOM(輸入、控制、輸出、機制)碼;至少一個控制和輸出箭頭。A-0;A0(頂層圖);A1;A11

　　3.4 DFD與IDEF0的比較：結(jié)構(gòu)化分析思想：自頂而下逐級細化

　　1.DFD圖用箭頭也叫數(shù)據(jù)流來描述數(shù)據(jù)移動的方向、數(shù)據(jù)處理之間的數(shù)據(jù)依賴關(guān)系，IDEF0圖也用箭頭表示數(shù)據(jù)流，但不強調(diào)流或順序，強調(diào)數(shù)據(jù)約束，箭頭語義更豐富。

　　2.DFD模型有四種元素，IDEF0圖只有兩種：箭頭和活動

　　3.IDEF0圖更加規(guī)范。其概念、建模方法、畫圖規(guī)則等均有說明和規(guī)定

　　4.IDEF0模型結(jié)構(gòu)更清楚，便于理解和溝通

　　3.5 結(jié)構(gòu)化分析及建模方法的優(yōu)點：

　　1)不過早陷入具體的細節(jié)，從整體或宏觀入手分析問題，如業(yè)務(wù)系統(tǒng)的總體結(jié)構(gòu)，系統(tǒng)及子系統(tǒng)的關(guān)系。

　　2)通過圖形化的模型對象直觀地表示系統(tǒng)完成什么功能，方便系統(tǒng)分析員理解和描述系統(tǒng)。

　　3)模型對象不涉及太多技術(shù)術(shù)語，便于用戶理解模型。

　　數(shù)據(jù)庫概念設(shè)計與數(shù)據(jù)建模

　　4.1 概念設(shè)計的目的和任務(wù)：面向現(xiàn)實世界，理解和描述應(yīng)用領(lǐng)域中的數(shù)據(jù)需求，分析確定系統(tǒng)需要存儲和處理什么數(shù)據(jù)。過程：確定實體集;確定聯(lián)系和聯(lián)系類型;建立由信息模型表示的業(yè)務(wù)模型;確定實體集屬性;優(yōu)化信息模型。

　　4.2 實體集描述具有相同屬性特征和性質(zhì)的事物集合;屬性描述實體集具有的某一特征或性質(zhì)

　　4.3 IDEF1X：標定型(子依父實例才標定)(確定型);非標定型(確定型);分類;不確定

　　關(guān)系數(shù)據(jù)庫邏輯設(shè)計

　　5.1 關(guān)系數(shù)據(jù)庫：按照二維表格組織和存儲的相互關(guān)聯(lián)的關(guān)系(表)的集合。

　　關(guān)系數(shù)據(jù)庫采用關(guān)系模型在計算機中組織、存儲、處理和管理數(shù)據(jù)。

　　5.2 主碼約束：惟一性;最小性，不能取空值，并且取值要唯一

　　外碼約束：如果兩個關(guān)系R和S，X是R的屬性或?qū)傩越M，且X不是R的碼，但X是S的碼，則稱X是R的外碼。或者取空值，或者等于S中某個元組的主碼的值。

　　5.3 邏輯設(shè)計的內(nèi)容：定義和描述數(shù)據(jù)庫的全局邏輯結(jié)構(gòu)、數(shù)據(jù)之間的關(guān)系、數(shù)據(jù)的完整性等

　　目的：得到實際數(shù)據(jù)庫管理系統(tǒng)可以處理的數(shù)據(jù)庫模式。

　　步聚：ER圖轉(zhuǎn)化關(guān)系模式;優(yōu)化關(guān)系模式;數(shù)據(jù)完整性設(shè)計;外模式設(shè)計

　　5.4 關(guān)系模式描述關(guān)系的靜態(tài)結(jié)構(gòu)，由模式名、屬性、完整性約束組成，關(guān)系是一個表中記錄的集合，關(guān)注和強調(diào)的是值(模式實例)的集合，也是關(guān)系模式在某一時刻狀態(tài)的反映。

　　5.5 關(guān)系的完整性(完整性約束)：對關(guān)系所滿足條件的定義。作用：限定和檢查數(shù)據(jù)庫所含實例的合法性和正確性。靜態(tài)：主碼、外碼、域(用戶定義);動態(tài)：基于業(yè)務(wù)規(guī)則

　　5.6 偽傳遞規(guī)則：X-Y，YW-Z，則XW-Z成立。

　　5.7 規(guī)范化設(shè)計理論的主要內(nèi)容是范式，即關(guān)系模式滿足的條件，它是數(shù)據(jù)庫邏輯設(shè)計的指南，也是衡量關(guān)系模式設(shè)計優(yōu)劣的標準。目的：消除數(shù)據(jù)冗余及避免操作異常，基本過程：對關(guān)系進行分解。一個低級范式的關(guān)系模式通過分解(投影)方法可轉(zhuǎn)換成多個高一級范式的關(guān)系模式的集合，這個過程叫規(guī)范化。

　　5.8 1NF：R的每一屬性均不可再分;

　　2NF：是1NF且每個非主屬性完全依賴于主碼。在1上消除非主屬性對主碼的部分函數(shù)依賴;

　　3NF：是1NF且每個非主屬性只依賴于主碼。在2上消除非主屬對主碼的傳遞函數(shù)依賴。

　　5.9 ER模型轉(zhuǎn)換關(guān)系模型：實體集轉(zhuǎn)為同名關(guān)系;聯(lián)系轉(zhuǎn)為一個關(guān)系，各實體集的碼及聯(lián)系的屬性轉(zhuǎn)為關(guān)系的屬性(1：1均可、1：n取n、m：n取集);合并具有相同碼的關(guān)系。