Andreas Behrend Why to Use Deductive Technology in SQL Databases? 2002 conf/gvd/2002 Grundlagen von Datenbanken http://wwwdb.informatik.uni-rostock.de/wsgvdb02/papers/Behrend.ps db/conf/gvd/gvd2002.html#Behrend02