Logic Programming and Databases - Ceri, S. (Springer, 1990)