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

• The Application of First-order Logic in Relational Database