Publications on Query Optimization

• Rada Chirkova , Alon Halevy , Dan Suciu , A Formal Perspective on the View Selection Problem Proc. of the Int. Conf. on Very Large Data Bases (VLDB) 2001 Click here for abstract.
  
• Alon Y. Halevy , Inderpal Mumick , Yehoshua Sagiv , Oded Shmueli , Static Analysis in Datalog Extensions Journal of the ACM 2001 Click here for abstract.
  
• Zachary Ives , Alon Halevy , Dan Weld , Integrating Network-Bound XML Data Data Engineering Bulletin 24(2) 2001 Click here for abstract.
  
• Zachary Ives , Alon Levy , Dan Weld , Daniela Florescu , Marc Friedman , Adaptive Query Processing for Internet Applications Data Engineering Bulletin 23(2) 2000 Click here for abstract.
  
• Zachary Ives , Alon Levy , Dan Weld , Daniela Florescu , Marc Friedman , Adaptive Query Processing for Internet Applications Data Engineering Bulletin 23(2) 2000
  
• Zachary Ives , Alon Levy , Dan Weld , Efficient Evaluation of Regular Path Expressions on Streaming XML Data Technical Report, University of Washington 2000 Click here for abstract.
  
• Alon Levy , Ioana Manolesu , Dan Suciu , Daniela Florescu , Query Optimization in the Presence of Limited Access Patterns Proc. of ACM SIGMOD Conf. on Management of Data 1999 Click here for abstract.
  
• Zachary Ives , Daniela Florescu , Marc Friedman , Alon Levy , Dan Weld , An Adaptive Query Execution Engine for Data Integration Proc. of ACM SIGMOD Conf. on Management of Data 1999 Click here for abstract.
  
• Alon Y. Levy , Marie-Christine Rousset , Verification of Knowledge Bases based on Containment Checking Artificial Intelligence 1998 Click here for abstract.
  
• Alon Y. Levy , Richard E. Fikes , Shuky Sagiv , Speeding Up Inferences Using Relevance Reasoning: AFormalism and Algorithms Artificial Intelligence 1997 Click here for abstract.
  
• Alon Y. Levy , Dan Suciu , Deciding Containment for Queries with Complex Objects and Aggregations Proceedings of the 16th ACM SIGACT-SIGMOD-SIGARTSymposium on Principles of Database Systems, Tucson, Arizona, to appear. 1997 Click here for abstract.
  
• Alon Y. Levy , Inderpal Singh Mumick , Reasoning with Aggregation Constraints Proceedings of the Conference on Extending Database Technology, EDBT-96 1996 Click here for abstract.
  
• Divesh Srivastava , Shaul Dar , H. V. Jagadish , Alon Y. Levy , Answering SQL Queries Using Materialized Views Proceedings of {VLDB} 1996 Click here for abstract.
  
• Alon Y. Levy , Yehoshua Sagiv , Semantic Query Optimization in Datalog Programs Proceedings of the 14th ACM SIGACT-SIGMOD-SIGARTSymposium on Principles of Database Systems, San Jose, CA 1995 Click here for abstract.
  
• Alon Y. Levy , Alberto O. Mendelzon , Yehoshua Sagiv , Divesh Srivastava , Answering Queries Using Views Proceedings of the 14th ACM SIGACT-SIGMOD-SIGARTSymposium on Principles of Database Systems, San Jose, CA 1995 Click here for abstract.
  
• Alon Y. Levy , Inderpal Singh Mumick , Yehoshua Sagiv , Query Optimization by Predicate Move-around Proceedings of the 20th VLDB Conference, Santiago, Chile 1994 Click here for abstract.
  
• Alon Y. Levy , Irrelevance Reasoning in Knowledge Based Systems Ph.D thesis, Stanford University 1993 Click here for abstract.
  
• Alon Y. Levy , Inderpal Singh Mumick , Yehoshua Sagiv , Oded Shmueli , Equivalence, Query-Reachability and Satisfiability in DatalogExtensions Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGARTSymposium on Principles of Database Systems, Washington D.C. 1993 Click here for abstract.
  
• Alon Y. Levy , Yehoshua Sagiv , Queries Independent of Updates Proceedings of the 19th VLDB Conference, Dublin,Ireland 1993 Click here for abstract.
  
• Alon Y. Levy , Yehoshua Sagiv , Constraints and Redundancy in Datalog The Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGARTSymposium on Principles of Database Systems, San Diego, CA. 1992 Click here for abstract.