Habilitation Documents of Wolfgang May

The habilitation procedure at the Fakultät für Angewandte Wissenschaften at Albert-Ludwigs-Universität Freiburg included several requirements in research and teaching:

• Habilitation Thesis (submitted 30.4.2001): A Logic-Based Approach to XML Data Integration
• The list of lectures, and
• an announced lecture: Abhängigkeitsbasierte Anfrageoptimierung ("the Chase")
  (Part of Databases II, 4.7., 11.7., 13.7.2001, in german)
• A final talk with discussion (6.12.2001):
  Nichtmonotone Vererbung und Defaultlogik (in german)