An Abstract Interpretation Framework for Termination Analysis of Active Rules

Bailey, James E.; Poulovassilis, Alexandra

doi:10.1007/3-540-44543-9_16

Cited by 5 publications

(6 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…5,6,8,10,11,12,13,14,19], mostly in the context of relational databases. A key analysis question is that of termination of the rule execution, and a set of ECA rules is said to beterminating if for any initial event and any initial database state, the rule execution terminates.…”

Section: Eca Rule Syntaxmentioning

confidence: 99%

“…More recently, we have been investigating the use of abstract interpretation 3, 29] for analysing termination of ECA rules 8,10]. With this approach, the ECA rules are \executed" on an abstract database and abstract schedule, which represent a n umber of real databases and real schedules.…”

Section: Eca Rule Syntaxmentioning

confidence: 99%

“…The abstract interpretation approach to ECA rule analysis we discussed in 8,10] can also be applied in the present XML setting. This approach generalises graph-based techniques since these focus on triggering and activation relationships between pairs of rules whereas our approach is more \global" in nature.…”

Section: Abstract Interpretation Of Rule Executionmentioning

confidence: 99%

See 2 more Smart Citations

Analysis and optimisation of event-condition-action rules on XML

Bailey¹,

Poulovassilis²,

Wood³

2002

Computer Networks

Self Cite

View full text Add to dashboard Cite

Section: Eca Rule Syntaxmentioning

confidence: 99%

Section: Eca Rule Syntaxmentioning

confidence: 99%

See 1 more Smart Citation

Analysis and optimisation of event-condition-action rules on XML

Bailey¹,

Poulovassilis²,

Wood³

2002

Computer Networks

Self Cite

View full text Add to dashboard Cite

“…[4,5,6,8,9,10,11,16], mostly in the context of relational databases. Analysis is important, since within a set of ECA rules, unpredictable and unstructured behaviour may occur.…”

Section: Analysing Eca Rule Behaviourmentioning

confidence: 99%

“…Acyclicity of the triggering graph implies definite termination of rule execution. Triggering graphs 5 In common with the SQL3 standard for database triggers [24] we assume that no two rules can have the same priority. This, together with our use of restricted sub-languages of XPath/XQuery, ensures that rule execution is deterministic in our language, up to the order in which new sub-documents are inserted below a common parent.…”

Section: Analysing Eca Rule Behaviourmentioning

confidence: 99%

An event-condition-action language for XML

Bailey

Poulovassilis

Wood

2002

Proceedings of the 11th International Conference on World Wide Web

Self Cite

View full text Add to dashboard Cite

XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-commerce, there is a rapidly growing need for a mechanism to incorporate reactive functionality in an XML setting. Event-condition-action (ECA) rules are a technology from active databases and are a natural method for supporting such functionality. ECA rules can be used for activities such as automatically enforcing document constraints, maintaining repository statistics, and facilitating publish/subscribe applications. An important question associated with the use of a ECA rules is how to statically predict their run-time behaviour. In this paper, we define a language for ECA rules on XML repositories. We then investigate methods for analysing the behaviour of a set of ECA rules, a task which has added complexity in this XML setting compared with conventional active databases.

show abstract

Web dynamics

Levene

Poulovassilis²

2001

Software Focus

Self Cite

View full text Add to dashboard Cite

The global usage and continuing exponential growth of the World Wide Web poses a host of challenges to the research community. In particular, there is an urgent need to understand and manage the dynamics of the Web, in order to develop new techniques that will make the Web tractable. MARK LEVENE and ALEXANDRA POULOVASSILIS provide an overview of recent statistics relating to the size of the Web graph and its growth. They then briefly review some of the key areas relating to Web dynamics with reference to the recent literature. Finally, they summarise the talks given in a recent workshop devoted to Web dynamics, which was held in the beginning of January 2001 at the University of London. Copyright © 2001 John Wiley & Sons, Ltd.

show abstract

An Abstract Interpretation Framework for Termination Analysis of Active Rules

Cited by 5 publications

References 20 publications

Analysis and optimisation of event-condition-action rules on XML

Analysis and optimisation of event-condition-action rules on XML

An event-condition-action language for XML

Web dynamics

Contact Info

Product

Resources

About