Applications Of Logic Databases by Raghu Ramakrishnan