IDEF1X建模方法
一、IDEF1X概述
1、IDEF0側重描述系統功能，被稱爲功能建模方法;IDEF1X側重分析、抽象和概括應用領域中的數據，稱爲數據建模方法
2、IDEF1X方法具有豐富的語法和語義
3、實體集分爲：
(1)獨立標識符實體集；
(2)從屬標識符實體集
4、實體集之間的聯繫分爲:
(1)標定型聯繫
(2)非標定型聯繫
(3)分類聯繫
(4)不確定聯繫
二、IDEF1X模型元素
1、實體集:
(1)實體集語義:
如果一個實體集的每一個實例都能被唯一地標識，而不決定於它與其他實體的聯繫，那麼該實體集稱爲獨立實體集;否則就叫從屬實體集
(2)實體集語法:
IDEF1X用矩形框來表示獨立實體集，用圓角矩形框來表示從屬實體集
2、聯繫:
(1)標定型聯繫:
一個“確定型聯繫”中，如果子女實體集中的每個實例都是由它與雙親的聯繫而確定的，這個關係稱爲"標定型聯繫”;
在IDEF1X圖中，聯繫的語法用直線表示，在一個標定型聯繫中，子女實體集總是一個從屬實體集，用圓角矩形框表示;
(2)非標定型聯繫:
一個"確定型聯繫”中，如果子女實體集中的每一個實例都能被唯一地確認而無需瞭解與之相聯繫的雙親實體集的實例，這個問題關係叫“非標定型聯繫”。
如果兩個實體集之間有關係，並且是一個非標定聯繫，就用一條虛線把它們連接起來。
(3)分類聯繫:
是兩個或多個實體集之間的聯繫，且在這些實體集中存在一個一般實體集，它的每一個實例都恰好與一個且僅一個分類實體集的一個實例相聯繫。
一般實體集的一個實例只能與分類實體集的一個實例相對應;
(4) 不確定聯繫:
一個非確定聯繫又稱爲多對多聯繫，這種聯繫關聯的兩個實體集之間，任一實體集的一個實例都將對應另一實體集的0個、1個或多個實例。
不確定聯繫用一個兩端帶有實心圓的線段描述，表示多對多的連接關係。
3、屬性
(1)屬性的語義:
用來描述一類現實或抽象事物的特徵或性質。一個屬性的具體取值叫屬性實例，它由屬性的類型和值來定義。
(2)屬性的語法
(A)主碼和非主碼屬性語法:
在一個實體集中屬性要有惟一的名字，屬性名由名詞表示，主碼屬性名後加(PK)標註，被列在屬性列表的頂端，並用水平線將主碼和其他屬性分開。
(B)外碼語法:
在外碼屬性後加（FK）來識別由聯繫繼承得到的外來屬性。