Logic and Databases: A Deductive Approach

Gallaire, Herve Minker, Jack Nicolas, Jean-Marie

Logic and Databases: A Deductive Approach - 153-185 p.


Database
Relational Databases
Indefinite Data