Format:
VI, 140 S.
,
graph. Darst.
ISBN:
354051130X
,
038751130X
Series Statement:
Informatik-Fachberichte 209
Note:
Zugl.: Braunschweig, Techn. Univ., Habil.-Schr., 1988
Language:
Undetermined
Subjects:
Computer Science
Keywords:
Datenbank
;
Integritätsbedingung
;
Konsistenz
;
Datenbanksystem
;
Dynamisches Verhalten
;
Datenbanksystem
;
Integritätsbedingung
;
Temporale Logik
;
Überwachung
;
Graph
;
Semantik
;
Spezifikation
;
Hochschulschrift
Author information:
Lipeck, Udo W. 1956-
Bookmarklink