Thomas Olnhoff

According to our database, Thomas Olnhoff authored at least 3 papers between 1980 and 1981.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1981

Funktionale Semantikbeschreibung von Anfrageoperationen in einem drei-schichtigen relationalen Datenbanksystem.

Thomas Olnhoff

PhD thesis, 1981

Building Data Base Management Systems Through Formal Specification.

Erich J. Neuhold, Thomas Olnhoff

Proceedings of the Formalization of Programming Concepts, 1981

1980

The Vienna Development Method (VDM) and its Use for the Specification of a Rational Data Base System.

Erich J. Neuhold, Thomas Olnhoff

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980