DEDUCTIVE DATABASES  DATALOG
APPROACH
This subject is offered at School of Information Systems,
Queensland University of Technology for postgraduate students during the
period of 19931995. 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, truthtables, 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, axiombased
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 (objectoriented logics, LOGIN [AitKaci
and Nasr], FLogic [Kifer and Lausen], LDL+ [Tsur and Zaniolo])
Tutorials
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 AitKaci and R Nasr, "LOGIN: A Logic Programming Language
with Builtin Inheritance". Journal of Logic Programming, 2(3), pp. 187215,
1986.

M Kifer and G Lausen, "FLogic: A HigherOrder Logic Language
Reasoning about Objects, Inheritance, and Scheme". Proc. of the Int. Conf.
on Management of Data, Portland, June 1989, pp. 134146.

S Tsur and C Zaniolo, "LDL: A Logic Based Data Language".
Proc. of the 12th Int. Conf. on Very Large Database, Tokyo, 1986.
Contact (email): zahirt@cs.rmit.edu.au