Equivalence among Relational Queries with Annotations Wang Chiew Tan   View Paper (PDF)   Return to Static Analysis ©2005 Association for Computing Machinery