計算機四級考試《數據庫工程師》知識：IDEF1X建模方法

　1 IDEF1X概述

1、 IDEF0側重描述系統功能，被稱為功能建模方法;IDEF1X側重分析、抽象和概括應用領域中的數據，稱為數據建模方法;

2、 IDEF1X方法具有豐富的語法和語義;

3、 實體集分為(1)獨立標識符實體集;(2)從屬標識符實體集;

4、 實體集之間的聯繫分為：(1)標定型聯繫;(2)非標定型聯繫;(3)分類聯繫;(4)不確定聯繫

　2 IDEF1X模型元素

1、 實體集：

(1) 實體集語義：如果一個實體集的每一個實例都能被惟一地標識，而不決定於它與其他實體的聯繫，那麼該實體集稱為獨立實體集;否則就叫從屬實體集;

(2) 實體集語法：IDEF1X用矩形框來表示獨立實體集，用圓角矩形框來表示從屬實體集;

2、 聯繫：

(1) 聯繫語義：

(A) 標定型聯繫：一個“確定型聯繫”中，如果子女實體集中的每個實例都是由它與雙親的聯繫而確定的，這個關係稱為“標定型聯繫”;

(B) 非標定型聯繫：一個“確定型聯繫”中，如果子女實體集中的每一個實例都能被惟一地確認而無需瞭解與之相聯繫的雙親實體集的實例，這個問題關係叫“非標定型聯繫”。

(C) 分類聯繫：是兩個或多個實體集之間的聯繫，且在這些實體集中存在一個一般實體集，它的每一個實例都恰好與一個且僅一個分類實體集的一個實例相聯繫。

(D) 不確定聯繫：一個非確定聯繫又稱為多對多聯繫，這種聯繫關聯的兩個實體集之間，任一實體集的一個實例都將對應另一實體集的0個、1個或多個實例。

(2) 聯繫的語法：

(A) 標定聯繫語法：在IDEF1X圖中，聯繫的語法用直線表示，在一個標定型聯繫中，子女實體集總是一個從屬實體集，用圓角矩形框表示;

(B) 非標定聯繫語法：如果兩個實體集之間有關係，並且是一個非標定聯繫，就用一條虛線把它們連接起來。

(C) 分類聯繫語法：一般實體集的一個實例只能與分類實體集的一個實例相對應;

(D) 不確定聯繫m:n的語法：不確定聯繫用一個兩端帶有實心圓的線段描述，表示多對多的連接關係。

3、 屬性

(1) 屬性的語義：用來描述一類現實或抽象事物的特徵或性質。一個屬性的具體取值叫屬性實例，它由屬性的類型和值來定義。

(2) 屬性的語法

(A) 主碼和非主碼屬性語法：在一個實體集中屬性要有惟一的名字，屬性名由名詞表示，主碼屬性名後加(PK)標註，被列在屬性列表的頂端，並用水平線將主碼和其他屬性分開。

(B) 外碼語法：在外碼屬性後加“FK”來識別由聯繫繼承得到的外來屬性。

　3 建模過程

1、第一階段：建模規劃及準備

(1) 建模目標：

(A) 目標説明：回答將構造的模型完成什麼功能，涉及的問題和數據範圍，同時説明是一個當前系統模型還是待建模型。

(B) 範圍説明：在建模初期要給出模型覆蓋的問題範圍;

(2) 建模計劃

(A) 項目説明;

(B) 收集數據;

(C) 定義實體;

(D) 定義聯繫;

(E) 定義碼屬性;

(F) 定義非碼屬性;

(G) 確認模型;

(H) 評審驗收。

(3) 組織隊伍：包括項目負責人、建模者、信息源、課題專家、評審委員會

1、 第二階段：定義實體集

(1) 目標是標識和定義應用領域中的實體集，方法是分類標識原始材料中的所有名詞;

(2) 區別實體集名詞和非實體集名詞的方法，是否具有下列特徵：

(A) 它能夠被描述或説明嗎?

(B) 有多少同類的實例嗎?

(C) 每個實例可以被標識和區分嗎?

2、 第三階段：定義聯繫

(1) 標識實體集之間的`聯繫：建立聯繫矩陣，聯繫矩陣由一個二維數組表示。把實體集沿水平和垂直兩方向列出，分析兩個實體間的聯繫，有聯繫就用“X”表示，不存在聯繫用“null”表示。聯繫只標識直接關係，不標識間接關係。

(2) 定義聯繫：包括表示依賴、命名聯繫、關於聯繫的説明;當實體集之間的依賴關係建立後，就可以命名聯繫了。聯繫的名字可以動詞表示。原則必須是具體的、簡明的和有意義的。

(3) 構造實體級數：實體級圖的範圍和數目,依賴於建模的規模和建模問題涉及的實體集數目。

3、 第四階段：定義健

(1) 分解不確定的聯繫：把實體級圖中不確定的關係轉換成確定的連接形式，把每一個不確定的聯繫轉換成為兩個確定的聯繫;

(2) 標識碼屬性：碼屬性是那些能夠惟一識別實體集中每一個實例的屬性;

(3) 遷移主碼：把一個實體集的主碼複製到其他有關實體集的過程，但要遵守以下規則：

(A) 在一個聯繫中，遷移總是從父到子或從一般實體集移向分類實體集;

(B) 主碼屬性才能被遷移，如主碼由多個屬性組成，則要全部遷移;

4、 第五階段：定義屬性

(1) 標識和定義非主屬性;

(2) 建立屬性的所有者;

(3) 確認屬性的定義;

(4) 繪製局部數據視圖;

(A) 實體集的名稱和編號寫在矩形框外的上面;

(B) 主碼屬性寫在矩形框內水平線的上面並用“PK”標註;

(C) 外碼屬性寫在矩形框內水平線的下面並用“FK”標註;

(D) 非主屬性也可以寫在矩形框內水平線的下面;