Applications of Logic Databases - Raghu Ramakrishnan