Static Analysis and Verification Victor Vianu U.C. San Diego in Databases.
An Introduction to Database System College of Computer Science and Technology Chongqing University of Posts & Telecom. Spring, 2006.