Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from VLDB 2026 / reviewers in the wild / expert

Jean-Marie Nicolas 0001

dblp:98/6811 · DBLP profile ↗
← Back
5ranked-venue papers
3as first author
0since 2021 · last 1990
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Databases, data management, data science and information retrieval · 4 · 2 first-authorTheory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Databases, data mining, and information retrieval
2 papers
Database theory · 70% Data mining · 30%
Theoretical computer science
1 paper
Logic in computer science · 100%

Topics — the 4 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Database theory
dependency theory		 0.011978
First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies · SIGMOD Conference 1978
Database theory › dependency theory
functional and multivalued dependencies		 0.011978
First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies · SIGMOD Conference 1978
Data mining › statistical analysis › dependency analysis
mutual dependencies		 0.011978
Mutual Dependencies and Some Results on Undecomposable Relations · VLDB 1978
Logic in computer science
first-order logic		 0.011978
First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies · SIGMOD Conference 1978

Methods — techniques the papers use, named apart from their topics

theorem proving · 0.0
YearPublicationVenuePosition
1990 Logic and Databases: An Assessment
Hervé Gallaire, Jean-Marie Nicolas 0001
 ICDT2
1983 On recursive axioms in deductive databases
Jack Minker, Jean-Marie Nicolas 0001
 Inf. Syst.2
1982 Logic for Improving Integrity Checking in Relational Data Bases
Jean-Marie Nicolas 0001
 Acta Informatica1
1978 First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies
abstract
The purpose of this paper is to show that first order logic is adequate for formalizing functional, multivalued and mutual dependencies in relational data bases. Advantages of using logic instead of tailored formal systems are presented. This paper is decomposed into four sections. The first one presents some notions of logic and theorem proving which are relevant to this study. In the second section, a way to analyze data bases in terms of logic is briefly indicated. The third section deals with the expression of dependency statements as formulas of logic. Lastly section 4 is concerned with some properties of dependency statements which follow directly from the proposed formalization.
Jean-Marie Nicolas 0001
 SIGMOD Conference1
1978 Mutual Dependencies and Some Results on Undecomposable Relations
Jean-Marie Nicolas 0001
 VLDB1