Gallaire, HervĂ©; Minker, Jack; Nicolas, Jean-Marie Logic and databases: A deductive approach. (English) Zbl 0548.68098 Comput. Surv. 16, 153-185 (1984). Cited in 1 ReviewCited in 43 Documents MSC: 68P20 Information storage and retrieval of data 68Q65 Abstract data types; algebraic specification Keywords:logic and databases; relational databases; deductive databases; query languages; query optimization; data dependencies Software:Datalog; INGRES × Cite Format Result Cite Review PDF