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