Towards a theory of consistency enforcement

DOI10.1007/S002360050155MaRDI QIDQ1284698zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Klaus-Dieter Schewe, Bernhard Thalheim

Publication date 29 November 1999

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002360050155

zbMATH Keywords

consistency enforcementgreatest consistent specializations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2162120
• Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints
• Computability and decidability issues in the theory of consistency enforcement
• scientific article; zbMATH DE number 1950750
• scientific article; zbMATH DE number 2080029

Cited in

(10)

• Proving consistency assertions for automotive product data management
• scientific article; zbMATH DE number 2162120 (Why is no real title available?)
• Freedom and enforcement in action. A study in formal action theory
• Normative Consistency: An Xstit Account
• scientific article; zbMATH DE number 2080029 (Why is no real title available?)
• scientific article; zbMATH DE number 1950750 (Why is no real title available?)
• Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints
• Proving consistency assertions for automotive product data management
• Computability and decidability issues in the theory of consistency enforcement
• Foundations for a fourth normal form over SQL-like databases

This page was built for publication: Towards a theory of consistency enforcement

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