Search
Results
-
Externe Konsistenzbedingungen
(1987)ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, Fachgruppe InformationssystemeDie Ueberwachung der Konsistenz eines Datenbestandes (innere Widerspruchsfreiheit) ist eine wichtige Aufgabe moderner kommerzieller Datenverwaltungssysteme. Die Codierung der meisten Konsistenzprüfungen erfolgt heute manuell in den Anwendungsprogrammen, was aufwendig und fehleranfällig ist. Eine Sprache zur deskriptiven Formulierung von Konsistenzbedingungen ist deshalb ein dringendes Bedürfnis. Dieser Bericht beschreibt eine solche Sprache ...Report -
-
From Modula to Oberon and the programming language Oberon
(1987)ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, Fachgruppe Computer-SystemeReport -
-
Semantic meaning in information retrieval
(1987)ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, Fachgruppe InformationssystemeReport -
Hardware description of the workstation Ceres
(1987)ETH Eidgenössische Technische Hochschule Zürich, Institut für InformatikReport -
Porting Medos-2 onto the Ceres workstation
(1987)ETH Eidgenössische Technische Hochschule Zürich, Institut für InformatikReport -
Software Engineering Datenbanken
(1987)ETH, Eidgenössische Technische Hochschule Zürich, Institut für InformatikReport -
XRS: ein erweitertes relationales Datenbanksystem zur Verwaltung von technischen Objekten und Versionen
(1987)ETH Eidgenössische Technische Hochschule Zürich, Institut für InformatikReport -