Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Search this site:
Links
Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Home
› Biblio
Biblio
List
Filter
Export 713 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Keyword
Title
Type
[
Year
]
1990
Engels, G.
,
M. Gogolla
,
U. Hohenstein
,
K. Hülsmann
,
P. Löhr-Richter
,
G. Saake
, and
H. - D. Ehrich
,
Conceptual Modelling of Database Applications Using an Extended ER Model
,
, no. 90-05: Technische Universität Braunschweig, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
Datalog - Eine deduktive Datenbanksprache
,
, no. 25: Technische Universität Braunschweig, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Hohenstein, U.
,
Ein Kalkül für ein erweitertes Entity-Relationship-Modell und seine Übersetzung in einen relationalen Kalkül
,
: Technische Universität Braunschweig, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lohmann, F.
,
Einbettung einer geowissenschaftlichen Datenbanksprache in eine höhere Programmiersprache
,
: Technische Universität Braunschweig, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Neumann, K.
,
"
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
RTF
Tagged
XML
BibTex
Google Scholar
Hohenstein, U.
, and
G. Engels
,
"
Formal Semantics of an Entity-Relationship Based Query Language
",
Proc1 9th Int1 Conf1 on the ER-Approach
, pp. 171-188, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Karge, U.
, and
M. Gogolla
,
Formal Semantics of SQL Queries
,
, no. 90-01: Technische Universität Braunschweig, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lohmann, F.
, and
K. Neumann
,
"
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
RTF
Tagged
XML
BibTex
Google Scholar
Saake, G.
, and
R. Jungclaus
,
"
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
RTF
Tagged
XML
BibTex
Google Scholar
Lipeck, U. W.
,
S. Braß
, and
G. Saake
,
Kurzfassungen des 21 Workshops ``Grundlagen von Datenbanken'', Volkse, 5.-8. Juni 1990
,
, no. 90-02: TU Braunschweig, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Neumann, K.
,
"
Modellierung von Thematischen Karten
",
geodata
, vol. 4, pp. 14-21, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
"
A Note on the Translation of SQL to Tuple Calculus
",
ACM SIGMOD RECORD
, vol. 19, no. 1, pp. 18-22, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Meyer, G.
,
G. D. Westermann
, and
M. Gogolla
,
QUEER - A Prolog Based Prototype for an Extended ER Approach
,
, no. 90-03: Technische Universität Braunschweig, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Hülsmann, K.
, and
G. Saake
,
"
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
RTF
Tagged
XML
BibTex
Google Scholar
Hülsmann, K.
,
"
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
RTF
Tagged
XML
BibTex
Google Scholar
Lipeck, U. W.
,
"
Transformation of Dynamic Integrity Constraints into Transaction Specifications
",
Theoretical Computer Science
, vol. 76, pp. 115-142, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Löhr-Richter, P.
,
Validation: Ein methodischer Schritt zu fehlerfreien Datenbankentwürfen
,
, no. 90-04: Technische Universität Braunschweig, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1989
Sernadas, A.
,
J. Fiadeiro
,
C. Sernadas
, and
H. - D. Ehrich
,
"
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
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1989AbstrObjTypes.pdf
(393.35 KB)
Ehrich, H. - D.
,
G. Engels
,
M. Gogolla
,
G. Saake
, and
(eds)
,
"
Abstracts des Workshops "Grundlagen von Datenbanken"
",
Abstracts des Workshops "Grundlagen von Datenbanken"
: Informatik-Bericht Nr. 89-02, Technische Universität Braunschweig, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Sernadas, A.
,
J. Fiadeiro
,
C. Sernadas
, and
H. - D. Ehrich
,
"
The Basic Building Block of Information Systems
",
Information System Concepts: An In-Depth Analysis
: North-Holland, Amsterdam, 1989, pp. 225-246, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1989BBBofIS.pdf
(1.08 MB)
Lohmann, F.
,
K. Neumann
, and
H. - D. Ehrich
,
"
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
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1989BTW.pdf
(557.01 KB)
Ehrich, H. - D.
,
A. Sernadas
, and
C. Sernadas
,
"
Objects, Object Types, and Object Identification
",
Categorical Methods in Computer Science
: LNCS 393, Springer, Berlin, pp. 142-156, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1989ObjOtypOid.pdf
(313.66 KB)
,
Abstracts des Workshops ``Grundlagen von Datenbanken''
,
: Technische Universität Braunschweig, Informatik-Bericht 89-02, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Ehrich, H. - D.
,
M. Gogolla
, and
U. W. Lipeck
,
Algebraische Spezifikation abstrakter Datentypen
,
: Teubner, Stuttgart, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
"
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
RTF
Tagged
XML
BibTex
Google Scholar
Hohenstein, U.
,
"
Automatic Transformation of an Entity-Relationship Query Language into SQL
",
Proc1 8th Int1 Conf1 on the Entity-Relationship Approach
, pp. 309-327, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Engels, G.
,
"
CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata
",
Proc1 GI-Fachtagung ``Interaktive Schnittstellen für Informationssysteme''
, pp. 1-16, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lipeck, U. W.
, and
D. S. Feng
,
"
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
RTF
Tagged
XML
BibTex
Google Scholar
Küspert, K.
,
G. Saake
, and
L. Wegner
,
"
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
RTF
Tagged
XML
BibTex
Google Scholar
Ebert, J.
, and
G. Engels
,
"
Konzepte einer Software-Architektur-Beschreibungssprache
",
Tagungsband GI-Fachtagung ``Software-Entwicklung''
: Informatik-Fachbericht Nr. 212, Springer, Berlin, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Saake, G.
,
On First Order Temporal Logics with Changing Domains for Information System Specification
,
, no. 89-01: Technische Universität Braunschweig, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Engels, G.
, and
W. Schäfer
,
Programmentwicklungsumgebungen, Konzepte und Realisierung
,
: Teubner, Stuttgart, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Saake, G.
,
V. Linnemann
,
P. Pistor
, and
L. Wegner
,
"
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
RTF
Tagged
XML
BibTex
Google Scholar
Hülsmann, K.
, and
G. Saake
,
Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring
,
, no. 89-04: Technische Universität Braunschweig, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Saake, G.
, and
U. W. Lipeck
,
"
Using Finite-Linear Temporal Logic for Specifying Database Dynamics
",
Proc1 CSL'88 2nd Workshop Computer Science Logic
: Springer, Berlin, pp. 288-300, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
« first
‹ previous
…
13
14
15
16
17
18
19
20
21
next ›
last »