二、Theoretical Background
这章是在带出需要的背景知识
主要有三个
1. 离散里的 relation
这还蛮显然的，毕竟是 relational database
自然 relation 就是主角
2. 计算理论的自动机、图灵机等等
猜不太到之后会怎么讨论到这一块
不知道是写爽的还是之后真的会需要讨论是不是可计算问题
3. Logic
提到了 propositional logic 和 first order logic
不过最后也提到 database 主要用的是 finite model theory
也就是 interpretation 必须是有限的
这我就没看过了
好像在一些情况会有不一样的结果
希望这部分不会太难