Books by Yehoshua Sagiv
Computational Logic CL 2000 00
A characterization of globally consistent databases and their correct access paths
Optimization of queries in relational databases
An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic
Quadratic algorithms for minimizing joins in restricted relational expressions
Subset dependencies as an alternative to embedded multivalued dependencies