Yehoshua Sagiv

• A characterization of globally consistent databases and their correct access paths
• Computational Logic CL 2000 00
• 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