A logical language for data and knowledge bases / - Naqvi, Shamim. (Computer Science Press,, 1989)