title: an algebraic approach to static analysis of active database rules acm trans . database syst . 2000. authors: e baralis , j widom. venue: nan. year: nan
title: jm hellerstein static analysis techniques for predicting the behavior of active database rules a aiken , j widom. authors: nan. venue: transactions on database. year: nan