Complex Queries and Reasoning

Chapter 8: The Logic of Query Languages
8 Introduction	Slides
8.1 Datalog 8.2 Relational Calculi 8.3 Relational Algebra 8.4 From Safe Datalog to Relational Algebra	Slides
8.5 Recursive Rules 8.6 Stratification 8.7 Expressive Power and Data Complexity 8.7.1 Functors and Complex Terms	Slides
8.8 Datalog Languages: Syntax & Semantics 8.10 Fixpoint-Based Semantics	Slides

Chapter 9: Implementation of Rules and Recursion
9.1 Operational Semantics: Bottom-Up Execution 9.2 Stratified Programs and Iterated Fixpoint 9.3 Differential Fixpoint Computation 9.5 Rule-Rewriting Methods 9.5.1Left-Linear and Right-Linear Recursion 9.5.2 Magic Sets Method	Slides
9.7 Recursive Queries in SQL 9.7.1 Implementation of Recursive SQL Queries	Slides

Errata for Part III: last revised on Jan 30, 1998

Slides