模型理論與實踐/概述與簡單案例

事物的屬性概念

屬性：區分綿羊和山羊 ->尋找屬性。

對於具有屬性 R 的元素 x，我們寫成 R(x)。

屬性可用於定義集合。(內涵定義)

集合也可以透過指定其所有物件來定義。(外延定義)

關係概述

物件之間的‘關係’，例如人駕駛汽車，正式寫成：Drives(person, car)，Drives(Walter, Mini)

符號：表格、矩陣、圖形，...

二元關係：R(x, y)，例如 ...

N元關係：R(x₁, x₂, x₃, ..., x_n)，例如 ...

屬性 = 一元關係 R(x)。

本章結構

• 簡單案例：R(x)
• 用概念建模：R(x)，S(y)，T(z)
• 用模組建模：R(x, y, z)

其中概念和模組是處理兩個方向上的複雜性的基本方法。

此外，這兩個方向可以組合起來。這將在下一章中分析。

未涵蓋：軟關係，...