Udo W. Lipeck

Proceedings of the Datenbanksysteme in Büro, 2001

2000

Efficient Index Structures for Spatio-Temporal Objects.

[BibT_eX]

[DOI]

Carsten Kleiner

Proceedings of the 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 2000

1997

Specifying with defaults: Compositional semantics.

[BibT_eX]

[DOI]

F. Miguel Dionísio

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

An Extensible Framework for Repairing Constraint Violations.

[BibT_eX]

Proceedings of the Integrity and Internal Control in Information Systems, 1997

SubQuery-By-Example: Eine orthogonale Erweiterung von QBE.

[BibT_eX]

[DOI]

Alexander Scharnofske

Proceedings of the Datenbanksysteme in Büro, 1997

1996

Deriving Optimized Integrity Monitoring Triggers from Dynamic Integrity Constraints.

[BibT_eX]

[DOI]

Data Knowl. Eng., 1996

1995

"Temporal" Integrity Constraints in Temporal Databases

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Temporal Databases, 1995

Comments on "A meta model transformation approach towards harmonisation in information system modelling" by J. L. H. Oei.

[BibT_eX]

Proceedings of the Information System Concepts: Towards a Consolidation of Views, 1995

1994

Transitional Monitoring of Dynamic Inegrity Constraints.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1994

Object-Oriented System Specification Using Defaults.

[BibT_eX]

[DOI]

Proceedings of the Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28, 1994

1993

Deriving Integrity Maintaining Triggers from Transition Graphs.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Data Engineering, 1993

Bottom-Up Query Evaluation with Partially Ordered Defaults.

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, Third International Conference, 1993

1992

Integritätszentrierter Datenbank-Entwurf.

[BibT_eX]

Datenbank Rundbr., 1992

Generalized Bottom-Up Query Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Database Technology, 1992

1991

Zur Semantik von Vererbung in logischen Objektspezifikationen.

[BibT_eX]

Proceedings of the Kurzfassungen des 3. GI-Workshops "Grundlagen von Datenbanken", 1991

Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals.

[BibT_eX]

Heren Zhou

Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

Semantice of Inheritance in Logical Object Specifications.

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 1991

A Functional DBPL Revealing High Level Optimizations.

[BibT_eX]

Martin Erwig

Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

1990

Transformation of Dynamic Integrity Constraints into Transaction Specifications.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

1989

Specifying Closed World Assumptions for Logic Databases.

[BibT_eX]

[DOI]

Proceedings of the MFDBS 89, 1989

Schrittweiser Entwurf von Datenbankverhalten durch Transformation dynamischer Integritätsbedingungen.

[BibT_eX]

Proceedings of the Workshop Grundlagen von Datenbanken, 1989

Dynamische Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung

[BibT_eX]

[DOI]

Informatik-Fachberichte 209, Springer, ISBN: 3-540-51130-X, 1989

Algebraische Spezifikation abstrakter Datentypen - eine Einführung in die Theorie.

[BibT_eX]

Martin Gogolla

Leitfäden und Monographien der Informatik, Teubner, ISBN: 978-3-519-02266-4, 1989

1988

Construction of Deterministic Transition Graphs from Dynamic Integrity Constraints.

[BibT_eX]

[DOI]

Dasu Feng

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1988

Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen.

[BibT_eX]

[DOI]

Proceedings of the GI, 1988

Using Finite-Linear Temporal Logic for Specifying Database Dynamics.

[BibT_eX]

[DOI]

Proceedings of the CSL '88, 1988

1987

Monitoring dynamic integrity constraints based on temporal logic.

[BibT_eX]

[DOI]

Inf. Syst., 1987

Foundations of Temporal Integrity Monitoring.

[BibT_eX]

Proceedings of the Temporal Aspects in Information Systems, 1987

1986

Stepwise Specification of Dynamic Database Behaviour.

[BibT_eX]

[DOI]

Proceedings of the 1986 ACM SIGMOD International Conference on Management of Data, 1986

Modelling and Manipulating Objects in Geoscientific Databases.

[BibT_eX]

Karl Neumann

Proceedings of the Entity-Relationship Approach: Ten Years of Experience in Information Modeling, 1986

On the Semantics of the Frame Rule.

[BibT_eX]

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1985

Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic.

[BibT_eX]

Martin Gogolla

Proceedings of the Information Systems - Theoretical and Formal Aspects, 1985

1984

Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1984

Specification, Semantics, and Enforcement of Dynamic Database Constraints.

[BibT_eX]

[DOI]

Martin Gogolla

Proceedings of the Tenth International Conference on Very Large Data Bases, 1984

1983

Algebraic Domain Equations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1983

Algebraic and operational semantics of exceptions and errors.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 1983

Algebraic Specifications of Database Constraints.

[BibT_eX]

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

Ein algebraischer Kalkül für einen strukturierten Entwurf von Datenabstraktionen.

[BibT_eX]

[DOI]

PhD thesis, 1982

Composition and Implementation of Parameterized Data Types.

[BibT_eX]

Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982

1980

Proving Implementations Correct - Two Alternative Approaches.

[BibT_eX]