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