Optimising active database rules by partial evaluation and abstract interpretation

DOI10.1007/3-540-46093-4_18MaRDI QIDQ5714265zbMATH OpenFDO

Authors James Bailey, Alexandra Poulovassilis, Simon Courtenage

Publication date 28 December 2005

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/2397/23970300.htm

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Analysis and optimization of active databases
• Optimization
• Active database systems: Expectations, commercial experience, and beyond
• An abstract interpretation framework for termination analysis of active rules
• A dynamic approach to termination analysis for active database rules

Cited in

(3)

• Constraint-based termination analysis for cyclic active database rules
• Optimization
• Processing production rules in DEVICE, an active knowledge base system

This page was built for publication: Optimising active database rules by partial evaluation and abstract interpretation

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