Towards a theory of consistency enforcement
From MaRDI portal
Publication:1284698
DOI10.1007/S002360050155zbMATH Open0927.68056DBLPjournals/acta/ScheweT99OpenAlexW1989131788WikidataQ57376473 ScholiaQ57376473MaRDI QIDQ1284698FDOQ1284698
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
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)
- Title not available (Why is that?)
- Freedom and enforcement in action. A study in formal action theory
- Normative Consistency: An Xstit Account
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Proving consistency assertions for automotive product data management
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)
