A compositional query algebra for second-order logic and uncertain databases.

Christoph Koch A compositional query algebra for second-order logic and uncertain databases. 127-140 2009 ICDT http://doi.acm.org/10.1145/1514894.1514911 conf/icdt/2009 db/conf/icdt/icdt2009.html#Koch09