Publikationen

Andreas Behrend, Rainer Manthey, Birgit Pieper
An Amateur`s Introduction to Integrity Constraints and Integrity Checking in SQL

in: A. Heuer et.al. (Hrsg.), "Datenbanksysteme in Büro, Technik und Wissenschaft", 9. GI-Fachtagung (BTW 2001), Oldenburg, März 2001, Springer Informatik aktuell 2001, S. 405-423
[Postscript file]

Ulrike Griefahn, Thomas Lemke, Rainer Manthey
Tools for Chimera: An Environment for Designing and Prototyping Advanced Applications in an Active DOOD Model

Proceedings 1st East-European Symposium on Advances in Databases and Information Systems (ADBIS'97), St.-Petersburg (Russia), September 1997, (10 Seiten)

[Abstract] [PostScript file] 

Thomas Lemke, Rainer Manthey
The Passive Rule Design Tool: Tool Documentation

Technical Report IDEA.DE.22.O.010, ESPRIT Project 6333 (IDEA), March 1997, (26 Seiten)

[Abstract] [PostScript file] 

Rainer Manthey
Deductive Rule Prototyping

Chapter 11 in: S. Ceri, P. Fraternali ''Designing Database Applications with Objects and Rules: The IDEA Methodology'', Addison-Wesley, 1997, pp. 261--280

Francois Bry, Rainer Manthey, Heribert Schütz
Deduktive Datenbanken

``Künstliche Intelligenz'', 3/1996, pp. 17-23

[Abstract] [PostScript file] 

Ulrike Griefahn, Thomas Lemke, Rainer Manthey
Chimera Prototyping Tool: User Manual

Technical Report IDEA.DE.22.O.006, ESPRIT Project 6333 (IDEA), May 1996 (53 Seiten)

[Abstract] [PostScript file] 

Thomas Lemke, Rainer Manthey
The Schema Evolution Assistant: Tool Description

Technical Report IDEA.DE.22.O.004, ESPRIT Project 6333 (IDEA), November 1995 (43 Seiten)

[Abstract] [PostScript file] 

Ulrike Griefahn, Rainer Manthey
Propagation Rule Compiler: Tool Description

Technical Report IDEA.DE.22.O.003, ESPRIT Project 6333 (IDEA), December 1995 (43 Seiten)

[Abstract] [PostScript file] 

Francois Bry, Rainer Manthey
Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser

Proceedings 11. Workshop Logische Programmierung, Vienna (Austria), September 1995, GMD-Studien 270, pp. 205-216

[Abstract] [PostScript file] 

Rainer Manthey
Active and passive rules in database systems: How do they relate?

Proceedings 1st International Workshop on Advances in Databases and Information Systems (ADBIS'94), Moscow (Russia), June 1994

[Abstract] [PostScript file] 

Stefano Ceri, Rainer Manthey
Chimera: A Model and Language for Active DOOD Systems

Proceedings 2nd International East/West Database Workshop, Klagenfurt (Austria), September 1994, published in Springer Workshops in Computing Series, 1995, J. Eder and L.A. Kalinichenko (eds), pp. 3-16

[Abstract] [PostScript file] 

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

Proceedings 5th International Workshop on the Deductive Approach to Information Systems and Databases (DAISD'94), Aiguablava, Spain, September 1994, pp. 255-276
auch als Technischer Bericht IAI-TR-94-5, Institut für Informatik III, Universität  Bonn

[Abstract] [PostScript file]

Ulrike Griefahn, Rainer Manthey
Update Propagation in Chimera, an Active DOOD Language

Proceedings 5th International Workshop on the Deductive Approach to Information Systems and Databases (DAISD'94), Aiguablava, Spain, September 1994, pp. 277-298
auch als Technischer Bericht  IAI-TR-94-4, Institut für Informatik III, Universität Bonn, und als Technical Report IDEA.WP.22.O.001, ESPRIT Project 6333 (IDEA)

[Abstract] [PostScript file] 

Rainer Manthey
Datalog and Beyond: A ''Gentle'' Introduction to Research in Deductive Databases

Proceedings 14th National Database Seminar (DATASEM'94), Brno (Czech Re../public), October 1994, CS-COMPEX, ISBN 80-900047-9-2, pp. 287-302

[Abstract] [PostScript file] 

Stefano Ceri, Rainer Manthey
Consolidated Specification of Chimera (CM and CL)

Technical Report IDEA.DE.2P.006.01, ESPRIT Project 6333 (IDEA), November 1993, (86 Seiten)

[Abstract] [PostScript file] 

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

Proceedings 3rd International Conference on Deductive and Object-Oriented Databases (DOOD'93), Phoenix/Arizona (USA), December 1993, Springer LNCS 760, pp. 328--339

[Abstract] [PostScript file] 

Rainer Manthey
Update-driven Inference in Deductive Databases (Extended Abstract)

Proceedings 1st Compulog Net Meeting on Knowledge Bases (CNKBS'92), G. Comyn, M. Jarke, S. Sripada (eds.), Munich, February 1992, ECRC Technical Report 92-2, pp. 1-6

[Abstract] [PostScript file] 

Laurent Vieille, Petra Bayer, Volker Küchenhoff, Alexandre Lefebvre, Rainer Manthey
An Overview of the EKS-V1 System
ECRC Technical Report TR-KB-38, August 1991, 19 Seiten

[Abstract]

Documentation of EKS-V1
ECRC Technical Report TR-KB-36, July1991, 85 Seiten

[Abstract]

Laurent Vieille, Petra Bayer, Volker Küchenhoff, Alexandre Lefebvre, Rainer Manthey
EKS-V1: A User Guide
ECRC Technical Report TR-KB-33, September 1991, 48 Seiten

[Abstract] 

Francois Bry, Rainer Manthey, Bern Martens
Integrity Verification in Knowledge Bases

Proceedings 2nd Russian Logic Programming Conference, St. Petersburg, September 1991, Springer LNAI 592, pp. 114--139

[Abstract] 

Rainer Manthey
Towards a Unified View of Query- and Update-driven Inference in Deductive Databases (Extended Abstract)

Proceedings 2nd International Workshop on the Deductive Approach to Information Systems and Databases (DAISD'91), Aiguablava, Spain, September 1991, pp. 220-224

[Abstract] [PostScript file] 

Rainer Manthey
Programming with Knowledge Repositories: A Database Perspective for Intelligent Systems
Proceedings 2nd International Workshop on Intelligent and Cooperative Information Systems, Como (Italy), Oktober 1991, pp. 50--54

[Abstract] [PostScript file] 

Rainer Manthey
Integrity and recursion: two key issues in deductive databases
D. Karagiannis (ed.): Information Systems and Artificial Intelligence: Integration Aspects, Proceedings 1st GI DB/AI-Workshop, Ulm, March 1990, Springer LNCS 474, pp. 104--126

[Abstract] [PostScript file] 

Rainer Manthey
Satisfiability of Integrity Constraints: Reflections on a Neglected Problem
Proceedings 2nd Workshop on Foundations of Models and Languages for Data and Objects, Aigen (Austria), September 1990, pp. 169--179

[Abstract] [PostScript file] 

Rainer Manthey
Declarative languages -- paradigm of the past, or challenge for the future?
J.W. Schmidt, A.A. Stogny (eds..): Next Generation Information System Technology, Proceedings 1st East/West Database Workshop, Kiev (Ukraine), October 1990, Springer LNCS 504, pp. 1--16

[Abstract] [PostScript file] 

Volker Küchenhoff, Rainer Manthey, Mark Wallace
KBL: design proposal for a conceptual language of EKS
ECRC Technical Report TR-KB-29, January 1989, 63 Seiten

[Abstract] 

Rainer Manthey, Herve Gallaire, Jean-Marie Nicolas
Can we reach a uniform paradigm for deductive query evaluation?
Proceedings 3. Internationaler GI-Kongres ``Wissensbasierte Systeme'', München, October 1989, Springer Informatik-Fachberichte 227, pp. 17--32

[Abstract]

Francois Bry, Hendrik Decker, Rainer Manthey
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases
Proceedings 1st International Conference on Extending Data Base Technology (EDBT'88), Venice, March 1988, Springer LNCS 303, pp. 488--505

[Abstract] 

Rainer Manthey, Francois Bry
SATCHMO: A Theorem Prover Implemented in Prolog
Proceedings 9th International Conference on Automated Deduction (CADE'88), Argonne/Illinois, USA, May 1988, Springer LNCS 310, pp. 415--434

[Abstract] 

Johann-Christoph Freytag, Rainer Manthey, Mark Wallace
Mapping Object-Oriented Concepts into Relational Concepts by Meta-Compilation in a Logic Programming Environment
Proceedings 2nd International Workshop on Object-Oriented Database Systems, Bad M\"{u}nster am Stein, September 1988, Springer LNCS 343, pp. 204--208

[Abstract] 

Rainer Manthey, Francois Bry
A Hyperresolution-Based Proof Procedure and its Implementation in Prolog
Proceedings 11th German Workshop on Artificial Intelligence (GWAI'87), Geseke, September 1987, Springer Informatik-Fachberichte 152, pp. 221--230

[Abstract] 

Francois Bry, Rainer Manthey
Sur la Validite des Schemas de Bases de Donnees
Compte-rendus 2emes Journees Bases de Donnees Avancees, Giens (France), April 1986, pp. 89--108

[Abstract] 

Francois Bry, Rainer Manthey
Checking Consistency of Database Constraints: A Logical Basis
Proceedings 12th International Conference on Very Large Data Bases (VLDB'86), Kyoto (Japan), August 1986, pp. 13--20

[Abstract] [PDF file] 

Rainer Manthey
A Computer-Aided System for DB Schema Design
ECRC Technical Report TR-KB-1, February 1985, 32 Seiten

[Abstract] 

Francois Bry, Rainer Manthey
Detecting Consistency of Database Rules by Adapting Theorem Proving Methods
ECRC Technical Report TR-KB-8, November 1985, 26 Seiten

[Abstract] 

Rainer Manthey
Eine formale Anfragesprache für Entity-Relationship-Datenbanken aus ätzen der englischen Sprache
Dissertation, Universität Kiel, Dezember 1983, 171 Seiten

[Abstract] 

Rainer Manthey, Peter Kandzia
A formal basis for implicit semantical navigation in entity-relationship query languages
Proceedings International Workshop on Logical Bases for Databases, Toulouse (France), December 1982, ONERA-CERT (DER-Informatique), 30 Seiten

[Abstract]