.gif)
]
Conceptual Modelling of Database Applications Using an Extended ER Model,
, no. 90-05: Technische Universität Braunschweig, 1990.
Abstract
Datalog - Eine deduktive Datenbanksprache,
, no. 25: Technische Universität Braunschweig, 1990.
Abstract
Ein Kalkül für ein erweitertes Entity-Relationship-Modell und seine Übersetzung in einen relationalen Kalkül,
: Technische Universität Braunschweig, 1990.
Abstract
Einbettung einer geowissenschaftlichen Datenbanksprache in eine höhere Programmiersprache,
: Technische Universität Braunschweig, 1990.
Abstract
"Erfahrungen mit einem geowissenschaftlichen/kartographischen Datenbank-Prototyp",
Proc1 Workshop ``Wissensbasierte Systeme in den Geowissenschaften'', Berlin 1989: Arbeitsbereich Informationswissenschaften & Institut für Geologie, FU Berlin, pp. 73-91, 1990.
Abstract
"Formal Semantics of an Entity-Relationship Based Query Language",
Proc1 9th Int1 Conf1 on the ER-Approach, pp. 171-188, 1990.
Abstract
Formal Semantics of SQL Queries,
, no. 90-01: Technische Universität Braunschweig, 1990.
Abstract
"A Geoscientific Database System Supporting Cartography and Application Programming",
Proc1 8th British Nat1 Conf1 on Databases BNCOD-8: Pitman, London, 1990, pp. 179-195, 1990.
Abstract
"Information about Objects versus Derived Objects",
Second Workshop on Foundations and Languages for Data and Objects: Informatik-Bericht 90/3, Technische Universität Clausthal, pp. 59-70, 1990.
Abstract
Kurzfassungen des 21 Workshops ``Grundlagen von Datenbanken'', Volkse, 5.-8. Juni 1990,
, no. 90-02: TU Braunschweig, 1990.
Abstract
"Modellierung von Thematischen Karten",
geodata, vol. 4, pp. 14-21, 1990.
Abstract
"A Note on the Translation of SQL to Tuple Calculus",
ACM SIGMOD RECORD, vol. 19, no. 1, pp. 18-22, 1990.
Abstract
QUEER - A Prolog Based Prototype for an Extended ER Approach,
, no. 90-03: Technische Universität Braunschweig, 1990.
Abstract
"Representation of the Historical Information Necessary for Temporal Integrity Monitoring",
Proc1 Int1 Conf1 on Extending Database Technology EDBT'90: LNCS 416, Springer, Berlin, 1990, pp. 378-392, 1990.
Abstract
"Temporal Integrity Constraints in the Database Design Environment CADDY",
Proc1 Workshop on Foundations of Models and Languages for Data and Objects, Aigen (A): Informatik-Bericht 90/3, TU Clausthal, pp. 191-198, 1990.
Abstract
"Transformation of Dynamic Integrity Constraints into Transaction Specifications",
Theoretical Computer Science, vol. 76, pp. 115-142, 1990.
Abstract
Validation: Ein methodischer Schritt zu fehlerfreien Datenbankentwürfen,
, no. 90-04: Technische Universität Braunschweig, 1990.
Abstract
"Abstract object types: A temporal perspective",
Proc. Colloq. on Temporal Logic in Specification, B. Banieqbal, H. Barringer, and A. Pnueli, editors: Springer LNCS 398, 1989.
Abstract
Download: 1989AbstrObjTypes.pdf (393.35 KB)
"Abstracts des Workshops "Grundlagen von Datenbanken"",
Abstracts des Workshops "Grundlagen von Datenbanken": Informatik-Bericht Nr. 89-02, Technische Universität Braunschweig, 1989.
Abstract
"The Basic Building Block of Information Systems",
Information System Concepts: An In-Depth Analysis: North-Holland, Amsterdam, 1989, pp. 225-246, 1989.
Abstract
Download: 1989BBBofIS.pdf (1.08 MB)
"Entwurf eines Datenbank-Prototyps für geowissenschaftliche Anwendungen",
Proc GI/SI-Fachtagung ``Datenbanksysteme in Büro, Technik und Wissenschaft'': Springer, Berlin, 1989, pp. 43-57, 1989.
Abstract
Download: 1989BTW.pdf (557.01 KB)
"Objects, Object Types, and Object Identification",
Categorical Methods in Computer Science: LNCS 393, Springer, Berlin, pp. 142-156, 1989.
Abstract
Download: 1989ObjOtypOid.pdf (313.66 KB)
Abstracts des Workshops ``Grundlagen von Datenbanken'',
: Technische Universität Braunschweig, Informatik-Bericht 89-02, 1989.
Abstract
Algebraische Spezifikation abstrakter Datentypen,
: Teubner, Stuttgart, 1989.
Abstract
"Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach",
Proc1 Theory and Practice of Software Developmen1 (TAPSOFT'89): Springer, Berlin, LNCS 351, pp. 259-274, 1989.
Abstract
"Automatic Transformation of an Entity-Relationship Query Language into SQL",
Proc1 8th Int1 Conf1 on the Entity-Relationship Approach, pp. 309-327, 1989.
Abstract
"CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata",
Proc1 GI-Fachtagung ``Interaktive Schnittstellen für Informationssysteme'', pp. 1-16, 1989.
Abstract
"Construction of Deterministic Transition Graphs from Dynamic Integrity Constraints",
Proc1 14th Int1 Workshop on Graph-Theoretic Concepts in Computer Science (WG'88): LNCS 344, Springer, Berlin, pp. 166-179, 1989.
Abstract
"Duplicate Detection and Deletion in the Extended NF$^2$ Data Model",
Proc1 3rd Int1 Conf1 on Foundations of Data Organization and Algorithms (FOD1 '89), Paris: LNCS 367, Springer, pp. 83-100, 1989.
Abstract
"Konzepte einer Software-Architektur-Beschreibungssprache",
Tagungsband GI-Fachtagung ``Software-Entwicklung'': Informatik-Fachbericht Nr. 212, Springer, Berlin, 1989.
Abstract
On First Order Temporal Logics with Changing Domains for Information System Specification,
, no. 89-01: Technische Universität Braunschweig, 1989.
Abstract
Programmentwicklungsumgebungen, Konzepte und Realisierung,
: Teubner, Stuttgart, 1989.
Abstract
"Sorting, Grouping, and Duplicate Elimination in the Advanced Information Management Prototype",
Proc1 15th Int1 Conf1 on Very Large Databases VLDB'89: Morgan Kaufmann, Palo Alto, 1989, pp. 307-316, 1989.
Abstract
Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring,
, no. 89-04: Technische Universität Braunschweig, 1989.
Abstract
"Using Finite-Linear Temporal Logic for Specifying Database Dynamics",
Proc1 CSL'88 2nd Workshop Computer Science Logic: Springer, Berlin, pp. 288-300, 1989.
Abstract