DEDUCTIVE DATABASES -- DATALOG APPROACH

This subject is offered at School of Information Systems, Queensland University of Technology for postgraduate students during the period of 1993-1995. The content of this subject is based to the recent developments on deductive databases, especially the relational deductive database systems.

Quick Look [click]

Lectures

Part 1: Fundamentals of Logic [Ganut]

Fundamentals of Logic (introduction, notations, notions)
Propositional Logics (syntax, truth-tables, valid arguments, semantics of propositional logics)
Predicate Logic (introduction to predicates, syntax of predicate logic, substitution, semantic of predicate logic)
Arguments and Inference (proof theory, truth trees, axiom-based proof systems)
Automated Deduction (resolution)

Part 2: Logic Databases [Ullman]

Datalog (meaning of rules, the model)
Datalog with Recursion (the extended model, evaluating recursive rules, computing the meaning of recursive rules)
Datalog with Negation (the extended model, stratified datalog equations, algorithms)
Datalog with Functions (the extended model, evaluation logic with functions, Top down processing of logic, unification)
More About Logic (object-oriented logics, LOGIN [Ait-Kaci and Nasr], F-Logic [Kifer and Lausen], LDL+ [Tsur and Zaniolo])

Tutorials

DATALOG Exercises

Assignments

Recommended Books

J Ullman, "Database and Knowledge Base Systems". Vols 1 & 2, Computer Press, 1988.
LTF Ganut, "Introduction to Logic". The University of Chicago Press, 1991.
H Ait-Kaci and R Nasr, "LOGIN: A Logic Programming Language with Built-in Inheritance". Journal of Logic Programming, 2(3), pp. 187-215, 1986.
M Kifer and G Lausen, "F-Logic: A Higher-Order Logic Language Reasoning about Objects, Inheritance, and Scheme". Proc. of the Int. Conf. on Management of Data, Portland, June 1989, pp. 134-146.
S Tsur and C Zaniolo, "LDL: A Logic Based Data Language". Proc. of the 12th Int. Conf. on Very Large Database, Tokyo, 1986.

Contact (e-mail): zahirt@cs.rmit.edu.au