First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies.

conf/sigmod/78 Jean-Marie Nicolas First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies. 40-46 1978 SIGMOD Conference db/conf/sigmod/sigmod78.html#Nicolas78 SIGMOD78/P040.PDF http://doi.acm.org/10.1145/509252.509269 db/conf/sigmod/Nicolas78.html conf/ifip/Armstrong74 ... conf/sigmod/BeeriFH77 conf/mfcs/Cadiou76 journals/cacm/Codd70 persons/Codd72 persons/Codd71a ... ... journals/tods/Fagin77 ... journals/cj/Florentin74 ... ... ... ... conf/adbt/NicolasM77 conf/vldb/Nicolas78 ...