Next:
Review of logic.
From first-order logic to relational queries
Review of logic.
Zeroth order logic or propositional calculus.
First order logic.
Free and bound variables
Connection with relational databases
Safe and Unsafe formulas
The natural universe of discourse.
Bars, Beers, and Drinkers
A simple query
A slightly more complex example
Fussy drinkers
About this document ...
Justin R. Smith 2001-04-06
