Anfrageoptimierung durch abstrakte Interpretation für ein deduktives Datenbanksystem. - Dirk Rüttgers (Shaker, 1998)