Type inference for datalog and its application to query optimisation.

Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere

Browse the full PODS paper archive.