R. Schindlauer: "Representation of SQL Queries for Declarative Query Analysis"; Supervisor: T. Eiter; Institut für Informationssysteme, 2002.