title: an algebraic approach to static analysis of active database rules jennifer widom , elena baralis 2000. authors: nan. venue: acm trans . database syst .. year: nan
title: an algebraic approach to static analysis of active database rules acm transactions on database systems ( tods ). authors: elena baralis , jennifer widom. venue: nan. year: 2000.0