title: semantics for update rule programs and implementations in a relational database management system. authors: l raschid , j lobo. venue: acm trans . database syst .. year: 1996
title: design and implementation of the relationlog deductive database system. authors: m liu , r shan. venue: nan. year: nan