Static Type Analysis of Path Expressions in XQuery Using Rho-Calculus Wang Zhen (Selina) Oct 26, 2006 Outline Background Related Work Typing XQuery Using Rho Calculus Conclusion…