Logic programming and databases - Ceri, Stefano 1955-; Gottlob, Georg 1956-; Tanca, Letizia (Surveys in computer science, 1990)