Relational specifications

Rudolf Berghammer; Gunther Schmidt

Banach Center Publications (1993)

  • Volume: 28, Issue: 1, page 167-190
  • ISSN: 0137-6934

How to cite


Berghammer, Rudolf, and Schmidt, Gunther. "Relational specifications." Banach Center Publications 28.1 (1993): 167-190. <>.

author = {Berghammer, Rudolf, Schmidt, Gunther},
journal = {Banach Center Publications},
keywords = {implementation; non-determinism; abstract relation algebra; specification of data types and programs; relational specification; algebraic specification},
language = {eng},
number = {1},
pages = {167-190},
title = {Relational specifications},
url = {},
volume = {28},
year = {1993},

AU - Berghammer, Rudolf
AU - Schmidt, Gunther
TI - Relational specifications
JO - Banach Center Publications
PY - 1993
VL - 28
IS - 1
SP - 167
EP - 190
LA - eng
KW - implementation; non-determinism; abstract relation algebra; specification of data types and programs; relational specification; algebraic specification
UR -
ER -


  1. [Berghammer 91] R. Berghammer, Relational specification of data types and programs, Report 9109, Univ. der Bundeswehr München, Fakultät für Informatik, 1991. 
  2. [Berghammer-Schmidt 91] R. Berghammer and G. Schmidt, The RELVIEW-system, in: C. Choffrut and M. Jantzen (eds.), Proc. STACS 91, Lecture Notes in Comput. Sci. 480, Springer, 1991, 535-536 . Zbl0800.68963
  3. [Berghammer et al.] 89] R. Berghammer, G. Schmidt and H. Zierer, Symmetric quotients and domain construction, Inform. Process. Lett. 33 (3) (1989), 163-169. Zbl0689.68095
  4. [Berghammer-Zierer 86] R. Berghammer and H. Zierer, Relational algebraic semantics of deterministic and nondeterministic programs, Theoret. Comput. Sci. 43 (1986), 123-147. 
  5. [Brethauer 91] R. Brethauer, Ein Formelmanipulationssystem zur computergestützten Beweisführung in der Relationenalgebra, Diplomarbeit, Univ. der Bundeswehr München, Fakultät für Informatik, 1991. 
  6. [Chin-Tarski 51] L. H. Chin and A. Tarski, Distributive and modular laws in the arithmetic of relation algebras, Univ. California Publ. Math. 1 (1951), 341-384. 
  7. [de Bakker 71] J. W. deBakker, Recursive procedures, Math. Centre Tracts 24, Mathematisch Centrum, Amsterdam 1971. 
  8. [de Bakker-de Roever 73] J. W. deBakker and W. P. deRoever, A calculus for recursive program schemes, in: M. Nivat (ed.), Proc. ICALP 73, North-Holland, 1973, 167-196. 
  9. [de Roever 74] W. P.] deRoever, Recursion and parameter mechanisms: An axiomatic approach, in: J. Loeckx (ed.), Proc. ICALP 74, Lecture Notes in Comput. Sci. 14, Springer, 1974, 34-65. 
  10. [Desharnais 89] J. Desharnais, Abstract relational semantics, Ph.D. thesis, McGill Univ., Montreal, Faculty of Graduate Studies and Research, 1989. 
  11. [Desharnais et al.] 92] J. Desharnais, A. Jaoua, N. Belkhiter and F. Tchier, Data refinement in a relation algebra, in: Proc. Second Maghrebian Conference on Software Engineering and Artificial Intelligence, Tunis 1992, Fondation Nationale de la Recherche Scientifique, 1992, 222-236. 
  12. [Desharnais-Madhavji 90] J. Desharnais and N. H. Madhavji, Abstract relational specifications, in: M. Broy and J. B. Jones (eds.), Proc. TC 2 Working Conference on Programming Concepts and Methods, North-Holland, 1990, 267-284. 
  13. [Dijkstra 75] E. W. Dijkstra, Guarded commands, nondeterminacy and the formal derivation of programs, Comm. ACM 18 (1975) 453-457. Zbl0308.68017
  14. [Ehrig-Mahr 85] H. Ehrig and B. Mahr, Fundamentals of Algebraic Specifications 1. Equations and Initial Semantics, EATCS Monogr. Theoret. Comput. Sci. 6, Springer, 1985. 
  15. [Gritzner 89] T. F. Gritzner, Die Axiomatik abstrakter Relationenalgebren: Darstellung der Grundlagen und Anwendung auf das Unschärfeproblem relationaler Produkte, Diplomarbeit, Techn. Univ. München, Institut für Informatik, 1989. 
  16. [Hussmann 89] H. Hussmann, Nichtdeterministische algebraische Spezifikationen, Dissertation, Univ. Passau, Fakultät für Mathematik und Informatik, 1989. 
  17. [Kern 87] J. Kern, Ein interaktives relationenalgebraisches Formelmanipulationssystem, Diplomarbeit, Techn. Univ. München, Institut für Informatik, 1987. 
  18. [Manna 74] Z. Manna, Mathematical Theory of Computation, McGraw-Hill, New York 1974. 
  19. [Nipkow 86] T. Nipkow, Nondeterministic data types: Models and implementations, Acta Inform. 22 (1986), 629-661. Zbl0564.68013
  20. [Nguyen 91] T. T. Nguyen, A relational model of demonic nondeterministic programs, Internat. J. Found. Comput. Sci. 2 (1991), 101-131. Zbl0739.68063
  21. [Schmidt 84] M. Schmidt, Behandlung abstrakter Typen auf relationenalgebraischer Grundlage, Diplomarbeit, Techn. Univ. München, Institut für Informatik, 1984. 
  22. [Schmidt 86] D. A. Schmidt, Denotational Semantics-A Methodology for Language Development, Allyn and Bacon, 1986. 
  23. [Schmidt-Ströhlein 89] G. Schmidt and T. Ströhlein, Relationen und Graphen, Springer, 1989; English version: Relations and Graphs, EATCS Monogr. Theoret. Comput. Sci., Springer, 1992, to appear. 
  24. [Wirsing 90] M. Wirsing, Algebraic specifications, in: J. van Leeuwen (ed.), Handbook of Theoretical Computer Science B, North-Holland, 1990, 675-788. 
  25. [Wirsing-Broy 82] M. Wirsing and M. Broy, An analysis of semantic models for algebraic specifications, in: M. Broy and G. Schmidt (eds.), Theoretical Foundations of Programming Methodology, Reidel, 1982, 351-412. 
  26. [Zierer 83] H. Zierer, Relationale Semantik, Diplomarbeit, Techn. Univ. München, Institut für Informatik, 1983. 
  27. [Zierer 91] H. Zierer, Relation algebraic domain constructions, Theoret. Comput. Sci. 87 (1991), 163-188. Zbl0741.68074

NotesEmbed ?


You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.


Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.