Research and Teaching Papers
The following research papers contain material that is complementary to
the content of the course.

Stephen G. Simpson,
Theorems of Church and Trakhtenbrot,
Material for Course "Math 557: Mathematical Logic" at Penn State University

Alan M. Turing,
On Computable Numbers, with an Application to the Entscheidungsproblem,
Proceedings of the London Mathematical Society, Series 2, 42 (19367), pp 230265

Sha Guo, Wei Sun, Mark Allen Weiss:
Solving Satisfiability and Implication Problems in Database
Systems,
ACM Trans. Database Syst. 21(2): 270293 (1996)

Ashok Chandra, Philip Merlin,
Optimal Implementation of Conjunctive Queries in Relational Databases,
9th Annual ACM Symposium on Theory of Computing, 7790 (1977)
This is the classical paper that laid the foundation for the theory of equivalence, containment, and minimization of conjunctive queries.
Back to the course home page