Jean-Marie Nicolas

Publication Activity (10 Years)

Years Active: 1974-1990
Publications (10 Years): 0

Publications

Hervé Gallaire, Jean-Marie Nicolas
Logic and Databases: An Assessment. ICDT (1990)
Rainer Manthey, Hervé Gallaire, Jean-Marie Nicolas
Can We Reach a Uniform Paradigm for Deductive Query Evaluation? Wissensbasierte Systeme (1989)
Jean-Marie Nicolas
Sur l'intégration des technologies IA et BD. SPLT (1987)
Hervé Gallaire, Jean-Marie Nicolas
Logic Approach to Knowledge and Data Bases at ECRC. IEEE Data Eng. Bull. 10 (4) (1987)
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
Logic and Databases: A Response. ACM SIGPLAN Notices 22 (6) (1987)
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
Logic and databases: a response. SIGACT News 18 (2) (1986)
Jorge B. Bocca, Hendrik Decker, Jean-Marie Nicolas, Laurent Vieille, Mark Wallace
Some Steps Towards a DBMS-based KBMS. IFIP Congress (1986)
Hervé Gallaire, Jean-Marie Nicolas
How to Look at Deductive Databases. Foundations of Knowledge Base Management (Xania) (1985)
Wolfgang Bibel, Jean-Marie Nicolas
The Role of Logic for Data and Knowledge Bases: A Brief Summary. Foundations of Knowledge Base Management (Xania) (1985)
Jean-Marie Nicolas
Logic Databases. Wissensbasierte Systeme (1985)
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16 (2) (1984)
Jean-Marie Nicolas
Bases de données logiques et programmation en logique. SPLT (1983)
Jean-Marie Nicolas, Kioumars Yazdanian
An Outline of BDGEN: A Deductive DBMS. IFIP Congress (1983)
Jack Minker, Jean-Marie Nicolas
On recursive axioms in deductive databases. Inf. Syst. 8 (1) (1983)
Jean-Marie Nicolas
Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica 18 (1982)
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
Background for Advances in Data Base Theory. Advances in Data Base Theory (1979)
Jean-Marie Nicolas
Mutual Dependencies and Some Results on Undecomposable Relations. VLDB (1978)
Robert Demolombe, Michel Lemaître, Jean-Marie Nicolas
The Language of SYNTEX-2, an Implemented Relational-like DBMS. Jerusalem Conference on Information Technology (1978)
Jean-Marie Nicolas
First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies. SIGMOD Conference (1978)
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
An Overview and Introduction to Logic and Data Bases. Logic and Data Bases (1977)
Jean-Marie Nicolas, Kioumars Yazdanian
Integrity Checking in Deductive Data Bases. Logic and Data Bases (1977)
Jean-Marie Nicolas, Hervé Gallaire
Data Base: Theory vs. Interpretation. Logic and Data Bases (1977)
Jean-Marie Nicolas, Jean-Claude Syre
Natural Language Question Answering and Automatic Deduction in the System Syntex. IFIP Congress (1974)