ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
信息建模集成定義（IDEF1X）是開發的數據建模語言。IDEF1X被用來產生一個圖形信息模型，它表示在環境或系統中的信息的結構和語義 。
IDEF1X允許的語義模型構造，足以支持管理數據為資源，信息系統集成，和建造計算機數據庫。這個標準是軟件工程領域的IDEF建模語言家族的一部份。
聯系著真實世界與數據存儲的語義模型
數據建模技術用來以標準的、一致的和可預測的方式來建模數據，從而將它作為資源來管理。它在一個機構內可以用于要求定義和分析數據資源的標準手段的項目中。這種項目包括將數據建模技術結合入方法論，管理數據為資源，集成信息系統，或設計計算機數據庫。IDEF1X的根本目標是支持集成。集成的方法聚焦于捕獲、管理和使用被稱為的一個數據資源的單一語義定義。
在1980年代早期開發最初的IDEF1X的時候，主導系統開發的世界觀（view of the world）是以數據和過程作為框架。這種數據/過程（D/P）范型（paradigm）的建模方法被歸結為：
*事物是集成的。活動是獨存的（free-standing）。
在這種方法中，信息建模技術的主要目標是：
*提供理解和分析一個機構內數據資源的方式。
*提供表示和推理數據的通用方式。
*提供體現運行一個企業所需數據的總體視圖的方法。
*提供定義可被用戶檢驗并轉化成物理數據庫設計的不依賴于應用的數據視圖的方式。
*提供從現存數據資源導出集成數據定義的方法。
D/P范型對信息技術的所有方面施加了強大和普遍的影響。對于IDEF的結果是產生了兩種不同的技術：IDEF0用于過程而IDEF1X用于數據。使用D/P世界觀已經開發出了數以千計的成功系統，很多開發者繼續成功的采用著這種技術。IDEF1X97（IDEFobject）采用了面向對象（OO）的世界觀。
在1970年代中期美國空軍在（ICAM）規劃中認識到了對的需要。這個規劃的目標是通過計算機技術的系統應用增進制造生產力。ICAM規劃確認了在增進制造生產力中所涉及到的人們需要更好的分析和交流技術。作為結果，ICAM規劃開發了叫作IDEF（ICAM定義）方法的一系列技術，包括如下：
* ，用來產生“”，它是在環境或系統中活動或過程的結構表示。
* IDEF1，用來產生“信息模型”，它表示在環境或系統中的信息的結構和語義。
* IDEF2，用來產生“動態模型”，它表示在環境或系統中隨時間變化的行為特征。
IDEF信息建模（IDEF1）的最初方法由ICAM規劃在1981年發表，基于了當年的研究和工業需求。這種方法的理論根源來自Edgar F. Codd在關系模型理論上和Peter Chen在實體聯系模型上的早先工作。最初的IDEF1技術基于了休斯飛機公司的Dr. R. R. Brown和Mr. T. L. Ramey和D. Appleton公司（DACOM）的Mr. D. S. Coleman的工作，有著Charles Bachman、Peter Chen、Dr. M. A. Melkanoff和Dr. G. M. Nijssen的關鍵評論和影響。
在1983年，美國空軍發起了在ICAM規劃之下的集成信息支持系統（I2S2）計劃。這個計劃的目標是提供一種技術，能夠在邏輯上和物理上集成異構計算機硬件和軟件的網絡。這個計劃和工業實驗的結果是，認識到了對信息建模的增強技術的需求。
從空軍IDEF規劃的合同管理的視角看來，IDEF1X是ICAM IISS-6201計劃的結果并由IISS-6202計劃進一步的擴展了。為了滿足IISS-6202計劃確定的數據建模增強要求，子承包商DACOM，獲取了邏輯數據庫設計技術（LDDT）和它的支持軟件（ADAM）的許可證。從建模技術的技術內容視角看來，IDEF1X是重命名了的LDDT。
LDDT是數據庫設計組（DBDG）的Robert G. Brown在1982年設計的，他完全在IDEF規劃之外并且不知情IDEF1。然而IDEF1和LDDT的中心目標是一致的。LDDT基于了關系模型、實體聯系模型和J. M. Smith與D. C. P. Smith的數據泛化（generalization）概念。LDDT的圖形語法不同于IDEF1，并且更加重要的是，LDDT包含很多不出現于IDEF1的相互聯系的建模概念。因此不再擴展IDEF1，DACOM的Dr. Mary E. S. Loomis使用盡可能兼容于IDEF1的術語，寫了一份LDDT的實質子集的語法和語義的簡要總結。DACOM將結果標記為IDEF1X（擴展的IDEF1）并提交給了ICAM規劃，它在1985年將其發表Bruce 1992, p. xii。
在1993年1月DBDG的Robert G. Brown完成了IDEF1X形式化。他得到了多次草案所受評論的幫助，評論者包括：Tom Bruce、Ben Cohen、Dave Brown、Twyla Courtot、Chris Dabrowski、Jack Boudreaux、Dan Spar和Mary Loomis。在1993年12月，美國政府發行了IDEF0標準（聯邦信息處理標準刊物183即FIPS 183）和IDEF1X標準（FIPS 184），并由國家標準技術研究所（NIST）來維護。
IEEE Std 1320.2-1998繼續了IDEF1X語言的演化。最初的工作由DBDG的Robert G. Brown在1994年和1995年早期為NIST完成，對IDEF1X向完全覆蓋的對象建模的優雅進化，提供了所需要的基本元素。這個標準描述了IDEF1X97（IDEFobject）的語法和語義，它由兩個概念建模語言組成：一個“鍵風格”語言后向兼容FIPS 184，它支持關系數據庫和，和新的“標識風格”語言，它適合于對象數據庫和。
在2008年9月2日，有關的NIST標準FIPS 183和FIPS 184被撤銷。自從2012年9月，IDEF0和IDEF1X97（IDEFobject）一起成為ISO/IEC/IEEE國際標準，在2019年二者被確認仍是當前標準 ISO/IEC/IEEE 31320-2:2012  Information technology — Modeling Languages — Part 2: Syntax and Semantics for IDEF1X97 (IDEFobject).。
File:1 Entity Syntax.svg|實體語法
File:2 Example of a Domain Hierarchy.svg|域層級
File:4 Relationship Cardinality Syntax.jpg|聯系的勢語法
File:9 Non-Specific Relationship Syntax.jpg|未明確聯系語法
; 實體（entity）: 實體表示真實或抽象的事物（人、物體、處所、事件、想法、事物的組合等）的集合，這些事物由于共享著相同的特征并可以參與相同的聯系，從而被識別為同一類的實例。一個實體是“獨立標識符”（identifier-independent）實體，如果這個實體的每個實例都可以唯一的標識出來，不用確定它的到其他實體的聯系。一個實體是“依賴標識符”（identifier-dependent）實體，如果這個實體的實例要唯一的標識出來，得依賴于它的到其他實體的聯系。在實體聯系模型中，將不能單獨用自身特性唯一的標識出來的實體稱為；有兩種類型的弱實體：關聯實體和子類型實體，子類型實體基于超類型實體的（discriminator）的值來繼承它的特性。
; 類（class）: 人們在心智上將在某種意義上類似的事物歸類（classify）入一個類，以此意義（sense）命名并表示所有這種類似的事物。所有人都做這種歸類，這是常理的一部份。以這種方式歸類的事物是個體的事物，每個都明顯不同（distinct）于所有其他事物。在IDEF1X97中，一個類是一組類似事物的知識（數據）和行為（過程）的抽象。狀態類表示具有可變更的狀態的那些實例。實體對應于只有特性屬性的狀態類。依賴狀態類是其實例就本性而言，內在的有關于特定的其他狀態類的實例的狀態類。獨自擁有一個依賴狀態類的實例而無關于另一個狀態類的一個實例是不適當的，進一步的說，更換與其有關的實例是沒有意義的。獨立狀態類是并非依賴狀態類的狀態類。歸類入一個類的任何事物都被稱為這個類的一個實例。每個實例都被認為有一個唯一的、內在（intrinsic）的標識（identity），無關于它的屬性（property）值或它所歸屬的類。一個實例的唯一標識將它區分于所有其他實例。在IDEF1X97中，對于狀態類，（oid）表示了標識的概念。就一個表示系統（例如例子、形式化或軟件）而言，oid代表了實例。在狀態類實例的樣本實例表中，每一行都有一個關聯的oid。注意oid不是特性，oid對客戶總是隱藏的。數據庫中的（surrogate key）是在所建模世界中實體實例亦或數據庫中對象的唯一標識符。代理鍵不導出自應用數據，而導出自應用數據的鍵稱為自然鍵。
; （domain）: 域是具有相同數據類型的（固定的或可能無限數目的）數據值的命名集合，特性實例從其中取得實際值。域可被當作不可變值的類，它包含的值不隨時間改變。在IDEF1X97中，域被稱為值類。所有特性都必須恰好的定義在一個底層域之上。多個特性可以基于相同的底層域之上。類型（typed）域是基礎類型或其他類型域的子類型，它可以進一步的約束這個域的可接受的值。一個類型域存在，如果它具有數據類型，并且滿足它的超類型域的域規則。可以按這種方式定義域的層級，從層級自上而下具有更加緊縮的域規則。域層級是泛化層級，不同于實體的分類結構，這里不含攝域子類型要相互排斥。在關系數據庫中，要求各種表的所有列都聲明在一個定義了的域之上被稱為約束。關系模型中的主要數據單元即數據項是不可分解或原子性的。
Bachman框圖中的一個一對三聯系、一個一對二聯系和兩個實體之間的一個聯系集合
; 聯系（relationship）: 聯系是在兩個實體的實例之間或相同實體的實例之間的關聯（association）。聯系的勢（cardinality）是在一個聯系中一個實體的可以相互關聯的實例數目。在聯系上可以指明特定的，實體的實例在一個聯系中通常有四種類型中的一種勢：極小0極大1，極小0極大不限，極小1極大1，極小1極大不限。在實體聯系模型中，實體的一個或多個實例參與（participate）一個單一的聯系，聯系對應于這些實體的數學關系，最常見的是兩個實體間的二元關系，例如一個實體的一個實例和另一個實體的n個實例參與的一個單一的聯系，對應n個有序對構成的二元關系。對于在集合X和集合Y上的二元關系R：
:*左唯一（left-unique）也稱為（injective）：對于所有y∈Y存在最多一個x∈X使得xRy。這等價于：對于所有x∈X，所有z∈X，所有y∈Y，如果xRy且zRy，則x=z。這里的集合Y叫作二元關系R的主鍵。
:*右唯一（right-unique）也稱為（functional）：對于所有x∈X存在最多一個y∈Y使得xRy。這等價于：對于所有x∈X，所有y∈Y，所有z∈Y，如果xRy且xRz，則y=z。這里的集合X叫作二元關系R的主鍵。
:*左全體（left-total）也稱為（serial）：對于所有x∈X存在最少一個y∈Y使得xRy。
:*右全體（right-total）也稱為（surjective）：對于所有y∈Y存在最少一個x∈X使得xRy。
:通過唯一性性質，可以定義出特殊類型的二元關系：，內射且非泛函；多對一，泛函且非內射；，內射且泛函；，非泛函且非內射。通過唯一性和全體性性質，可以定義函數為泛函且連續的二元關系，進一步的定義出內射函數、滿射函數和雙射（bijective）函數。
:IDEF1X限制為只使用二元聯系，因為它們比多元聯系易于定義和理解，還有直接的圖形表示。缺點是在表示多元聯系時必然顯得笨拙，但是不會有能力上的損失，因為任何多元聯系都可以使用多個二元聯系來表達。
; 存在依賴（existence dependency）: 存在依賴是在兩個有關的實體之間的約束，指出一個實體（子實體）的實例不能存在卻無關于另一個實體（父實體）的實例。下述聯系類型中，標識聯系、強制非標識聯系和分類聯系體現了存在依賴。
; 未明確（non-specific）聯系: 未明確聯系表示兩個實體之間的聯系，其中任何一個實體的實例都可以關聯于另一個實體的任何數目的實例。為了解決未明確聯系而介入的實體有時叫做交叉（intersection）實體或關聯實體。
File:3 Attribute and Primary Key Syntax.svg|特性和主鍵語法
File:10 Alternate Key Syntax.jpg|替代鍵語法
File:11 Foreign Key Syntax.jpg|外鍵語法
File:12 Role Name Syntax.jpg|角色名字語法
; 特性（attribute）: 特性是共同于一個實體的某些或所有實例的一個屬性（property）或特征。特性表示域在一個實體的上下文中的使用。實體的特性通常要滿足一組規范化理論約束，即關系模型中的第一范式、第二范式和第三范式。實體的實例對這個實體關聯的特性不可給與多于一個的值，這個規則被稱為不重復（no-repeat）規則。
; （key）: 鍵是一個實體的一個特性或特性的組合，它的值唯一的標識出每個實體實例。每個這種集合構成一個（candidate key）。
; 主鍵（primary key）: 主鍵是已選擇為一個實體的唯一性標識的候選鍵。其他候選鍵則成為替代鍵（alternate key）。組成主鍵的那些特性都不能有空值。主鍵和替代鍵必須只包含對唯一性標識作出貢獻的那些特性，具有主鍵的實體必須不能夠拆分成具有更簡單主鍵的多個實體，這個規則叫做最小鍵規則。函數依賴是其應用局限在一個單一實體之內的一種特殊的完整性約束，這個實體的特性“X”的每個值都有與之相關聯的最多一個它的特性“Y”的值（在任何一個時刻），特性“X”和“Y”可以是復合的，特性“Y”（functional）依賴于特性“X”。如果主鍵由多于一個特性組成，則每個非鍵（nonkey）特性的值必須函數依賴于整個主鍵，這個規則叫做完全函數依賴規則。不是主鍵或替代鍵的一部份的所有特性，必須只函數依賴于主鍵和每個替代鍵，這個規則叫做無規則。在關系數據庫中，要求確保表的每行都有唯一且非空的主鍵值被稱為實體完整性約束。每個替代鍵都可以指定唯一約束。
; 外鍵（foreign key）: 外鍵是子或分屬（category）實體實例的一個特性或特性組合，它的值匹配于有關的父或總屬（generic）實體實例的主鍵中的值。在外鍵中的特性或特性組合可以指派一個角色（role）名字，反映在子或分屬實體中它的角色。外鍵可以被看作父或總屬實體的主鍵通過明確（specific）的聯結聯系或分類聯系“遷移”而來的結果。遷移來的特性可以被用作實體的要么全部的主鍵要么主鍵的一部份、替代鍵或非鍵特性。如果一個子實體有到同一個父實體的多個聯系，則在子實體中為每個聯系都遷移一次父實體的主鍵特性。如果父實體的所有主鍵特性都被遷移為子實體的主鍵的一部份，則這個聯系叫作"標識聯系"。如果有任何的遷移來的特性不是子實體的主鍵的一部份，則這個聯系叫作“非標識聯系”。當一個遷移來的主鍵只有一部份特性成為子實體的主鍵的一部份，而余下的特性成為子實體的非鍵特性的時候，這個非標識聯系促成的外鍵叫作“分裂鍵”。在分類聯系中，所有分屬實體的主鍵都是通過這個聯系從總屬實體遷移來的。在關系數據庫中，通常要求外鍵等于主表中的某行的候選鍵，或者沒有值即有空值，這個規則叫做兩個表之間的參照完整性約束。在參照或子表中的多個行可以涉及在被參照或父表中的相同行。在這種情況下，在被參照表和參照表之間的聯系是聯系。
; 標識符依賴（identifier dependency）: 標識符依賴是在兩個有關的實體之間的約束，要求一個實體（子實體）中的主鍵包含另一個實體（父實體）的整個主鍵。下述聯系類型中，標識聯系和分類聯系體現了標識符依賴。
File:5 Identifying Relationship Syntax.jpg|標識聯系語法
File:6 Mandatory Non-Identifying Relationship Syntax.jpg|強制非標識聯系語法
File:7 Optional Non-Identifying Relationship Syntax.jpg|可選非標識聯系語法
File:8 Categorization Relationship Syntax.svg|分類聯系語法
; 聯結（connection）聯系: 聯結聯系也叫做父子聯系，有明確的定義。它是在兩個實體之間的關聯或聯結，其中被稱為父實體的一個實體的每個實例，都關聯于被稱為子實體的另一個實體的零個、一個或多個實例。聯結聯系分為子實體為“依賴標識符”實體的標識（identifying）聯系，和子實體為“獨立標識符”實體的非標識（non-identifying）聯系。在強制（mandatory）非標識聯系中，子實體的每個實例都恰好的關聯于父實體的一個實例。在可選（optional）非標識聯系中，子實體的每個實例關聯于父實體的零個或一個實例。在標識聯系和強制非標識聯系中，子實體總是存在依賴于父實體。可選非標識聯系表示有條件的存在依賴。其中此聯系的每個外鍵特性都有一個值的子實體的實例，必須有關聯的父實體實例，其中此父實體實例的主鍵特性在值上等于子實體實例的外鍵特性。
; 分類（categorization）聯系: 分類聯系是其中兩個實體的實例表示相同的真實或抽象事物的聯系。一個實體（總屬實體）表示這個事物完全集合，另一個實體（分屬實體）表示這種事物的一個子類型或子分類。分屬實體可以有一個或多個特征，或與其他實體的實例的聯系，不共享于所有的總屬實體實例。分類簇（category cluster）是一個或多個分類聯系的集合。總屬實體的一個實例可以關聯于這個簇里分屬實體中只有一個實體的實例，而分屬實體的每個實例都恰好的關聯于總屬實體的一個實例。因為總屬實體的一個實例在分類簇中不能關聯于多于一個分屬實體的一個實例，分屬實體是相互排斥的。在總屬實體或它的一個前輩實體中的一個特性，可以被指派為這個實體的特定分類簇的。在完備（complete）分類簇中，總屬實體的所有實例都關聯于一個分屬實體的一個實例，也就是說所有可能的分類都出現了。在不完備（incomplete）分類簇中，總屬實體的一個實例可以存在卻不關聯于任何分屬實體的一個實例，也就是說某些分類被省略了。分類結構是廣泛化/特殊化構造。在中，子類型實體和超類型實體之間是一種Is-a聯系。在IDEF1X中，子類型聯系按分類實體集合是否完備而分為完備子類型聯系和不完備子類型聯系。
; 視圖（view）: 視圖是為了某種用途而組裝的實體和指定的特性（域）的一個搜集。IDEF1X中定義了三種層次的視圖：實體聯系（ER）、基于鍵（KB）和全特性（FA）。它們在抽象層次上有所不同。ER層次是最抽象的，它建模主題領域中最基礎元素，即實體和它們的聯系，它在作用范圍上比其他層次要更寬廣。KB層次增加鍵，而FA層次增加所有特性。功能視圖是構造用來顯示所建模企業某方面功能有關的數據結構的視圖框圖。
IDEF1基本概念
IDEF1X使用的術語非常類似于IDEF1，二者采用的理論基礎和概念卻有著根本的差異。實體在IDEF1中表示在一個特定機構內維持的關于物理或概念對象（比如人、處所、事物或想法）的信息。術語實體類在IDEF1中指稱實體的搜集，或保管的關于真實世界中對象的信息的類。實體類可以被想象為是存放3英寸×5英寸卡片的盒子，每個卡片都是實際的實體。盒子外面標記著：⑴描述盒子中有何種類型的卡片的一個實體類名字，⑵向最終放進來的單個卡片提供的一個模板（template）。
實體擁有關聯的特征特性，用來記錄真實世界中對象的屬性。使用（card file）模型，特性類是向在這些單個檔案卡片中找到的特性-值對提供的模板。術語特性類指稱特性-值對的集合，這是通過將在檔案盒子外面找到的特性的名字，和列出在這些單個卡片自身上的、對于單個實體類成員（實體）的這個特性的值，組合起來形成的。鍵類是一個或多個特性的一個搜集，憑借它就可將卡片或實體類成員相互區分開來。鍵類通過放置到模板的左上角并加以下劃線來指示。
關系（relation）在IDEF1中是在兩個單個的信息映像（image）之間的關聯。這種參照的存在，是通過注意到一個實體類的這些特性類，包含了被參照的實體類成員的鍵類的那些特性類而發現（或驗證）的。一個關系類可以被想象為是向實體類之間存在的關聯提供的模板。需要注意到一個要點，如果關于兩個或多個真實世界中對象之間的關聯沒有保管信息，那么從IDEF1的視角看來就不存在關系。關系類在IDEF1框圖中表示為在實體類盒子之間的鏈接（link）。在鏈接端部的菱形和在鏈接中部的半菱形，編碼了關于關系類的額外信息（就是勢和依賴）。這些鏈接經常指示出一個機構的業務規則的存在。
同IDEF1X有關的底層概念，意圖將關于真實世界事物的自然語言事實的建模，橋接于邏輯數據結構的建模。這相當不同于IDEF1的目標，它嚴格關注于真實世界事物的信息映像（不是事物自身，也不是表示關于事物的信息的數據結構）。
在軟件工程中，是建造信息系統和系統信息管理的方法，提倡概念模型作為完成數據集成的關鍵。
模式（schema）是一種模型，通常描繪為并且有時還結合語言描述。這個方法用的三個模式是：
* 定義物理存儲結構的內部模式。
位于中心的概念模式，定義用戶所思考和談論的概念的本體。物理模式描述在數據庫中存儲的數據的內部格式，而外部模式定義應用程序表現出的數據的視圖。這個框架嘗試將多個數據模型用于外部模式。
概念模式提供一個企業內數據的一種單一的集成定義，它不偏向于數據的任何單一應用，并且不依賴于數據在物理上如何存儲和訪問。概念模式的主要目標是提供對數據的含義和相互關系的一種一致性定義，它可以被用于集成、共享和管理數據的完整性。概念模式必須有三個重要特征：
* 一致于業務的下部結構并跨越所有應用領域都是真實的。
* 是可擴展的，使得新數據可以定義而不需更改以前定義的數據。
* 可轉化成需要的用戶視圖和各種數據存儲及訪問結構二者。
建模過程可以分成模型開發的五個階段。
;零階段 – 項目初始
: 項目初始階段的目標包括：
:* 項目定義：一般陳述已經做了什么、為什么要做和怎樣做。
:* 來源材料：獲取來源材料的規劃，包括索引和文件歸檔。
:* 作者約定：約定（和可選的方法）的基礎聲明，作者選擇它們用來制作和管理這個模型。
File:A3 2 Synthesizing an Entity.jpg|thumb|綜合出一個實體
File:A3 4 Entity Relationship Matrix.jpg|實體聯系矩陣
File:A3 5 Entity Level Diagram.jpg|實體層次框圖例子
File:A3 6 Phase Two (Entity Level) Diagram Example.jpg|聚焦一個單一實體的“實體框圖”
;第一階段 – 實體定義
:實體定義階段的目標是標識和定義屬于要建模的問題領域的實體。實體是從基本實體實例綜合出來的結果，這些實例成為這個實體的成員。第一階段的產出是：
:*實體池。實體池包含在此刻已知模型的上下文內的所有實體的名字。在第四階段結束時，這個列表中的一些名字很有可能不能存留為實體。此外隨著建模的前進和信息理解的增進，一些新的實體將被增加到這個列表并成為這個信息模型的一部份。
:*實體術語表（glossary）。在這個階術語表只是實體定義的一個搜集。一個實體定義的構件包括：實體名字，實體定義和實體別名。
;第二階段 – 聯系定義
:聯系定義階段的目標是標識和定義在實體之間的基本聯系。在建模的這個階段，一些聯系可以是未明確的并且需要在后續階段來精制。從這個階段主要的輸出是：
:* 聯系矩陣。要識別在各種實體之間觀察到聯系，可能要求開發一個實體的聯系矩陣來指示出所有可能的實體之間的聯系。
:* 聯系定義。這些定義包括：依賴的指示，聯系名字，和關于聯系的敘事陳述。作為規定聯系的結果，可能還會拋棄一些聯系和增加新的聯系。
:* 實體層次框圖。在建模的這個階段，所有實體都展示為方框并允許未明確聯系。
File:A3 11 Attribute Examples.jpg|特性實例和它們分別的實體實例
File:A3 9 Non-Specific Relationship Refinement.jpg|未明確聯系精制
File:A3 16 No-Repeat Rule Refinement.jpg|對鍵特性應用不重復規則精制
File:A3 19 Path Assertions.jpg|用來去除多余聯系的路徑斷定
;第三階段 - 鍵定義
:鍵定義階段的目標是：
:* 精制來自第二階段未明確聯系。精制聯系的過程將每個未明確聯系轉化或轉換兩個明確聯系，為此演進出新的實體。
:* 定義每個實體的鍵特性。標識鍵的過程包括：標識出一個實體的候選鍵，選擇一個候選鍵作為這個實體的主鍵，標記這個實體的替代鍵。本階段結束時產出鍵特性定義。特性定義包含：特性名字，特性定義和特性別名。
:* 遷移主鍵來建立外鍵。有三個規則支配這個過程：在一個聯系中遷移總是發生于從父或總屬實體到子或分屬實體，整個主鍵（就是這個主鍵的所有成員特性）對這個實體對共享的每個聯系都必須被遷移一次，非鍵特性永不被遷移。
:* 驗證聯系和鍵。應用各種規則對模型進行精制。通過路徑斷定去除多余的聯系。隨著主鍵成員被標識出來，涉及過的特性形成一個特性池。使用實體/特性矩陣來標識整個模型中特性的分布和使用。
File:A3 4 6 Define Key Attributes.jpg|實體/特性矩陣
File:A3 21 Example of Phase Three Function View Diagram.jpg|第三階段功能視圖框圖的例子
File:A3 23 Phase Four - Applying the No Repeat Rule.jpg|對非鍵特性應用不重復規則精制
File:A3 24 Example of Phase Four Function.jpg|第四階段功能視圖的例子
;第四階段 - 特性定義
:特性定義階段的目標是：
:* 開發特性池。擴展第三階段建立的特性池來包含非鍵特性。特性池是潛在可行的特性名字的一個搜集，是在這個模型中用到的特定名字的來源。
:* 確立特性從屬。這一步為每個非鍵特性指定一個所屬實體。
:* 定義非鍵特性。特性定義包含：特性名字，特性定義和特性別名/同義詞。
:* 驗證和精制數據結構。應用各種規則對模型進行精制。
形式化（formalization）的目的，是通過向IDEF1X的每個建模構造，提供到形式的一階語言中的一組等價句子的映射，精確的陳述這些構造意味著什么。圖形語言可以被當作表達等價形式句子的實際的簡潔方式。
IDEF1X結合了關系模型、實體聯系模型和數據泛化的元素。增加了視圖、（glossary）和模型層級的想法，來解決實際中遇到的那種規模的問題。結果是IDEF1X的形式化，不能嚴格的只依據關系模型，而是直接使用一階邏輯。為了增進形式化的能用性，只使用邏輯的有限子集，本質上為入門教程所涵蓋。
一部份的形式化依托于IDEF1X的元模型。形式化中解釋（interpretation）所指定的關系，可以非正式的看作在IDEF1X中使用的常見的樣本實例表。建模構造的形式句子，可以非正式的看作在這些實例表上的初步的查詢語言。元模型、實例表和查詢語言僅憑視角（points of view）自身就是有用的，不依賴于詳細的形式化。
形式化預期向依靠IDEF1X構造的含義的如下領域提供堅實基礎，如SQL或其他代碼生成，與其他建模方式來回轉化，與其他種類的模型集成，像靜態屬性一樣捕獲動態屬性。這些領域都要求形式化提供的嚴格定義的語義。
IDEF1X模型構成自（比如以框圖、語言或表格表達的那些實體、特性和聯系的）一個或多個視圖，加上一組術語定義，至少包括這些視圖（直接或間接）用到的全部的實體和域。形式化處理過程產生相應的一階邏輯中的。
一階邏輯可以被當作是自然語言的用來描述和推理事物的那些方面的形式語言版本。個體事物使用常量、變量和函數符號來指稱；在事物之間的關系使用符號來陳述；而關于事物聯系的句子通過邏輯聯結詞比如與、或、非，和全稱（for all）及存在（for some）量詞來陳述。
一階邏輯理論構成自其中常量、函數和謂詞符號被限定于特定詞匯表（vocabulary）的一階邏輯的語言，加上這個語言中的一組句子（叫做公理）。IDEF1X理論的起點是帶有等式的一階邏輯，假定已有整數和列表的理論的詞匯和公理。補充的IDEF1X的詞匯和公理來自如下本質想法：
*每個有n個特性的實體類都變成一個n+1元謂詞符號。
:這個謂詞將一個實體實例關聯上它的特性值。如果有2個特性的一個實體類被表示為3元謂詞符號p，它的第1個特性是a1，第2個特性是a2，則p(I, A1, A2)意味著，標識為I的個體是這個實體類的成員，并且作為這個類的成員，有一個a1特性值A1，和一個a2特性值A2。如果A1（或A2）是空，這意味著I（所標識的個體）沒有給a1（或a2）特性的值。
*每個聯系都變成一個二元謂詞符號。
:這個謂詞將父實體的實例（的標識）關聯上子實體的實例（的標識）。如果這個聯系被表示為二元謂詞符號r，則r(I, J)意味著，I（所標識的個體）是J（所標識的個體）的父親。
*定義了謂詞exists來說明一個實體或域實例是否存在。
:注意exists不是存在量詞。exists C: I意味著，C: I是一個存在的實體（或域）類實例。在這里如果C是一個實體類，則I是一個實體標識符，如果C是一個域類，則I是一個（representation）值。注意術語C: I只是提名某個事物可以是一個類實例。C: I事實上是一個存在的類實例，當且僅當exists C: I成立。
*定義了謂詞has來說明一個實體實例，是否持有特定的特性值，或者關聯于特定的其他實體實例。
:C: I has P: V意味著，實體類實例C: I，持有屬性P的值，并且這個值是V。屬性（property）P，可以是一個特性（attribute），或一個（participant）屬性。如果P是特性，則值V是域實例。參與屬性引起自聯系，在一個聯系中的每個實體，都為與其有關聯的實體實例持有一個參與屬性，如果P是一個參與屬性，則值V是有關聯的實體實例（的標識符）。
*規則（這個理論中的公理）使用約束實體、域和聯系的謂詞exists和has來書寫。
:不直接使用底層的n元和二元謂詞，轉而依據類實例的存在性和這些實例的屬性值，來表達IDEF1X建模構造的形式含義。用exists和has書寫的句子，可以被非正式的當作對樣本實例表的初步的查詢語言。
IDEF1X所建模的是一個企業所關心的事物，不是這些事物的名目，也不是關于這些事物的數據，一個IDEF1X模型預期成為這個企業所關心的事物的概念模型。這種論域UOD（universe of discourse）在它的模型之外有獨立的存在和現實。在任何時間點上，UOD都處在特定狀態（state）下，就是說有特定的實體實例存在，它有特定的屬性值，并擁有特定的與其他實體實例的聯系。對于任何UOD狀態，一些句子是真的，而另一些句子是假的。一些UOD狀態是可能的，另一些是不可能的。關于UOD的句子是真還是假，不依賴于它的任何模型。
一個IDEF1X模型被認為是正確的，如果它以（relevant）的方式匹配UOD。一個正確的IDEF1X模型允許所有可能的UOD狀態，并拒絕所有不可能狀態，它們直接沖突于這個模型的顯式。換句話說，一個IDEF1X模型是正確的，如果它堅持為真的句子（公理），事實上在所有可能UOD狀態下是真的，在所有不可能狀態下是假的。
真實是依據解釋來定義的。一個解釋將來自UOD的元素指定（assign）給這個理論的符號。特別是，一個解釋將某一個關系指定給每個謂詞符號。作為結果，在理論中的句子變成關于UOD的句子，并且它們的真實要依據UOD的現實來確定。以這種方式，每個句子在這個解釋中要么是真要么是假。一個解釋被稱為一個理論的“模型”，如果這個理論的所有公理在這個解釋中都是真的。一個IDEF1X模型是正確的，當且僅當對應于它的理論，僅擁有所有的將可能的UOD狀態指定給這個理論的符號的那些解釋作為“模型”。
在形式化中，一個實體類（或聯系）成為一個謂詞符號。在邏輯中，一個解釋將一個關系指定給這個謂詞符號。在預期解釋中，針對一個IDEF1X模型的UOD構成自：視圖、實體、域、域實例、視圖實體、視圖實體實例，視圖聯系、視圖聯系實例、視圖實體特性和視圖實體特性值。這些在IDEF1X中都非正式的用樣本實例表來展示。非正式的實例表是對指定給謂詞符號的形式關系的一種表示。在形式化的語境中，樣本實例表展現了一個（可能的）UOD。在示例的樣本實例表的左側的iN表示被歸類為是對應于這個表的實體類的成員的一個“事物”的標識。
IDEF1X可以被用來建模IDEF1X自身。這種元模型有多種用途，比如倉庫（repository）設計、工具設計或用于規定有效的IDEF1X模型的集合。依賴于用途，會得到略微不同的模型。對元模型有兩個重要的限制。首先它們規定語法而非語義。其次元模型必須補充采用自然或形式語言的約束。IDEF1X的形式理論提供了表達所需約束的語義和方式二者。
IDEF1X標準在規定了IDEF1X模型到一階理論的映射之后，定義了IDEF1X元模型。在這個模型上的約束使用一階語言來表達。這些約束成為這個元模型的IDEF1X理論的一部份。一個有效的IDEF1X模型接著被定義為這個元模型的IDEF1X理論的“模型”。
面向對象（OO）世界觀的涌現已經嚴重影響了IDEF1X的演變。對象范型采用了根本上不同的世界觀。在這個范型中，建模方法可以歸結為：
*沒有獨存（free-standing）的活動。活動是通過對象的協作完成的。
*知識和行為是在責任（responsibility）抽象后面的，在一起考慮的，同一對象的不同方面（aspect）。
這種方式中，建模技術的主要目標是：
*提供理解和分析一個機構關切的對象的方式。
*提供表示和推理這些對象的通用方式。
*提供體現運行一個企業所需的對象的總體視圖的方法。
*提供定義可被用戶檢驗并轉化成物理設計的不依賴于應用的對象視圖的方式。
D/P和OO范型的方式是不同的。對于IDEF1X，從D/P和OO方式涌現出來的概念不是完全不兼容的，實際上概念有高度的對應性。
數據/過程范型假定
面向對象范型假定
實體實例是一個企業需要為其保管數據的人、處所或事物（等）。
對象是具有相關的知識（數據）或行為（過程）的與眾不同（distinct）的事物。
對象合并了數據和過程（知識和行為）并將它們隱藏在責任抽象的后面。
沒有獨存的數據。所有數據都圍繞著共享的一個企業的真實世界實體而組織。數據是通過過程來訪問的并遍及應用共享的。
沒有獨存的知識（數據）。所有知識都圍繞著共享的一個企業的真實世界對象而組織。知識對遍及應用的其他對象是通過請求而可獲得的（和可修改的）。
在D/P范型中，過程直接訪問并改變一個實體的數據。在OO范型中，必須向一個對象請求它的知識，它的知識不是可以直接訪問的。只有對象自己可以改變它的知識。一個對象的知識是來自記憶還來自推導只有這個對象知道。
過程是獨存的。過程是圍繞功能來組織的，過程訪問實體并獨一于一個應用。
沒有獨存的行為（過程）。所有行為都圍繞著共享的一個企業的真實世界對象而組織。行為是對象的責任，并且對遍及應用的其他對象是通過請求而可獲得的。
在OO范型中，所有過程都通過對象的行動來完成。一個對象通過利用自己和經過請求利用協作對象的知識和行為來行動。對一個請求確切的做了什么只有這個對象知道。
類似的實體實例被歸類入類，而類通過聚集和廣泛化關聯起來。
類似的對象（實例）被歸類入類，而類通過聚集和廣泛化關聯起來。
本質上相同的想法，除了對象類包括行為之外。
一個類中每個實體實例都通過它的數據值來區別于所有其他實例。
每個對象都不同于所有其他對象。它有著內在的、不可變的標識，不依賴于它的知識、行為或類。
OO模型能夠將被D/P范型當作不可區分的東西識別為不同的。
有在數據上的約束。
有在知識和行為二者上的約束。
對象模型需要更一般種類的約束。
規則是通過定義支持它們的過程而并入的。
規則是通過定義支持它們的行為而并入的。
D/P和OO范型在這點上都是可以改進的。如果規則可以解脫于行為就更好了。
IDEF1X97的語言構造包括：
; 類: 類是一組類似的事物的知識和行為的抽象。被歸類入一個類的任何事物都被稱為這個類的實例。給定類的所有實例都有相同的責任。就是說它們擁有相同種類的知識，展現相同種類的行為，服從相同種類的規則。實例是離散的，它給事物綁定上一個內在的、不可變的和唯一的標識。
:每個類要么是狀態類要么是值類。
:*狀態類。狀態類表示帶有可變更狀態那些實例。它的實例可以有來往（come and go）并隨時間而改變，就是說它們的屬性值可以變更。
:*值類。值類表示純值的那些實例。它的實例不可來往并不可變更。
; 泛化: 類被用來表示“具有的知識或行動的那些事物”的概念。由于一些真實世界事物是其他真實世界事物的廣泛化，一些類必須在某種意義上是其他類的廣泛化。向更一般性的一個類指定了增補的、不同的責任的一個類，叫做這個更一般性的類（它的超類）的子類。這個子類的每個實例都表示與它的超類中的實例相同的真實世界事物。類結構作為一個廣泛化分類法（層級或網絡），確定在這些類之間的責任繼承。
; 聯系: 聯系表達在兩個狀態類之間的聯結，它被視為相關于特定的范圍和用途。它以這些實例據此而有關的那種意義來命名。
; 責任: 一個實例擁有知識，展現行為，服從規則。這些概念在集體上的被稱為這個實例的責任。一個類抽象了共同于它的實例的責任。在最初的模型開發期間，責任可以簡單的用一般性術語來陳述，并且不明顯的區分為特性、參與屬性、操作或約束。還可以指定（aggregate）責任，而非個體屬性。寬泛陳述的責任最終被精制為特定的特性和約束。
:*屬性。一些責任由知識和行為來承擔，而它們順次由屬性來確定。屬性是顯露一個對象的知識或行為的某些方面的，（inherent）的或獨特的特征或特質（trait）。有三種屬性（property）：特性（attribute）、源于聯系的（participant）屬性和運算（operation）。類擁有屬性，實例擁有屬性值。
::#特性。特性是從一個類到一個值類的映射。一個特性表達一般共同于一個類的那些實例的一些特征。特性的名字是這個值類在描述這個類時所扮演的角色的名字，它可以簡單的是這個值類的名字（只要使用值類名字不導致歧義）。
::#參與屬性。參與屬性是從一個狀態類到一個有關的（不必須不同的）狀態類的映射。當在兩個狀態之間存在聯系的時候，每個類都為這個聯系包含一個參與屬性。每個參與屬性的名字都是其他的類在這個聯系中扮演的角色名字，它可以簡單的是在聯系另一端的類的名字（只要使用這個類名字不導致歧義）。參與屬性的值是一個有關實例的標識。對于其中可以有很多有關實例的聯系，這里的一個參與屬性按上述描述來命名但后綴著(s)，它是從這個狀態類到一個搜集類的映射，這個搜集的成員是有關的那些實例。
::#運算。類的運算規定它的實例的行為。運算是從這個類的那些實例和輸入參數類型的那些實例（的叉積），到另一個（輸出）參數類型的那些實例（的叉積）的映射。如若特性或參與屬性是一個實例知道什么的抽象，則運算是一個實例做什么的抽象。
:*約束。其他的責任通過符合約束來承擔。約束是對一個類或一個類的實例要求為真的那些事實的陳述。約束以關于屬性值或約束的邏輯句子的形式來表達。一個實例符合這個約束，如果這個邏輯句子對這實例為真。一些約束固有于建模構造中，并可輕易的使用圖形來表示；另一些約束特定于特殊的模型，并使用規定語言來陳述。
:*注解。注解（note）是描述一些一般性注釋或關于模型某部份的特殊約束的自由文本的主體。前導于使用規定語言捕獲約束，注解可以用在早期的高層視圖中，注解可以通過提供解釋和例子進一步的澄清一個規則。注解還可以用于不涉及規則的有“一般性利益”的注釋。這些注解可以伴隨于模型圖形。
; 請求 : 請求（request）是從一個對象（發送者）發送到另一個對象（接收者）的一個消息，指導接收者履行它的責任。特別是，一個請求可以針對一個特性的值，針對一個參與屬性的值，針對一個運算的應用，或針對一個約束的真值。
; 實現: 責任的實現（realization）規定如何承擔責任。一個實現被陳述為給出承擔責任的必要和充分條件的邏輯句子。
; 模型下部結構構造: 建模構造是以視圖來體現的，并且被包裝為模型，提供文檔元素比如文字描述。
:*視圖。視圖是主題域、類、聯系、責任、屬性、約束和注解（和可能的其他視圖）的搜集，為特定用途而組裝或建立并覆蓋特定范圍。視圖可以覆蓋整個建模領域或只是這個領域的一部份。
:*層次。層次是一個視圖的覆蓋范圍和詳細程度的指定。有多個層次的視圖。
:*環境。環境是概念空間，就是說在其中概念有一致的含義和用于這個概念的一個或多個一致的的名字。所有視圖都為特定環境而開發。
:*術語表。術語表是在一個環境中可以用來定義概念（視圖、主題域、類、聯系、責任、屬性和約束）的所有術語的名字和描述的搜集 。模型術語表是出現在一個模型的視圖中的所有定義了概念的名字和描述的搜集。
:*模型。模型是一個或多個視圖和與之一起的敘事描述和對視圖及在模型的視圖中使喚的視圖構件（類、責任等）的規定語言的包裝。
* Enterprise Architect，支持IDEF1X。
* ，形式化于STEP (ISO 10303)。
* DBeaver，它的實體聯系圖缺省使用IDEF1X表示法。
* Thomas A. Bruce (1992). ''Designing Quality Databases With Idef1X Information Models''. Dorset House Publishing.
* Y. Tina Lee & Shigeki Umeda (2000).  "An IDEF1x Information Model for a Supply Chain Simulation".
*  ISO/IEC/IEEE 31320-2:2012
*  FIPS Publication 184 Announcing the IDEF1X Standard December 1993 by the Computer Systems Laboratory of the National Institute of Standards and Technology (NIST). (Withdrawn by NIST 08 Sep 02 see  Withdrawn FIPS by Numerical Order Index)
*  Federal Register vol. 73 / page 51276 withdrawal decision
*  Overview of IDEF1X at www.idef.com
*  IDEF1X Overview from Essential Strategies, Inc.
大旗嶺是香港一條位於元朗區十八鄉的鄉村，為一條非原居民鄉村。2019年，該村居民數量約為300多戶。
在區議會選區劃分上，大旗嶺於2019年選舉中為十八鄉中選區的一部份。
子養書室於1924年建成，於日佔時期前曾用作該村及馬田村的子弟的舊式學府，後來停辦並於1970至80年代改為幼稚園。該書室亦為梁氏族人的祠堂，於2010年1月獲確定為三級歷史建築。
近年隨著元朗區區內發展，加上該村並非原居民鄉村，成為政府在發展時的優先用地選項，而該村的村民亦從未獲當局承認其居住權，導致該村規模亦因物業發展而不斷縮小。據當區居民指出，受近年尚悅、蝶翠峰等私人發展項目相繼落成影響，該村在雨季易受內澇影響，令房屋受淹浸，尤其以2018年颱風山竹為甚；而部份村屋因日久失修亦因而出現裂痕。
2019年，村內的嶺文學校在毫無事前諮詢下被政府拍賣出售，亦惹來該村居民批評政府漠視他們意見，又指將學校地皮放售對當年捐款興建該校的一眾善眾人翁而言「並不公道」。
*  居民代表選舉大旗嶺（一）（十八鄉）的劃定現有鄉村範圍（2019至2022年）
*  居民代表選舉大旗嶺（二）（十八鄉）的劃定現有鄉村範圍（2019至2022年）
巴伐利亞的阿黛爾岡德（，），巴伐利亞末代國王路德維希三世的長女。
1915年，阿黛爾岡德與霍亨索倫親王威廉結婚，兩人沒有子女。
《盜夢偵探》是一部於2006年上映的日本動畫電影，由動畫導演今敏執導，劇情改編自日本作家筒井康隆的同名科幻小說，不過內容上做了變動和大幅精簡。本片的主角是精神治療醫師千葉敦子博士，她所在的研究所發明了可以進入夢裡的夢境機器。然而夢境機器的使用裝置遭人偷走，為了避免釀成大禍，敦子和她在夢中的化身「紅辣椒」開始追查兇手。
原作小說於1990年代在雜誌上發表，因為真人電影企劃難產，作者筒井於是在2003年找上了今敏，請他改編成動畫片。今敏受到筒井的作品影響甚深，因此欣然接受。本片的主題是「夢與現實」，故此今敏在構思階段致力於設法呈現夢境的感覺，結果因為求好心切，造成分鏡稿的製作嚴重超時。本片的動畫製作按照今敏作品的慣例由MADHOUSE負責，技術上除了手繪動畫外還結合了電腦繪圖（CG）。
本片是今敏繼《藍色恐懼》（1997年）、《千年女優》（2002年）和《東京教父》（2003年）之後的第四部動畫電影作品，也是他在2010年過世之前完成的最後一部作品。本片首先於2006年9月2日在義大利的第63屆威尼斯國際電影節上首映，隨後於同年11月25日在日本院線上映。本片獲得國內外影評人的好評，劇情、視覺呈現、動畫水準和配樂皆得到肯定，但也有批評情節和畫面無趣的意見。
本片以一段馬戲團的畫面為開場。刑警粉川原本在觀眾席等著緝捕犯人，卻遭到臺上的魔術師玩弄，經歷了一連串電影般的冒險。最後他到了一個走廊，看見自己正在負責的殺人案的被害者倒下，而兇手從走廊盡頭的門逃逸。粉川在墜落中驚醒，在他身旁的是在夢中陪著他的女性「小辣椒」。原來粉川正在接受小辣椒以「夢境機器」的裝置「DC迷你」進行夢境心理治療，夢境顯示出了他的焦慮，他也表示自己並不喜歡電影。之後小辣椒留下名片後就離開了。
過場後鏡頭轉到日本的一家精神醫療綜合研究所。所謂的「夢境機器」就是該研究所發明的一種精神治療機器「PT Machine」，可以通過「DC迷你」從夢境中尋找隱藏在患者潛意識中的心理疾病的病根，然後有針對性地進行治療。負責DC迷你研究的千葉敦子博士是一位精神治療醫師，而DC迷你的發明者則是敦子的同事兼天才科學家時田浩作博士，是個體型肥胖的書獃子。在DC迷你的幫助下，敦子擁有了一個分身——夢偵探「小辣椒」。由於DC迷你還處在審查階段，敦子透過這個分身秘密地在夢境中給予患者治療。
一天，研究所的三具DC迷你遭竊，隨著裝置一起失蹤的還有時田的助手日森啓，敦子懷疑這絕非巧合。DC迷你不只可以幫助修復心靈創傷，還能通過夢境來操縱一個處在睡夢中的人的記憶和行為，如果落入壞人手中後果不堪設想。加上DC迷你還未被政府批準正式使用，裝置遭竊一事很可能會導致整個計劃被政府勒令停止。
裝置失竊不久，參與此裝置研究的所長寅太郎和幾位研究員相繼發瘋，他們的癥狀非常一致，就是在醒著的時候仍然如墮夢中。他們在夢中皆被一個日本玩偶所迷惑，加入了同一列光怪陸離的遊行隊伍，亦即陷入了同一個「集體夢境」。由於寅太郎一直處在睡夢中無法醒來，已經瀕臨死亡，敦子決定鋌而走險，以小辣椒身份進入寅太郎開始變得混沌的夢境之中，將寅太郎的意識拉出來。
粉川透過網站進入夢境與小辣椒會談，小辣椒要帶著他去看電影，粉川卻打從心底抗拒電影。與此同時，敦子決定親自調查「DC迷你」失竊事件的真相，時田T恤上的一個圖案給了她靈感，讓她找到了日森所在的位置，然而卻發現日森也不過是個受人擺布的傀儡。因為發瘋者引發的事件，粉川與研究所人員會談，與敦子（小辣椒）見到了面。之後他又做了一次類似的夢，不過這次殺人的兇手和被害者都變成了他。觀看著夢境的小辣椒點破粉川其實是喜歡電影的，也指出他可能也擁有「另一個自己」。
時田聽了敦子的訓導後試圖挽救局面而透過日森進入了集體夢境，但也遭到迷惑，變成了機器人。敦子跟著進入集體夢境，發現真正的幕後黑手其實是研究所的理事長乾精次郎，卻遭到精次郎和幫兇——同事小山內守雄逮到。正在夢境中的粉川因為小辣椒不在而和酒保談了自己的過去——他曾經和一個朋友共享過一個電影夢，但他最後選擇放棄夢想當上刑警，朋友也病死了，讓他備感愧疚。他在夢境中看到的殺人現場就是他們拍過的一部警匪片裡的橋段。這時他發現夢境和集體夢境接上了，並看到小辣椒正遭小山內羞辱，於是跨到小辣椒那邊，射殺小山內將她救出。粉川情不自禁給了她一吻，意外讓敦子在現實中醒來。
敦子表示這個集體夢境會吞噬其他夢境，果然不久後集體幻想的力量就開始大到足以讓夢境擴展到現實中。黑暗開始吞噬整個世界，精次郎的化身——強大的「黑暗之王」也從夢境中跨越到現實中。粉川、寅太郎和從夢中走出來的小辣椒與敦子並肩戰鬥，敦子察覺到了自己對時田的心意，與時田融合後變成和黑暗之王類似的化身，將夢境和黑暗之王盡數吸取，成功擊敗精次郎。事件過後，敦子與時田結婚，而粉川也發現他記憶中的朋友其實就是「另一個自己」，而他選擇成為刑警其實反而將「他們」的夢想給具現化了。粉川露出笑容，並去看小辣椒推薦給他的電影。
研究所的研究員，28歲的迷人女性，「DC迷你」開發組副主任。以DC迷你治療患者時會變成夢中的18歲分身「小辣椒」。敦子性格高冷，小辣椒則較為活潑熱情。
研究所的理事長，坐著輪椅，主張不該讓科技過度發展。
研究所的所長。
研究所的研究員，DC迷你的發明者，雖然是天才但體型肥胖、心智未成熟。
刑警，深受往事困擾而陷入精神焦慮，經大學同學寅太郎介紹接受小辣椒的DC迷你治療，透過網站「電臺俱樂部」進入夢境，對她有好感。
研究所的研究員，曾透露自己嫉妒敦子的才華，喜歡敦子。
粉川的故友。
研究所的研究員，時田的助手，竊取DC迷你的嫌犯。嫉妒時田的才華。
研究所的研究員，被夢境迷惑。
夢境遊行的娃娃。
電臺俱樂部的服務生，引領粉川進入夢境。
電臺俱樂部的酒保，引領粉川進入夢境。
* 企畫：丸山正雄（MADHOUSE）
* 人物設定?作畫監督：安藤雅司
* 作畫監督補佐：井上俊之、井上銳、
* 色彩設計：橋本賢（DR TOKYO）
* 剪輯：（瀨山編集室）、神宮司由美（DR TOKYO）
* 音響制作：（中島朋子、丸浩育）
* 制作擔當：橋本健太郎（MADHOUSE）
* 副製片人：二方由紀子（MADHOUSE）、森島太朗
* 助理製片人：原史倫（MADHOUSE）、小川淳
* 製片人：丸田順悟（MADHOUSE）、（SONY PICTURES）
* 製作：製作委員會（MADHOUSE、SONY PICTURES ENTERTAINMENT）
* 片尾曲：平澤進「白虎野の娘」（作詞?作曲?編曲：平澤進）
本片是今敏繼《藍色恐懼》（1997年）、《千年女優》（2002年）和《東京教父》（2003年）之後的第四部動畫電影作品，今敏在接受NHK訪問時表示，他是抱著「要做一部集大成之作」的想法來製作本片。本片的製作耗時兩年半，製作腳本需要半年，之後的動畫製作和錄音則又花了兩年的時間。
本片改編自筒井康隆的同名科幻小說《盜夢偵探》，該作於1991年至1993年於女性雜誌《Marie Claire》上連載。小說面世後，有許多電影製作者前來叩關想改編這部作品，筒井對於相關企劃也相當熱衷。然而，《盜夢偵探》因為包含充滿想像力的夢境情節而難以拍成真人電影，在討論的最後階段因為成本問題而流產。筒井承認拍這樣的電影的確很花錢，但認為依舊是可行的，對於企劃取消表示遺憾。2003年，筒井在《Anime》雜誌贊助的活動上認識了動畫導演今敏，便主動詢問他有沒有興趣改編《盜夢偵探》。今敏受到筒井的作品影響甚深，也相當喜愛《盜夢偵探》這部小說，當下對於這份邀約感到驚訝。今敏在1998年就認真考慮拍過《盜夢偵探》，但覺得難度相當高，也因為《藍色恐懼》的發行公司雷克斯娛樂（Rex Entertainment）破產，使得這個製作想法被迫拖延。如今原作者親自上門請求，今敏告訴自己這就是命中註定，於是改編企劃開始進行。
今敏相當欣賞《盜夢偵探》對夢境的描寫，並著迷於在夢境和現實間搖擺不定的感覺。受到該小說影響，今敏早在製作《藍色恐懼》和《千年女優》時就想著要呈現出和小說類似的效果，試圖讓作品迷離在夢境與現實、幻覺與現實、記憶與現實之中。今敏表示，小說出版已十餘年（至2007年時），包含他自己在內已經有很多創作者從中汲取靈感，故此以拍出一部緊扣原作的電影為方向是不可行的，而且原作的內容量過於龐大，一部電影無法言盡。他決定將原作內容濃縮，再融入其他筒井作品的想法，建構出電影的框架；像是被夢境迷惑的所長和研究員滿口的胡言亂語就是以筒井拿手的文字遊戲為藍本。今敏稱本片不只是對原作的改編，也是對筒井作品的致敬。
對於此次有關夢境的題材，今敏表示，以往的作品都受限於「現實的框架」，只是稍微轉換視角而已，而這次的《盜夢偵探》不一樣。夢是離現實框架最遠的東西，雖然有很多內容能透過技術層面來展現，但如果想法本身就受到限制，技術也沒有用武之地。面臨這項挑戰，今敏使用了一種他稱為「流氓類比」的方法，類比的概念取自電腦術語，大意為「以某一種東西為基礎，在那之上再使用另一種東西」。今敏依循這個概念，在現在已經「成年」、想像力衰退的自己之上，建構一個「流氓」般的自己，在成年的自己的框架下發揮年輕人的想像力。今敏覺得這種方法同時也讓他貼近了角色心境，因為敦子和小辣椒的關係差不多也是如此——小辣椒就是那個建立在敦子之上的人格。不過今敏也期待「流氓」自我總有一-{天能}-突破「成人」自我的束縛，盡情揮灑想像力，並表示這在某種程度上似乎已經實現了。
今敏表示，他所注重的就是電影核心是「雙面性」、「多面性」和「對照性」，以及這些概念之間的平衡。今敏指出，最簡單的例子就是敦子和小辣椒，明明是同一個身體卻有兩種截然不同的人格。他認為敦子的性格是心理學中說的「父之女」，循規蹈矩且壓抑自我，而這些現象越明顯，敦子的另一面——小辣椒就變得越情感豐富和奔放。雙方各有優缺點，所以重點在於拿捏好平衡，片尾出現的巨大敦子化身就是雙方融合的成長型態。不過這僅止於同一個個體內部的雙面性和對照性，今敏表示，這個概念也同樣適用於電影中的角色關係，像是敦子與時田、乾精次郎與島寅太郎，這兩個組合無論是在個性還是外貌上都有著強烈的對比。至於乾精次郎和小山內，兩人雖然在年紀和長相上都相去甚遠，但性格頗為相似。粉川和島寅太郎是朋友，外表卻相差很多，最後是敦子和小山內，兩人的容貌都很俊俏，看起來很登對，但立場卻是水火不容。今敏認為：身為一個人，要在兩個缺乏平衡的自己中找到平衡；而與另一個人做伴，一樣要在缺乏平衡的彼此間找到平衡，這樣的想法正體現在敦子和時田的關係上。
今敏在受訪時列舉了幾部他喜歡的夢意象電影：法國電影《》（1995年）、英國電影《妙想天開》（1985年）和美國電影《》（1972年）。
今敏表示，他在導演《盜夢偵探》之前的作品幾乎都是以說故事為主，現在他認為畫面是呈現故事的更佳方式，於是盡可能地簡化故事，讓觀眾有時間欣賞畫面。他相信只要營造出畫面的流動和對比，即使內容難以言盡，畫面和故事的流動終究傳達給了觀眾。今敏也沒有沿用原作透過文字挑起想像力的手法，而是嘗試構思更直觀、不需要解釋的圖像表現。他指出，小說有需要時隨時可以提供文字解釋來讓觀眾接收到夢境的畫面，但在動畫中進行解釋無非是種停滯。片中有時會反覆出現同樣的畫面或場景，但會有些許不同之處。今敏稱，人們的夢境本來就常出現重複的現象，在電影中的呈現是他有意為之。今敏先前的作品《藍色恐懼》和《千年女優》裡也有出現重複的意象，他表示，這種手法不僅僅是重複而已，同一個場景中出現的細微變化也象徵著夢的展開，且隨著時間的流逝還能夠表現出角色心境的變化。今敏認為，看著同樣的場景出現細微變化，觀眾也很容易注意到，而這種做法也是原作小說等文字媒介難以呈現的。
今敏表示，他在製作本片的時候還沒有掌握到保持靈感源源不絕的方法，在夢中場景的發想上尤其面臨瓶頸。今敏指出，夢境中不存在清醒時的邏輯和言語，且是由專司畫面聯想的右腦，而非專司邏輯的左腦所負責，如果想只透過話語和邏輯來將夢境形象化，反而會和夢的意象漸行漸遠。因為無法從睡眠中汲取靈感，今敏在製作分鏡稿時運用了聯想的手法。他大量攝取來源，諸如畫集、照片集、音樂等創作，以及自身夢境和經歷、與工作人員的談話等等。他表示，「（這些來源中）都有一個吸引我的意象會出現在我的腦海裡。並不是要將這個意象還原出來，而是將這個意象和各種若即若離的東西聯繫在一起，這個時候我就會發現一個我從未想見的意象。」他會將這個新誕生的意象畫成畫面，接著再盡可能發想出該圖有所聯繫的畫面，最後再縮小範圍，如此不斷重複。今敏表示，在做這方面的思考時，考慮的並不是這個畫面和所在片段及劇情搭不搭，而是在視覺上能不能契合：如果畫面彼此間太相近，結果會缺乏飛躍感，如果畫面彼此間相去太遠，之間的聯繫就太難發現。今敏結論道：「所以說，分鏡作業延遲不是沒有原因的。」