Johann Eder General Transitive Closures and Aggregate Functions. 54-59 1991 DEXA db/conf/dexa/dexa91.html#Eder91