Elena Baralis
Papers on DiSC'01
An algebraic approach to static analysis of active database rules
DiSC'01 Copyright ©2002 ACM Inc.