A polymorphic relational algebra and its optimization Conference Paper uri icon