The techniques for these query classes will be mostly discussed in class. The Levy-Sagiv test is explained in the following papers (obtainable from DBLP or citeseer).
A. Levy and Y. Sagiv Queries independent of update. VLDB 1993.
J.D. Ullman. Information integration using logical views. TCS 2000.
The following paper presents an alternative method for containment checking for CQs with negation, and sometimes has a better performance.
Containment of Conjunctive Queries with Safe Negation (ICDT 2003). Fang Wei, Georg Lausen.
The following Masters thesis by Zheng Zhang UofT, explores a related question in the context of access control. Authorization Views and Conditional Query Containment. You can grab it from citeseer.
The paper Alon Y. Halevy. Answering queries using views: a survey. VLDB Jl. 2001, is an excellent survey on the topic.