An abstract interpretation framework for termination analysis of active rules

DOI10.1007/3-540-44543-9_16MaRDI QIDQ4473169zbMATH OpenFDO

Authors James Bailey, Alexandra Poulovassilis

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1949/19490252.htm

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• A dynamic approach to termination analysis for active database rules
• Refined rules termination analysis through transactions.
• Constraint-based termination analysis for cyclic active database rules
• On the decidability of the termination problem of active database systems
• Detecting termination of active database rules using symbolic model checking

Cited in

(9)

• Refined rules termination analysis through transactions.
• On the decidability of the termination problem of active database systems
• A dynamic approach to termination analysis for active database rules
• Constraint-based termination analysis for cyclic active database rules
• Improving termination analysis of active rules with composite events
• Detecting termination of active database rules using symbolic model checking
• Improving the refined triggering graph method for active rules termination analysis
• scientific article; zbMATH DE number 2112472 (Why is no real title available?)
• Optimising active database rules by partial evaluation and abstract interpretation

This page was built for publication: An abstract interpretation framework for termination analysis of active rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473169)