title: static analysis techniques for predicting the behavior of active database rules a aiken , j hellerstein , j widom 1995. authors: nan. venue: acm trans . database syst .. year: nan
title: static analysis techniques for predicting the behavior of database production rules. authors: a aiken , j widom , jm hellerstein. venue: acm transactions on database. year: nan