Towards a theory of consistency enforcement

DOI10.1007/s002360050155zbMath0927.68056DBLPjournals/acta/ScheweT99OpenAlexW1989131788WikidataQ57376473 ScholiaQ57376473MaRDI QIDQ1284698

Bernhard Thalheim, Klaus-Dieter Schewe

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)

Related Items (2)

Foundations for a Fourth Normal Form over SQL-Like Databases ⋮ Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of δ-constraints

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