Can I read An Algebraic Approach to Static Analysis of Active Database Rules on EtoBox?

An Algebraic Approach to Static Analysis of Active Database Rules by Elena Baralis; Jennifer Widom is a Computer Science article available to read on EtoBox.

What is An Algebraic Approach to Static Analysis of Active Database Rules about?

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 a unique final state). Our methods are based on previous techniques for analyzing rules in active database systems. We improve considerably on the previous techniques by providing analysis criteria that are much less conservative: our methods often determine that a rule set will terminate or is confluent when previous methods could not make this determination. Our improved analysis is based on a “propagation” algorithm, which uses an extended relational algebra to accurately determine when the action of one rule can affect the condition of another, and determine when rule actions commute. We consider both conditon-action rules and event-condition-action-rules, making our approach widely applicable to relational active database rule languages and to the trigger language in the SQL:1999 standard.

Who reads An Algebraic Approach to Static Analysis of Active Database Rules?

Author

Elena Baralis; Jennifer Widom

Publisher

Association for Computing Machinery; Association for Computing Machinery (ACM) (ISSN 0362-5915)

Published

2000

Language

EN

Field

Computer Science (Physical Sciences)