Rainer Manthey
Rainer Manthey
Professor of Computer Science, University of Bonn, Germany
Geverifieerd e-mailadres voor cs.uni-bonn.de - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
SATCHMO: a theorem prover implemented in Prolog
R Manthey, F Bry
9th International Conference on Automated Deduction, 415-434, 1988
4781988
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
2301988
Checking Consistency of Database Constraints
F Bry, R Manthey
Morgan Kaufman, 1986
1031986
Integrity verification in knowledge bases
F Bry, R Manthey, B Martens
Logic Programming, 114-139, 1992
731992
Chimera: A model and language for active DOOD systems
S Ceri, R Manthey
East/West Database Workshop, 3-16, 1995
511995
Proving finite satisfiability of deductive databases
F Bry, R Manthey
CSL'87, 44-55, 1988
281988
Consolidated specification of Chimera
S Ceri, R Manthey
IDEA Esprit Project, Politecnico di Milano, Milano-Italy, Tech. Rep. IDEA …, 1993
241993
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
231987
Consolidated specification of Chimera (CM and CL)
S Ceri, R Manthey
221993
Update propagation in deductive databases using soft stratification
A Behrend, R Manthey
Advances in Databases and Information Systems, 22-36, 2004
212004
Reflections on Some Fundamental Issues of Rule-based Incremental Update Propagation.
R Manthey
Sekretariat für Forschungsberichte, Inst. für Informatik III, 1994
211994
Beyond data dictionaries: Towards a reflective architecture of intelligent database systems
R Manthey
Deductive and Object-Oriented Databases, 328-339, 1993
191993
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
161990
The EKS-V1 system
L Vieille, P Bayer, V Küchenhoff, A Lefebvre, R Manthey
Logic Programming and Automated Reasoning, 504-506, 1992
141992
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
132008
The Schema Evolution Assistant: Tool Description
T Lemke, R Manthey
IDEA. DE 22, 1995
131995
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
122010
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
112009
SQL triggers reacting on time events: An extension proposal
A Behrend, C Dorau, R Manthey
Advances in Databases and Information Systems, 179-193, 2009
112009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20