DEDUCTIVE DATABASES -- DATALOG
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
Quick Look [click]
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
Automated Deduction (resolution)
Part 2: Logic
(meaning of rules, the model)
with Recursion (the extended model, evaluating recursive rules, computing
the meaning of recursive rules)
with Negation (the extended model, stratified datalog equations, algorithms)
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])
Contact (e-mail): email@example.com
J Ullman, "Database and Knowledge Base Systems". Vols 1 &
2, Computer Press, 1988.
LTF Ganut, "Introduction to Logic". The University of Chicago
H Ait-Kaci and R Nasr, "LOGIN: A Logic Programming Language
with Built-in Inheritance". Journal of Logic Programming, 2(3), pp. 187-215,
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.