Polymorphic type inference for the relational algebra

Jan Van den Bussche, Emmanuel Waller

We give a polymorphic account of the relational algebra. We introduce a formalism of ``type formulas'' specifically tuned for relational algebra expressions, and present an algorit…