Sven Hartmann Sebastian Link Horn clauses and functional dependencies in complex-value databases. 21-30 2006 conf/adc/2006 ADC http://doi.acm.org/10.1145/1151736.1151739 db/conf/adc/adc2006.html#HartmannL06