Jean-Marie Nicolas Hervé Gallaire Data Base: Theory vs. Interpretation. 33-54 1977 Logic and Data Bases db/conf/adbt/adbt77.html#NicolasM77