Topics covered with links to notes and presentations.

Acknowledgment:

Lecture Notes and PPT Slides of Jeff Ullman are used.

• Relational Algebra. Complete Set (PPT with voiceover) . . . Complete Set (GIF) . . . One-At-A-Time (GIF)
• Introduction to SQL. Complete Set (PPT with voiceover) . . . Complete Set (GIF) . . . One-At-A-Time (GIF)
• More SQL: Aggregations, Modifications, Advanced Operations. Complete Set (PPT with voiceover) . . . Complete Set (GIF) . . . One-At-A-Time (GIF)
• Yet More SQL: Views, Data-Definition. Complete Set (PPT with voiceover) . . . Complete Set (GIF) . . . One-At-A-Time (GIF)

• Introduction to Datalog, Stratified Negation PPT (2003) PDF (2003) Postscript (2001) PDF (2001)
  • More detailed notes from 1999: Postscript PDF
• Locally stratified models, Stable and Well-Founded Models PPT (2003) PDF (2003)
  • More detailed notes from 2001:
    • Locally stratified, Stable models: Postscript PDF
    • Well-founded models, Modularly stratified models: Postscript PDF

• Conjunctive Queries and Their Containment PPT (2003) PDF (2003) Postscript (2001) PDF (2001)
• Conjunctive Queries With Negation and Arithmetic PPT (2003) PDF (2003) Postscript (2001) PDF (2001) More detailed notes from 1999
• Minimizing Conjunctive Queries PPT (2004)

• Answering Queries from Views PPT (2003) PDF (2003) Postscript (2001) PDF (2001)
• The bucket Algorithm for Answering Queries Using Views PPT (2003) PDF (2003) Postscript (2001) PDF (2001)
• Inverse Rules Algorithm PPT (2003) PDF (2003) Postscript (2001) PDF (2001)
• Views with binding patterns Postscript (1999)

• Functional Dependencies. Complete Set (PPT with voiceover) . . . Complete Set (GIF) . . . One-At-A-Time (GIF)
• Normalization. Complete Set (PPT with voiceover) . . . Complete Set (GIF) . . . One-At-A-Time (GIF)
• Multivalued Dependencies. Complete Set (PPT with voiceover) . . . Complete Set (GIF) . . . One-At-A-Time (GIF)

• Acyclic Hypergraphs Postscript (2001) PDF (2001)
• Computing Acyclic Joins; Yannakakis' Algorithm Postscript (2001) PDF (2001)
• Universal Relations Postscript (2001) PDF (2001)

• Introduction to magic-Sets, Rule-Goal Graphs Postscript (2001) PDF (2001)
• Rule-goal Trees and ``Optimal'' Evaluation of Rules Postscript (2001) PDF (2001)
• The Magic-Sets Algorithm Postscript (2001) PDF (2001)