The Application of First-order Logic in Relational Database

• 一阶逻辑在关系数据库中的应用