Gallaire, Herve Minker, Jack Nicolas, Jean-Marie Logic and Databases: A Deductive Approach - 153-185 p. Subjects--Topical Terms: DatabaseRelational DatabasesIndefinite Data