title: the aditi deductive database system kotagiri ramamohanarao , david b. kemp , jayen vaghani , tim s. leask , james harland , peter j. stuckey , zoltan somogyi 1994. authors: nan. venue: vldb j.. year: nan
title: space optimization in deductive databases 1995. authors: divesh srivastava , s. sudarshan , raghu ramakrishnan , jeffrey f. naughton. venue: acm transactions on database systems ( tods ). year: nan