Polymorphic type inference of the relational algebra (0)

by J Van den Bussche, E Waller
Venue:Journal of Computer and System Sciences