Claudia Hattensperger Peter Kempf Towards a Formal Framework for Heterogeneous Relation Algebra. 341-349 1997 conf/RelMiCS/1997 RelMiCS db/conf/RelMiCS/RelMiCS1997.html#HattenpergerK97