Search the dblp DataBase

Publications of Author

1. Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
   Logic and Databases: A Deductive Approach. [Citation Graph (131, 112)][DBLP]
   ACM Comput. Surv., 1984, v:16, n:2, pp:153-185 [Journal]
   
2. Jean-Marie Nicolas
   Logic for Improving Integrity Checking in Relational Data Bases. [Citation Graph (82, 0)][DBLP]
   Acta Inf., 1982, v:18, n:, pp:227-253 [Journal]
   
3. Jean-Marie Nicolas, Hervé Gallaire
   Data Base: Theory vs. Interpretation. [Citation Graph (24, 0)][DBLP]
   Logic and Data Bases, 1977, pp:33-54 [Conf]
   
4. Jean-Marie Nicolas, Kioumars Yazdanian
   Integrity Checking in Deductive Data Bases. [Citation Graph (21, 0)][DBLP]
   Logic and Data Bases, 1977, pp:325-344 [Conf]
   
5. Jack Minker, Jean-Marie Nicolas
   On recursive axioms in deductive databases. [Citation Graph (16, 0)][DBLP]
   Inf. Syst., 1983, v:8, n:1, pp:1-13 [Journal]
   
6. Jean-Marie Nicolas
   First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies. [Citation Graph (13, 8)][DBLP]
   SIGMOD Conference, 1978, pp:40-46 [Conf]
   
7. Jean-Marie Nicolas
   Mutual Dependencies and Some Results on Undecomposable Relations. [Citation Graph (13, 11)][DBLP]
   VLDB, 1978, pp:360-367 [Conf]
   
8. Jean-Marie Nicolas, Kioumars Yazdanian
   An Outline of BDGEN: A Deductive DBMS. [Citation Graph (12, 0)][DBLP]
   IFIP Congress, 1983, pp:711-717 [Conf]
   
9. Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
   An Overview and Intoduction to Logic and Data Bases. [Citation Graph (2, 0)][DBLP]
   Logic and Data Bases, 1977, pp:3-30 [Conf]
   
10. Hervé Gallaire, Jean-Marie Nicolas
    Logic and Databases: An Assessment. [Citation Graph (2, 32)][DBLP]
    ICDT, 1990, pp:177-186 [Conf]
    
11. Jean-Marie Nicolas, Jean-Claude Syre
    Natural Language Question Answering and Automatic Deduction in the System Syntex. [Citation Graph (2, 0)][DBLP]
    IFIP Congress, 1974, pp:595-599 [Conf]
    
12. Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
    Background for Advances in Data Base Theory. [Citation Graph (1, 0)][DBLP]
    Advances in Data Base Theory, 1979, pp:3-21 [Conf]
    
13. Hervé Gallaire, Jean-Marie Nicolas
    How to Look at Deductive Databases. [Citation Graph (1, 0)][DBLP]
    Foundations of Knowledge Base Management (Xania), 1985, pp:119-130 [Conf]
    
14. 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]
    
15. Hervé Gallaire, Jean-Marie Nicolas
    Logic Approach to Knowledge and Data Bases at ECRC. [Citation Graph (1, 0)][DBLP]
    IEEE Data Eng. Bull., 1987, v:10, n:4, pp:2-9 [Journal]
    
16. Wolfgang Bibel, Jean-Marie Nicolas
    The Role of Logic for Data and Knowledge Bases: A Brief Summary. [Citation Graph (0, 0)][DBLP]
    Foundations of Knowledge Base Management (Xania), 1985, pp:3-22 [Conf]
    
17. Jorge B. Bocca, Hendrik Decker, Jean-Marie Nicolas, Laurent Vieille, Mark Wallace
    Some Steps Towards a DBMS-based KBMS. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:1061-1067 [Conf]
    
18. Robert Demolombe, Michel Lemaître, Jean-Marie Nicolas
    The Language of SYNTEX-2, an Implemented Relational-like DBMS. [Citation Graph (0, 0)][DBLP]
    Jerusalem Conference on Information Technology, 1978, pp:171-175 [Conf]
    
19. Jean-Marie Nicolas
    Bases de données logiques et programmation en logique. [Citation Graph (0, 0)][DBLP]
    SPLT, 1983, pp:- [Conf]
    
20. Jean-Marie Nicolas
    Sur l'intégration des technologies IA et BD. [Citation Graph (0, 0)][DBLP]
    SPLT, 1987, pp:545-0 [Conf]
    
21. Jean-Marie Nicolas
    Logic Databases. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1985, pp:199-207 [Conf]
    
22. Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
    Logic and Databases: A Response. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1987, v:22, n:6, pp:20-24 [Journal]