TY  - SER
AU  - Gallaire, Herve
AU  - Minker, Jack
AU  - Nicolas, Jean-Marie
TI  - Logic and Databases: A Deductive Approach
KW  - Database
KW  - Relational Databases
KW  - Indefinite Data
ER  -