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 37 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 PDF BibTeX XML Cite \textit{H. Gallaire} et al., Comput. Surv. 16, 153--185 (1984; Zbl 0548.68098)