Logic programming and databases - Ceri, Stefano 1955- (Surveys in computer science, 1990)