A dynamic approach to termination analysis for active database rules

DOI10.1007/3-540-44957-4_74MaRDI QIDQ2767133zbMATH OpenFDO

Authors Alexandra Poulovassilis, James Bailey

Publication date 28 January 2002

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

Full work available at URL https://doi.org/10.1007/3-540-44957-4_74

Mathematics Subject Classification ID

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

Recommendations

• Refined rules termination analysis through transactions.
• Constraint-based termination analysis for cyclic active database rules
• scientific article; zbMATH DE number 2080412
• On the decidability of the termination problem of active database systems
• scientific article; zbMATH DE number 1863368

Cited in

(10)

• Refined rules termination analysis through transactions.
• On the decidability of the termination problem of active database systems
• Database repair via event-condition-action rules in dynamic logic
• Constraint-based termination analysis for cyclic active database rules
• scientific article; zbMATH DE number 1203021 (Why is no real title available?)
• scientific article; zbMATH DE number 2080412 (Why is no real title available?)
• Improving termination analysis of active rules with composite events
• scientific article; zbMATH DE number 1863368 (Why is no real title available?)
• scientific article; zbMATH DE number 1903400 (Why is no real title available?)
• scientific article; zbMATH DE number 2241923 (Why is no real title available?)

This page was built for publication: A dynamic approach to termination analysis for active database rules

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