Sciweavers

VLDB
1994
ACM

An Algebraic Approach to Rule Analysis in Expert Database Systems

13 years 11 months ago
An Algebraic Approach to Rule Analysis in Expert Database Systems
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Condition-Action rules in database systems are very powerful, they also can be very diicult to program, due to the unstructured and unpredictable nature of rule processing. We provide methods for static analysis of Condition-Action rules; our methods determine whether a given rule set is guaranteed to terminate, and whether rule execution is confluent (has a guaranteed unique final state). Our methods are based on previous methods for analyzing rules in active database systems. We improve considerably on the previous methods 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. Our improved analysis is based on a "propagation" algorithm, which uses a formal approach based on an extended...
Elena Baralis, Jennifer Widom
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1994
Where VLDB
Authors Elena Baralis, Jennifer Widom
Comments (0)