Improving the refined triggering graph method for active rules termination analysis

DOI10.1007/3-540-45495-0_16MaRDI QIDQ4804951zbMATH OpenFDO

Authors Alain Couchot

Publication date 1 May 2003

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/2405/24050114.htm

Mathematics Subject Classification ID

Database theory (68P15) Computing methodologies and applications (68U99)

Recommendations

• Refined rules termination analysis through transactions.
• Improving termination analysis of active rules with composite events
• Constraint-based termination analysis for cyclic active database rules
• A dynamic approach to termination analysis for active database rules
• An abstract interpretation framework for termination analysis of active rules

Cited in

(3)

• Refined rules termination analysis through transactions.
• Constraint-based termination analysis for cyclic active database rules
• Improving termination analysis of active rules with composite events

This page was built for publication: Improving the refined triggering graph method for active rules termination analysis

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