Search the dblp DataBase
Rainer Manthey :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
François Bry , Hendrik Decker , Rainer Manthey A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. [Citation Graph (29, 9)][DBLP ] EDBT, 1988, pp:488-505 [Conf ] François Bry , Rainer Manthey Checking Consistency of Database Constraints: a Logical Basis. [Citation Graph (13, 4)][DBLP ] VLDB, 1986, pp:13-20 [Conf ] Rainer Manthey , François Bry SATCHMO: A Theorem Prover Implemented in Prolog. [Citation Graph (8, 0)][DBLP ] CADE, 1988, pp:415-434 [Conf ] François Bry , Rainer Manthey , Bern Martens Integrity Verification in Knowledge Bases. [Citation Graph (8, 0)][DBLP ] RCLP, 1991, pp:114-139 [Conf ] Rainer Manthey Satisfiability of Integrity Constraints: Reflections on a Neglected Problem. [Citation Graph (4, 0)][DBLP ] FMLDO, 1990, pp:169-179 [Conf ] Stefano Ceri , Rainer Manthey Chimera: A Model and Language for Active DOOD Systems. [Citation Graph (3, 0)][DBLP ] East/West Database Workshop, 1994, pp:3-16 [Conf ] Rainer Manthey Beyond Data Dictionaries: Towards a Reflective Architecture of Intelligent Database Systems. [Citation Graph (1, 0)][DBLP ] DOOD, 1993, pp:328-339 [Conf ] Rainer Manthey , Hervé Gallaire , Jean-Marie Nicolas Can We Reach a Uniform Paradigm for Deductive Query Evaluation? [Citation Graph (1, 0)][DBLP ] Wissensbasierte Systeme, 1989, pp:17-32 [Conf ] Andreas Behrend , Rainer Manthey Update Propagation in Deductive Databases Using Soft Stratification. [Citation Graph (0, 0)][DBLP ] ADBIS, 2004, pp:22-36 [Conf ] Ulrike Griefahn , Thomas Lemke , Rainer Manthey Tools for Chimera: An Environment for Designing and Prototyping Advanced Applications in an Active DOOD Model. [Citation Graph (0, 10)][DBLP ] ADBIS, 1997, pp:346-355 [Conf ] Wolfgang Klas , Johann Eder , Leonid A. Kalinichenko , Sergei D. Kuznetsov , Rainer Manthey Panel: Object Models and Beyond. [Citation Graph (0, 0)][DBLP ] ADBIS, 1994, pp:244- [Conf ] Rainer Manthey Active and Passive Rules in Database Systems: How Do They Relate? (Invited Paper). [Citation Graph (0, 10)][DBLP ] ADBIS, 1994, pp:104-115 [Conf ] François Bry , Rainer Manthey Sur la validité des schémas de bases de données. [Citation Graph (0, 0)][DBLP ] BDA, 1986, pp:89-108 [Conf ] Andreas Behrend , Rainer Manthey , Birgit Pieper An Amateur's Introduction to Constraints and Integrity Checking in SQL3. [Citation Graph (0, 0)][DBLP ] BTW, 2001, pp:405-423 [Conf ] Rainer Manthey Update-driven Inference in Deductive Databases. [Citation Graph (0, 0)][DBLP ] CNKBS, 1992, pp:1-5 [Conf ] François Bry , Rainer Manthey Proving Finite Satisfiability of Deductive Databases. [Citation Graph (0, 0)][DBLP ] CSL, 1987, pp:44-55 [Conf ] Ulrike Griefahn , Rainer Manthey Update Propagation in Chimera, an Active DOOD Language. [Citation Graph (0, 0)][DBLP ] DAISD, 1994, pp:277-298 [Conf ] Rainer Manthey Towards a Unified View of Query- and Update-driven Inference in Deductive Databases. [Citation Graph (0, 0)][DBLP ] DAISD, 1991, pp:220-224 [Conf ] Rainer Manthey Reflections on Some Fundamental Issues of Rule-based Incremental Update Propagation. [Citation Graph (0, 0)][DBLP ] DAISD, 1994, pp:255-276 [Conf ] Rainer Manthey Declarative Languages - Paradigm of the Past or Challenge of the Future? [Citation Graph (0, 0)][DBLP ] East/West Database Workshop, 1990, pp:1-16 [Conf ] Gunter Saake , Rainer Manthey Relationship between Static and Dynamic Integrity Constraints (Working Group). [Citation Graph (0, 0)][DBLP ] FMLDO, 1990, pp:213- [Conf ] Rainer Manthey Methoden zur Spezialisierung von Integritätsbedingungen in deduktiven Datenbanken. [Citation Graph (0, 0)][DBLP ] Grundlagen von Datenbanken, 1989, pp:- [Conf ] Rainer Manthey Einige Informationen über Profil und Forschungsprogramm der ECRC Knowledge Base Group. [Citation Graph (0, 0)][DBLP ] Grundlagen von Datenbanken, 1989, pp:- [Conf ] Rainer Manthey Zur Integration deduktiver und objektorientierter Konzepte in KBL. [Citation Graph (0, 0)][DBLP ] Grundlagen von Datenbanken, 1990, pp:66-68 [Conf ] Rainer Manthey Schach-Datenbanken - eine interessante Anwendung regelbasierter DB-Techniken? [Citation Graph (0, 0)][DBLP ] Grundlagen von Datenbanken, 1998, pp:87-88 [Conf ] Rainer Manthey Integrity and Recursion: Two Key Issues for Deductive Databases. [Citation Graph (0, 0)][DBLP ] IS/KI, 1990, pp:104-126 [Conf ] Rainer Manthey , François Bry A Hyperresolution-Based Proof Procedure and its Implementation in Prolog. [Citation Graph (0, 0)][DBLP ] GWAI, 1987, pp:221-230 [Conf ] Laurent Vieille , Petra Bayer , Volker Küchenhoff , Alexandre Lefebvre , Rainer Manthey The EKS-V1 System. [Citation Graph (0, 0)][DBLP ] LPAR, 1992, pp:504-506 [Conf ] Johann Christoph Freytag , Rainer Manthey , Mark Wallace Mapping Object-Oriented Concepts into Relational Concepts by Meta-Compilation in a Logic programming Environment. [Citation Graph (0, 0)][DBLP ] OODBS, 1988, pp:204-208 [Conf ] François Bry , Rainer Manthey Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser. [Citation Graph (0, 0)][DBLP ] WLP, 1995, pp:205-216 [Conf ] Rainer Manthey PROLOG + Datenbanken = deduktive Datenbanken? [Citation Graph (0, 0)][DBLP ] WLP, 1993, pp:6- [Conf ] François Bry , Rainer Manthey , Heribert Schütz Deduktive Datenbanken. [Citation Graph (0, 0)][DBLP ] KI, 1996, v:10, n:3, pp:17-23 [Journal ] Andreas Behrend , Christian Dorau , Rainer Manthey TinTO: A Tool for the View-Based Analysis of Streams of Stock Market Data. [Citation Graph (0, 0)][DBLP ] DASFAA, 2007, pp:1110-1114 [Conf ] Data Stream Analysis for Location-Aware Collaborative Information Retrieval. [Citation Graph (, )][DBLP ] Detecting Moving Objects in Noisy Radar Data Using a Relational Database. [Citation Graph (, )][DBLP ] SQL Triggers Reacting on Time Events: An Extension Proposal. [Citation Graph (, )][DBLP ] TinTO: A Tool for View-Based Analysis of Stock Market Data Streams. [Citation Graph (, )][DBLP ] A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases. [Citation Graph (, )][DBLP ] Incremental view-based analysis of stock market data streams. [Citation Graph (, )][DBLP ] Search in 0.037secs, Finished in 0.040secs