Follow
Rainer Manthey
Rainer Manthey
Professor of Computer Science, University of Bonn, Germany
Verified email at cs.uni-bonn.de - Homepage
Title
Cited by
Cited by
Year
SATCHMO: a theorem prover implemented in Prolog
R Manthey, F Bry
9th International Conference on Automated Deduction, 415-434, 1988
5131988
A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases
F Bry, H Decker, R Manthey
Advances in Database Technology—EDBT'88, 488-505, 1988
2361988
Checking Consistency of Database Constraints
F Bry, R Manthey
Morgan Kaufman, 1986
1021986
Integrity verification in knowledge bases
F Bry, R Manthey, B Martens
Logic Programming, 114-139, 1992
811992
Chimera: A model and language for active DOOD systems
S Ceri, R Manthey
East/West Database Workshop, 3-16, 1995
531995
Consolidated specification of Chimera (CM and CL)
S Ceri, R Manthey
261993
Proving finite satisfiability of deductive databases
F Bry, R Manthey
CSL'87, 44-55, 1988
261988
Beyond data dictionaries: Towards a reflective architecture of intelligent database systems
R Manthey
Deductive and Object-Oriented Databases, 328-339, 1993
241993
Update propagation in deductive databases using soft stratification
A Behrend, R Manthey
Advances in Databases and Information Systems, 22-36, 2004
232004
Consolidated specification of Chimera
S Ceri, R Manthey
IDEA Esprit Project, Politecnico di Milano, Milano-Italy, Tech. Rep. IDEA …, 1993
231993
Reflections on Some Fundamental Issues of Rule-based Incremental Update Propagation.
R Manthey
Sekretariat für Forschungsberichte, Inst. für Informatik III, 1994
221994
A hyperresolution-based proof procedure and its implementation in Prolog
R Manthey, F Bry
GWAI-87 11th German Workshop on Artifical Intelligence, 221-230, 1987
221987
Consolidated specification of Chimera, the conceptual interface of Idea
S Ceri, R Manthey
Technical Report IDEA. DD 2, 35-39, 1993
171993
Satisfiability of Integrity Constraints: Reflections on a Neglected Problem.
R Manthey
FMLDO, 169-179, 1990
171990
Incremental view-based analysis of stock market data streams
A Behrend, C Dorau, R Manthey, G Schüeller
Proceedings of the 2008 international symposium on Database engineering …, 2008
162008
The Schema Evolution Assistant: Tool Description
T Lemke, R Manthey
IDEA. DE 22, 1995
151995
AIMS: an SQL-based system for airspace monitoring
G Schüller, A Behrend, R Manthey
Proceedings of the ACM SIGSPATIAL International Workshop on GeoStreaming, 31-38, 2010
142010
The EKS-V1 system
L Vieille, P Bayer, V Küchenhoff, A Lefebvre, R Manthey
Logic Programming and Automated Reasoning, 504-506, 1992
141992
Detecting Moving Objects in Noisy Radar Data Using a Relational Database
A Behrend, R Manthey, G Schüller, M Wieneke
Advances in Databases and Information Systems, 286-300, 2009
132009
Update propagation in Chimera, an active DOOD language
U Griefahn, R Manthey
Sekretariat für Forschungsberichte, Inst. für Informatik III, 1994
131994
The system can't perform the operation now. Try again later.
Articles 1–20