Database Systems Week 7

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

Leave a Reply

Your email address will not be published. Required fields are marked *