Klaus-Dieter Schewe  Home/Search
Context Related
| fimswww.massey.ac.nz/~...RRrep95.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: Relational databases are common in practice. The design of database application systems is one of the most important tasks of practical computer scientists. The state-of-the-art approach in this eld uses extended Entity-Relationship models to capture structure, semantics and behaviour of systems to be built. Then one problem is to systematically approach database design and the derivation of executable database programs. Another one is to guarantee consistency of developped transactions with... (Update)
Cited by: More
ASM Ground Model and Refinement for Data Warehouses - Schewe, Zhao (2005) (Correct)
Active bibliography (related documents): More All
1.2: Towards a Theory of Consistency Enforcement - Schewe, Thalheim (1999) (Correct)
0.5: A Generalization of Dijkstra's Calculus to Typed Program.. - Schewe, Thalheim (Correct)
0.3: On the Derivation of Consistent Transactions from.. - Schewe, Thalheim (Correct)
Similar documents based on text: More All
0.1: Active Consistency Enforcement for Repairable Database.. - Schewe, Thalheim (1996) (Correct)
0.1: Readings in Fundamentals of Object Oriented Databases -.. - Schewe, Thalheim (1998) (Correct)
0.1: Tailoring Consistent Specializations as a Natural Approach to.. - Schewe (1996) (Correct)
BibTeX entry: (Update)
Schewe, K.-D. Specification and development of correct relational database programs. Tech. rep., Clausthal Technical University, Germany, 1997. http://citeseer.ist.psu.edu/schewe97specification.html More
@misc{ schewe97specification,
author = "K. Schewe",
title = "Specification and development of correct relational database programs",
text = "Schewe, K.-D. Specification and development of correct relational database
programs. Tech. rep., Clausthal Technical University, Germany, 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/schewe97specification.html" }
Citations (may not include all citations):689 Systematic Software Development using VDM - Jones - 1986
652 A Discipline of Programming (context) - Dijkstra - 1976
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
108 Prentice-Hall (context) - Abrial, Method - 1995
78 Texts and Monographs in Computer Science (context) - Dijkstra, Scholten et al. - 1989
52 Object-Oriented and Relational Programming with Logical Sema.. (context) - Goguen, eseguer et al. - 1987
51 Handbook of Mathematical Logic (context) - Barwise - 1977
49 Methods and Logics for Proving Programs (context) - Cousot - 1990
24 A Generalization of Dijkstra's Calculus (context) - Nelson - 1989
22 Frames and Postconditions: a Comparison of the VDM and B Not.. (context) - Bicarregui, Ritchie - 1993
22 Modularizing the Formal Description of a Database System (context) - Fitzgerald, Jones - 1990
20 Fundamentals of Algebraic Specication (context) - Ehrig, Mahr - 1985
15 SRI International (context) - Goguen, Winkler et al. - 1988
3 Towards a Structured Specication Language for Database Appli.. - Schewe, Wetzel et al. - 1992
3 Springer Texts and Monographs in Computer Science (context) - Gries, of - 1981
3 Computing Consistent Transactions (context) - Schewe, Thalheim - 1992
2 Formal Specication and Software Development (context) - Bj, Jones - 1982
2 Specication of Data-Intensive Application Systems (context) - Schewe - 1994
1 Specication and Renement in an Integrated Database Applicati.. (context) - Schewe, Schmidt et al. - 1991
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