A general treatment of dynamic integrity constraints

DOI10.1016/S0169-023X(99)00041-5zbMATH Open1050.68598OpenAlexW2104771675MaRDI QIDQ4541454

Bert De Brock

Publication date: 29 July 2002

Published in: Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0169-023x(99)00041-5

zbMATH Keywords

Kripke modelsconsistency of a transition relationirreversible transition

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Monitoring dynamic integrity constraints based on temporal logic 👍 👎
• A Dynamic View of Active Integrity Constraints 👍 👎
• A Dynamic Logic Account of Active Integrity Constraints 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: A general treatment of dynamic integrity constraints

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