Techniques for verifying database integrity constraints - Rajagopalan, P. (1986)