.gif)
] Filters: Taxonomy Term is [Clear All Filters]
"Language Features for Object-Oriented Conceptual Modeling",
Proc1 10th Int1 Conf. on the ER-approach, pp. 309-324, 1991.
Abstract
"A Language for Specifying Static and Dynamic Integrity Constraints",
Proc1 10th Int1 Conf1 on the ER-approach, pp. 389-416, 1991.
Abstract
Object-Oriented Specification of Information Systems: The TROLL Language,
, no. 91-04: TU Braunschweig, 1991.
Abstract
Proc1 Third Workshop on Foundations of Models and Languages for Data and Objects, Aigen (Austria),
: Technische Universität Clausthal, Informatik-Bericht 91-3, 1991.
Abstract
"Proof-Theoretic Semantics of Object-Oriented Specification Constructs",
Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)): North-Holland, pp. 243-284, 1991.
Abstract
"A Temporal-Logic-Based Query Language for Querying Database Histories",
Proc1 2nd Int1 Conf1 on Database and Expert Systems (DEXA'91): Springer, pp. 393-399, 1991.
Abstract
"Thematische Karten als Datenbankobjekte",
Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 106, pp. 83-94, 1991.
Abstract
"Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring",
Acta Informatica, vol. 28, no. Fasc 4, pp. 365-407, 1991.
Abstract
Towards a Conceptual Model for the Environment of the Algebraic Specification Language ACT ONE,
, no. 91/11: Technische Universität Berlin, 1991.
Abstract
"Towards a Semantic View of an Extended Entity-Relationship Model",
ACM Transactions on Database Systems, vol. 16, no. 3, pp. 369-416, 1991.
Abstract
"Using Active Objects for Query Processing",
Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK), 1990): North-Holland, pp. 285-304, 1991.
Abstract
\em The Compass Working Group: Algebraic System Specification and Development,
: Springer, Berlin, LNCS 501, 1991.
Abstract
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
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