Table of Contents
Logic and Databases
Boolean Logic
Limitations of Boolean Logic
Conjunctive Normal Form (CNF)
Conversion to CNF
Conversion to CNF (example)
Clauses
Clause sets
Horn Clauses
Horn Clauses
Resolution
Resolution (examples)
The closure of a clause set under resolution
Closure (Example)
Closures
Predicate Logic
Well Formed Formulae (wff)
Open and Closed Formulae
Deductive Databases
Deductive Databases
Assumptions:
The Use of Logic in Databases
Queries in Deductive Databases
|