title: an algebraic approach to static analysis of active database rules. authors: e baralis , j widom. venue: acm trans . database syst .. year: 2000
title: an algebraic approach to rule analysis in expert database systems. authors: e bar & s , j widom. venue: nan. year: nan