COMS W4117
Compilers and Translators:
Software Verification Tools
Lecture 14: Datalog
October 23, 2007

Lecture Outline

  1. Review
  2. Introduction to Datalog
  3. Datalog rules
  4. Execution of Datalog programs


1. Review



2. Introduction to Datalog



3. Datalog Rules

4. Execution of Datalog Programs



5. Reading



aho@cs.columbia.edu