Gregory Valiant Paul Valiant Size Bounds for Conjunctive Queries with General Functional Dependencies http://arxiv.org/abs/0909.2030 2009 CoRR abs/0909.2030 db/journals/corr/corr0909.html#abs-0909-2030 informal publication