Kristofer Vorwerk G. N. Paulley On Implicate Discovery and Query Optimization. 2-11 2002 conf/ideas/2002 IDEAS http://computer.org/proceedings/ideas/1638/16380002abs.htm db/conf/ideas/ideas2002.html#VorwerkP02