Constraint-based termination analysis for cyclic active database rules

DOI10.1007/3-540-44957-4_75MaRDI QIDQ2767134zbMATH OpenFDO

Authors Saumya K. Debray, Timothy J. Hickey

Publication date 28 April 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_75

Mathematics Subject Classification ID

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

Recommendations

• A dynamic approach to termination analysis for active database rules
• scientific article; zbMATH DE number 1863368
• scientific article; zbMATH DE number 2080412
• A complete and terminating execution model for constraint handling rules
• On the decidability of the termination problem of active database systems
• scientific article; zbMATH DE number 2241923
• scientific article; zbMATH DE number 1903400
• scientific article; zbMATH DE number 1953132
• scientific article; zbMATH DE number 1203021

Cited in

(8)

• 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
• 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?)

This page was built for publication: Constraint-based termination analysis for cyclic active database rules

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