gdetrez/pr-sentation-sql-chalmers-2009-fopl archive