An algebraic approach to static analysis of active database rules

• Published in: ACM transactions on database systems Vol. 25; no. 3; pp. 269 - 332
• Main Authors: Baralis, Elena, Widom, Jennifer
• Format: Journal Article
• Language: English
• Published: New York, NY, USA ACM 01.09.2000; Association for Computing Machinery, Inc; Association for Computing Machinery
• Subjects: 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

Rules in active database systems can be very difficult to program due to the unstructured and unpredictable nature of rule processing. We provide static analysis techniques for predicting whether a given rule set is guaranteed to terminate and whether rule execution is confluent (guaranteed to have...