Covered the following subjects
Using logic to model the RDB
The Model Theoretic approach
The Proof Theoretic approach
Recasting RDBs into First Order Logic, and why the full expressiveness isn’t really required
Clausal Form: clauses, definite clauses, assertions, goal clauses and Horn clauses
Harland article: An Introduction to Deductive Database Language and Systems
The Datalog Educational System can be downloaded for most platforms – the Windows executable can use the ODBC interconnectivity layer to connect to Access database files.
There is a good introduction to this material in Elmasri, R., Navathe, S., Database Systems, 6th Ed.: Chapter 24 pp. 906-920