Klaus-Dieter Schewe, Bernhard Thalheim  Home/Search
Context Related
| fimswww.massey.ac.nz...ActaInf99.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fimswww.massey.ac.nz/~kds...publ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: State oriented specifications with invariants occur in almost all formal specification languages. Hence the problem is to prove the consistency of the specified operations with respect to the invariants. Whilst the problem seems to be easily solvable in predicative specifications, it usually requires sophisticated verification efforts, when specifications in the style of Dijkstra's guarded commands as e.g. in the specification language B are used. As an alternative consistency enforcement will... (Update)
Similar documents based on text: More All
0.4: Conceptual Design and Development of Information Services - Feyer, Schewe, Thalheim (1998) (Correct)
0.4: An Overview on Semantical Constraints for Database Models - Thalheim (1996) (Correct)
0.4: Active Consistency Enforcement for Repairable Database.. - Schewe, Thalheim (1996) (Correct)
BibTeX entry: (Update)
K.-D. Schewe, B. Thalheim. Towards a Theory of Consistency Enforcement. Acta Informatica vol. 36(4): 97-141, 1999. http://citeseer.ist.psu.edu/schewe99towards.html More
@article{ schewe99towards,
author = "Klaus-Dieter Schewe and Bernhard Thalheim",
title = "Towards a theory of consistency enforcement",
journal = "Acta Informatica",
volume = "36",
number = "2",
pages = "97--141",
year = "1999",
url = "citeseer.ist.psu.edu/schewe99towards.html" }
Citations (may not include all citations):274 Prentice Hall International (context) - Abrial, Method
146 Deriving Production Rules for Constraint Maintenance - Ceri, Widom - 1990
127 Set-oriented Production Rules in Relational Database Systems - Widom, Finkelstein - 1990
81 A Reference Manual (context) - Spivey, Notation - 1989
49 Methods and Logics for Proving Programs (context) - Cousot - 1990
24 A Generalization of Dijkstra's Calculus (context) - Nelson - 1989
22 Scholten: Predicate Calculus and Program Semantics (context) - Dijkstra - 1989
22 Frames and Postconditions: a Comparison of the VDM and B Not.. (context) - Bicarregui, Ritchie - 1993
22 Deriving Integrity Maintaining Triggers from Transition Grap.. - Gertz, Lipeck - 1993
18 A Specication Language and its Formal Semantics (context) - Spivey - 1988
15 the Modes and Meaning of Feedback to Transaction Designer (context) - Stemple, Mazumdar et al. - 1987
13 Vianu: Foundations of Databases (context) - Abiteboul, Hull - 1995
13 Constraint Analysis: A Design Process for Specifying Operati.. (context) - Urban, Delcambre - 1990
12 A Formal Approach to Large Software Construction (context) - Abrial - 1989
11 Teubner Leipzig (context) - Thalheim, Relational - 1991
[Article contains additional citations not shown here]
Documents on the same site (http://fims-www.massey.ac.nz/~kdschewe/publ.html): More
Active Consistency Enforcement for Repairable Database.. - Schewe, Thalheim (1996) (Correct)
Tailoring Consistent Specializations as a Natural Approach to.. - Schewe (1996) (Correct)
On the Derivation of Consistent Transactions from.. - Schewe, Thalheim (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC