Travelled to:1 × Germany
1 × USA
Collaborated with:∅
Talks about:mutual (2) depend (2) undecompos (1) multivalu (1) function (1) result (1) formal (1) relat (1) order (1) logic (1)
Person: Jean-Marie Nicolas
DBLP: Nicolas:Jean=Marie
Contributed to:
1978
1978Wrote 2 papers:
- SIGMOD-1978-Nicolas #dependence #first-order #formal method #functional #logic #multi
- First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies (JMN), pp. 40–46.
- VLDB-1978-Nicolas #dependence
- Mutual Dependencies and Some Results on Undecomposable Relations (JMN), pp. 360–367.