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
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