3 The Relational Model
這章在講 relational model 長什麼樣子
首先會有一個集合 att 包含了所有可能的 attributes
接著會有定義域 dom
大概是因為都是可數的，所以通常所有 attribute 都是共用 dom 不需要區分
如果真的要區分，就用一個函數 Dom, Dom(A) 是 attribute A 的 domain
接著會有集合 relname 代表 relation 的名字，或者也叫 relation schema
sort: relname -> P^{fin}(att) 將一個 relation name 映射到 att 的某個有限子集合
其實就是這個 relation 的 attribute
在這裡出現第一個不同看待 relation model 的方式
就是 attribute 要不要有名字
仔細想想的確可以不需要名字
畢竟可以用第幾個 attribute 來指定
第二個區分是 conventional 與 logic programming
差別在對 instance 的看法不同
在我看來區別在 logic programming 的 database instance 是對 relation 做 union
其實我不太不確定這樣做的理由
可能之後用到 logic programming 的時候才會比較知道好處在哪
照書上的說法，這兩個區分幾乎所有情況都是等價的
只是在某些情境其中一種看法會比較自然
所以他才不讓整本書都是同一種定義
https://i.imgur.com/MEUsJ4D.png