.gif)
] Filters: Taxonomy Term is [Clear All Filters]
"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
Automatic Transformation of Entity-Relationship Schemas into Relational Schemas,
, no. 88-10: Technische Universität Braunschweig, 1988.
Abstract
Benutzerhandbuch zum ersten Prototypen des Braunschweiger Geo-Datenbanksystems,
, no. 88-01: Technische Universität Braunschweig, 1988.
Abstract
"A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions",
Proc1 7th Int1 Conf1 on the Entity-Relationship Approach: North-Holland, Amsterdam, pp. 129-148, 1988.
Abstract
Duplicate Detection and Deletion in the Extended NF$^2$ Data Model,
, no. TR 88.11.0: IBM Wissenschaftliches Zentrum Heidelberg, 1988.
Abstract
"Ein Konzept zur Beschreibung von Software-Architekturen",
Fachberichte Informatik Nr. 11/88, 1988.
Abstract
"Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen",
Proc1 GI Jahrestagung, vol. 2: Informatik-Fachbericht 188, Springer, pp. 449-463, 1988.
Abstract
"Foundations of Temporal Integrity Monitoring",
Proc1 IFIP Working Conf1 on Temporal Aspects in Information Systems: North-Holland Publ1 Comp., Amsterdam, pp. 235-249, 1988.
Abstract
"A Highly Integrated Tool Set for Program Development Support",
Proc1 ACM Symposium on Personal and Small Computers: ACM, New York, 1988.
Abstract
"A Hybrid Interpreter in a Software Development Environment",
Proc. 1st European Software Engineering Conference: LNCS 289, Springer, Berlin, 1988.
Abstract
"Processing Non-Standard-Database Objects in a Higher Level Programming Language - An Abstract Data Type Approach",
Proc. Int. Workshop on Software Engineering and its Applications, pp. 1141-1159, 1988.
Abstract
Spezifikation, Semantik und Überwachung von Objektlebensläufen in Datenbanken,
: Technische Universität Braunschweig, 1988.
Abstract
Towards a Semantic View of an Extended Entity-Relationship Model,
, no. 88-02: Technische Universität Braunschweig, 1988.
Abstract
"Transformation of Dynamic Integrity Constraints into Transaction Specifications",
Proc1 2nd Int1 Conf1 on Database Theory: LNCS 326, Springer, Berlin, pp. 322-337, 1988.
Abstract
Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen,
: Technische Universität Braunschweig, 1988.
Abstract
Deterministische Überwachung temporaler Formeln,
, no. 87-06: Technische Universität Braunschweig, 1987.
Abstract
Handling Geo-Scientific Database Objects in a Higher Level Programming Language,
, no. 87-11: Technische Universität Braunschweig, 1987.
Abstract
Konzepte und Werkzeuge für eine Datenbank-Entwurfsumgebung,
, no. 87-05: Technische Universität Braunschweig, 1987.
Abstract
"Modelling and Manipulating Objects in Geoscientific Databases",
Proc1 5th Int1 Conf1 on the Entity-Relationship Approach: North-Holland, Amsterdam, pp. 67-86, 1987.
Abstract
"Monitoring Dynamic Integrity Constraints Based on Temporal Logic",
Information Systems, vol. 12, pp. 255-269, 1987.
Abstract
"On Parametric Algebraic Specifications with Clean Error Handling",
Proc1 TAPSOFT'87, Pisa (I), Vol1 I: LNCS 249, Springer, Berlin, pp. 81-95, 1987.
Abstract
Vorüberlegungen für den zweiten Prototyp eines geowissenschaftlichen Datenbanksystems,
, no. 87-04: Technische Universität Braunschweig, 1987.
Abstract
Abstracts of the 4th Workshop on Specification of Abstract Data Types,
: Technische Universität Braunschweig, Informatik-Bericht 86-09, 1986.
Abstract
"An Extended Entity-Relationship Model for Non-Standard Databases",
Proc1 Workshop ``Relationale Datenbanken'', Bericht Nr1 3-86: Inst1 für Informatik, TU Clausthal-Zellerfeld, pp. 185-211, 1986.
Abstract
Monitoring Dynamic Database Integrity by Transition Graphs,
, no. 86-08: Technische Universität Braunschweig, 1986.
Abstract
"Stepwise Specification of Dynamic Database Behaviour",
Proc1 1986 ACM-SIGMOD Int1 Conf1 on Management of Data, pp. 387-397, 1986.
Abstract
Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen,
: Technische Universität Braunschweig, 1986.
Abstract
Eine Benutzerschnittstelle für geowissenschaftliche Datenbanken,
: Technische Universität Braunschweig, 1985.
Abstract