scientific article; zbMATH DE number 1203021

MaRDI QIDQ4209402zbMATH OpenFDO

Authors Bertram Ludäscher, Georg Lausen

Publication date 11 January 1999

zbMATH Keywords

deductive rulesstatelog

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 1182737
• 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
• Detecting termination of active database rules using symbolic model checking

Cited in

(3)

• On the decidability of the termination problem of active database systems
• Constraint-based termination analysis for cyclic active database rules
• scientific article; zbMATH DE number 1182737 (Why is no real title available?)

This page was built for publication:

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