An algebraic approach to static analysis of active database rules - Baralis, Elena; Widom, Jennifer (ACM transactions on database systems, 2000)
Keywords: Data base management systems; Data management systems; Database design; Database management system engines; Database query languages (principles); Database theory; Design and construction; Functions, Algebraic; Information systems; Methods; Query languages; Statistical analysis; Theory and algorithms for application domains; Theory of computation; Triggers and rules; United States; termination; database rule processing; confluence; database trigger processing; active database systems