Quinzheng Kong G. Chen On Deductive Database with Incomplete Information. 355-369 1995 13 ACM Trans. Inf. Syst. 3 db/journals/tois/tois13.html#KongC95