Rainer Manthey

Proceedings of the 30th GI-Workshop Grundlagen von Datenbanken, Wuppertal, 2018

2015

Back to the Future - Should SQL Surrender to SPARQL?

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2015: Theory and Practice of Computer Science, 2015

2014

A Flexible System for a Comprehensive Analysis of Bibliographical Data.

[BibT_eX]

[DOI]

Proceedings of the WEBIST 2014, 2014

2010

AIMS: an SQL-based system for airspace monitoring.

[BibT_eX]

[DOI]

Gereon Schüller

Proceedings of the 2010 ACM SIGSPATIAL International Workshop on GeoStreaming, 2010

2009

TinTO: A Tool for View-Based Analysis of Stock Market Data Streams.

[BibT_eX]

[DOI]

Christian Dorau

Proceedings of the Datenbanksysteme in Business, 2009

Detecting Moving Objects in Noisy Radar Data Using a Relational Database.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2009

SQL Triggers Reacting on Time Events: An Extension Proposal.

[BibT_eX]

[DOI]

Christian Dorau

Proceedings of the Advances in Databases and Information Systems, 2009

2008

Incremental view-based analysis of stock market data streams.

[BibT_eX]

[DOI]

Proceedings of the 12th International Database Engineering and Applications Symposium (IDEAS 2008), 2008

A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2008

Data Stream Analysis for Location-Aware Collaborative Information Retrieval.

[BibT_eX]

Proceedings of the Advances in Databases and Information Systems, 2008

2007

TinTO: A Tool for the View-Based Analysis of Streams of Stock Market Data.

[BibT_eX]

[DOI]

Christian Dorau

Proceedings of the Advances in Databases: Concepts, 2007

2004

Update Propagation in Deductive Databases Using Soft Stratification.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2004

2001

An Amateur's Introduction to Constraints and Integrity Checking in SQL3.

[BibT_eX]

[DOI]

Birgit Pieper

Proceedings of the Datenbanksysteme in Büro, 2001

1998

Schach-Datenbanken - eine interessante Anwendung regelbasierter DB-Techniken?

[BibT_eX]

[DOI]

Proceedings of the Kurzfassungen, 1998

1997

Tools for Chimera: An Environment for Designing and Prototyping Advanced Applications in an Active DOOD Model.

[BibT_eX]

Ulrike Griefahn

Thomas Lemke

Proceedings of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97), 1997

1996

Deduktive Datenbanken.

[BibT_eX]

Heribert Schütz

Künstliche Intell., 1996

1995

Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser.

[BibT_eX]

Proceedings of the 11. Workshop Logische Programmierung, 1995

1994

Chimera: A Model and Language for Active DOOD Systems.

[BibT_eX]

[DOI]

Stefano Ceri

Proceedings of the East/West Database Workshop, 1994

Reflections on Some Fundamental Issues of Rule-based Incremental Update Propagation.

[BibT_eX]

Proceedings of the Fith International Workshop on the Deductive Approach to Information Systems and Databases, 1994

Update Propagation in Chimera, an Active DOOD Language.

[BibT_eX]

Ulrike Griefahn

Proceedings of the Fith International Workshop on the Deductive Approach to Information Systems and Databases, 1994

Active and Passive Rules in Database Systems: How Do They Relate? (Invited Paper).

[BibT_eX]

Proceedings of the First International Workshop on Advances in Databases and Information Systems, Moscow, Russia, May 23, 1994

Panel: Object Models and Beyond.

[BibT_eX]

Wolfgang Klas

Johann Eder

Leonid A. Kalinichenko

Sergei D. Kuznetsov

Proceedings of the First International Workshop on Advances in Databases and Information Systems, Moscow, Russia, May 23, 1994

1993

PROLOG + Datenbanken = deduktive Datenbanken?

[BibT_eX]

Proceedings of the 9. Workshop Logische Programmierung, 1993

Beyond Data Dictionaries: Towards a Reflective Architecture of Intelligent Database Systems.

[BibT_eX]

[DOI]

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

1992

The EKS-V1 System.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 1992

Update-driven Inference in Deductive Databases.

[BibT_eX]

Proceedings of the CNKBS'92, 1992

1991

Integrity Verification in Knowledge Bases.

[BibT_eX]

[DOI]

Bern Martens

Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

Towards a Unified View of Query- and Update-driven Inference in Deductive Databases.

[BibT_eX]

Proceedings of the Second International Workshop on the Deductive Approach to Information Systems and Databases, 1991

1990

Integrity and Recursion: Two Key Issues for Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the Information Systems and Artificial Intelligence: Integration Aspects, 1990

Zur Integration deduktiver und objektorientierter Konzepte in KBL.

[BibT_eX]

Proceedings of the Kurzfassungen des 2. Workshops "Grundlagen von Datenbanken", 1990

Relationship between Static and Dynamic Integrity Constraints (Working Group).

[BibT_eX]

Gunter Saake

Proceedings of the Second Workshop on Foundations of Models and Languages for Data and Objects, 1990

Satisfiability of Integrity Constraints: Reflections on a Neglected Problem.

[BibT_eX]

Proceedings of the Second Workshop on Foundations of Models and Languages for Data and Objects, 1990

Declarative Languages - Paradigm of the Past or Challenge of the Future?

[BibT_eX]

[DOI]

Proceedings of the Next Generation Information System Technology, 1990

1989

Can We Reach a Uniform Paradigm for Deductive Query Evaluation?

[BibT_eX]

[DOI]

Hervé Gallaire

Jean-Marie Nicolas

Proceedings of the Wissensbasierte Systeme, 1989

Einige Informationen über Profil und Forschungsprogramm der ECRC Knowledge Base Group.

[BibT_eX]

Proceedings of the Workshop Grundlagen von Datenbanken, 1989

Methoden zur Spezialisierung von Integritätsbedingungen in deduktiven Datenbanken.

[BibT_eX]

Proceedings of the Workshop Grundlagen von Datenbanken, 1989

1988

Mapping Object-Oriented Concepts into Relational Concepts by Meta-Compilation in a Logic programming Environment.

[BibT_eX]

[DOI]

Johann Christoph Freytag

Mark Wallace

Proceedings of the Advances in Object-Oriented Database Systems, 1988

A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.

[BibT_eX]

[DOI]

Hendrik Decker

Proceedings of the Advances in Database Technology, 1988

SATCHMO: A Theorem Prover Implemented in Prolog.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

A Hyperresolution-Based Proof Procedure and its Implementation in Prolog.

[BibT_eX]

[DOI]

Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987

Proving Finite Satisfiability of Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the CSL '87, 1987

1986

Checking Consistency of Database Constraints: a Logical Basis.

[BibT_eX]

[DOI]

Proceedings of the VLDB'86 Twelfth International Conference on Very Large Data Bases, 1986

Sur la validité des schémas de bases de données.

[BibT_eX]

Proceedings of the 2<sup>èmes</sup> Journées Bases de Données Avancés, 1986

1983

Eine formale Anfragesprache für Entity-Relationship-Datenbanken aus Sätzen der englischen Sprache.

[BibT_eX]

[DOI]