The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rainer Manthey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. François Bry, Rainer Manthey
    Checking Consistency of Database Constraints: a Logical Basis. [Citation Graph (13, 4)][DBLP]
    VLDB, 1986, pp:13-20 [Conf]
  3. Rainer Manthey, François Bry
    SATCHMO: A Theorem Prover Implemented in Prolog. [Citation Graph (8, 0)][DBLP]
    CADE, 1988, pp:415-434 [Conf]
  4. François Bry, Rainer Manthey, Bern Martens
    Integrity Verification in Knowledge Bases. [Citation Graph (8, 0)][DBLP]
    RCLP, 1991, pp:114-139 [Conf]
  5. Rainer Manthey
    Satisfiability of Integrity Constraints: Reflections on a Neglected Problem. [Citation Graph (4, 0)][DBLP]
    FMLDO, 1990, pp:169-179 [Conf]
  6. 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]
  7. Rainer Manthey
    Beyond Data Dictionaries: Towards a Reflective Architecture of Intelligent Database Systems. [Citation Graph (1, 0)][DBLP]
    DOOD, 1993, pp:328-339 [Conf]
  8. 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]
  9. Andreas Behrend, Rainer Manthey
    Update Propagation in Deductive Databases Using Soft Stratification. [Citation Graph (0, 0)][DBLP]
    ADBIS, 2004, pp:22-36 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Rainer Manthey
    Update-driven Inference in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    CNKBS, 1992, pp:1-5 [Conf]
  16. François Bry, Rainer Manthey
    Proving Finite Satisfiability of Deductive Databases. [Citation Graph (0, 0)][DBLP]
    CSL, 1987, pp:44-55 [Conf]
  17. Ulrike Griefahn, Rainer Manthey
    Update Propagation in Chimera, an Active DOOD Language. [Citation Graph (0, 0)][DBLP]
    DAISD, 1994, pp:277-298 [Conf]
  18. 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]
  19. Rainer Manthey
    Reflections on Some Fundamental Issues of Rule-based Incremental Update Propagation. [Citation Graph (0, 0)][DBLP]
    DAISD, 1994, pp:255-276 [Conf]
  20. 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]
  21. Gunter Saake, Rainer Manthey
    Relationship between Static and Dynamic Integrity Constraints (Working Group). [Citation Graph (0, 0)][DBLP]
    FMLDO, 1990, pp:213- [Conf]
  22. Rainer Manthey
    Methoden zur Spezialisierung von Integritätsbedingungen in deduktiven Datenbanken. [Citation Graph (0, 0)][DBLP]
    Grundlagen von Datenbanken, 1989, pp:- [Conf]
  23. Rainer Manthey
    Einige Informationen über Profil und Forschungsprogramm der ECRC Knowledge Base Group. [Citation Graph (0, 0)][DBLP]
    Grundlagen von Datenbanken, 1989, pp:- [Conf]
  24. Rainer Manthey
    Zur Integration deduktiver und objektorientierter Konzepte in KBL. [Citation Graph (0, 0)][DBLP]
    Grundlagen von Datenbanken, 1990, pp:66-68 [Conf]
  25. Rainer Manthey
    Schach-Datenbanken - eine interessante Anwendung regelbasierter DB-Techniken? [Citation Graph (0, 0)][DBLP]
    Grundlagen von Datenbanken, 1998, pp:87-88 [Conf]
  26. Rainer Manthey
    Integrity and Recursion: Two Key Issues for Deductive Databases. [Citation Graph (0, 0)][DBLP]
    IS/KI, 1990, pp:104-126 [Conf]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. Rainer Manthey
    PROLOG + Datenbanken = deduktive Datenbanken? [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:6- [Conf]
  32. 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]
  33. 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]

  34. Data Stream Analysis for Location-Aware Collaborative Information Retrieval. [Citation Graph (, )][DBLP]


  35. Detecting Moving Objects in Noisy Radar Data Using a Relational Database. [Citation Graph (, )][DBLP]


  36. SQL Triggers Reacting on Time Events: An Extension Proposal. [Citation Graph (, )][DBLP]


  37. TinTO: A Tool for View-Based Analysis of Stock Market Data Streams. [Citation Graph (, )][DBLP]


  38. A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases. [Citation Graph (, )][DBLP]


  39. Incremental view-based analysis of stock market data streams. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.017secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002