二、Theoretical Background
這章是在帶出需要的背景知識
主要有三個
1. 離散裡的 relation
這還蠻顯然的，畢竟是 relational database
自然 relation 就是主角
2. 計算理論的自動機、圖靈機等等
猜不太到之後會怎麼討論到這一塊
不知道是寫爽的還是之後真的會需要討論是不是可計算問題
3. Logic
提到了 propositional logic 和 first order logic
不過最後也提到 database 主要用的是 finite model theory
也就是 interpretation 必須是有限的
這我就沒看過了
好像在一些情況會有不一樣的結果
希望這部分不會太難