Lecture slides

pdf git v1.6.5

Lecture videos

playlist 1h59m20s

  • introduction yt up
  • naive grounding yt up
  • bottom-up grounding yt up
  • (semi-naive grounding) (yt)
  • on-the-fly simplifications yt up
  • rule instantiation yt up
  • summary yt up


  • M. Gebser, R. Kaminski, and T. Schaub (2012). “Grounding Recursive Aggregates: Preliminary Report”. In: Proceedings of the Third Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV’15). Ed. by M. Denecker and T. Janhunen. pdf
  • S. Abiteboul, R. Hull, and V. Vianu (1995). Foundations of Databases. Addison-Wesley. web