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”來識別由聯絡繼承得到的外來屬性。