Lecture slides

pdf git v1.6.5

Lecture videos

playlist yt up 1h59m20s

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

Literature

  • 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

Exercise sheets

pdf git v1.3.0

Exercise videos

playlist yt up