<?xml version="1.0"?>
<dblp>
<article key="journals/csur/GallaireMN84" mdate="2011-12-05">
<author>Herv&#233; Gallaire</author>
<author>Jack Minker</author>
<author>Jean-Marie Nicolas</author>
<title>Logic and Databases: A Deductive Approach.</title>
<pages>153-185</pages>
<year>1984</year>
<volume>16</volume>
<journal>ACM Comput. Surv.</journal>
<number>2</number>
<url>db/journals/csur/csur16.html#GallaireMN84</url>
<ee>http://doi.acm.org/10.1145/356924.356929</ee>
<cdrom>CSURs1/csur16/P153.pdf</cdrom>
<cite label="Adiba et al. 1982">...</cite>
<cite label="Aho and Ullman 1979">conf/popl/AhoU79</cite>
<cite label="Aho et al. 1979">journals/siamcomp/AhoSU79</cite>
<cite label="ANSI/X3/SPARC 1975">...</cite>
<cite label="Armstrong 1974">conf/ifip/Armstrong74</cite>
<cite label="Artificial Intelligence Journal 1980">...</cite>
<cite label="Artraud and Nicolas 1974">...</cite>
<cite label="Bancilhon 1978">conf/mfcs/Bancilhon78</cite>
<cite label="Beeri and Vardi 1980">journals/jacm/BeeriV84</cite>
<cite label="Beeri and Vardi 1981">conf/icalp/BeeriV81</cite>
 
<cite label="Biskup 1981">conf/adbt/Biskup79</cite>
<cite label="Biskup 1982">journals/tods/Biskup83</cite>
<cite label="Blaustein 1981">...</cite>
<cite label="Borgida and Wong 1981">conf/vldb/BorgidaW81</cite>
<cite label="Bossu and Siegel 1981">...</cite>
<cite label="Bowen and Kowalski 1982">...</cite>
<cite label="Brodie and Zilles 1980">conf/sigmod/80p</cite>
<cite label="Casanova and Bernstein 1979">conf/popl/CasanovaB79</cite>
<cite label="Casanova and Bernstein 1980">journals/toplas/CasanovaB80</cite>
<cite label="Chakravarthy et al. 1982">conf/iclp/ChakravarthyMT82</cite>
 
<cite label="Chamberlin et al. 1981">journals/cacm/ChamberlinABGKLLMPPSSSTWY81</cite>
<cite label="Chandra and Harel 1979">conf/stoc/ChandraH79</cite>
<cite label="Chandra and Harel 1980">conf/focs/ChandraH80</cite>
<cite label="Chandra and Merlin 1976">conf/stoc/ChandraM77</cite>
<cite label="Chandra et al. 1981">conf/stoc/ChandraLM81</cite>
<cite label="Chang 1970">journals/jacm/Chang70</cite>
<cite label="Chang 1978">conf/adbt/Chang77</cite>
<cite label="Chang 1981">conf/adbt/Chang79</cite>
<cite label="Chang and Lee 1973">...</cite>
<cite label="Clark 1978">conf/adbt/Clark77</cite>
 
<cite label="Codd 1970">journals/cacm/Codd70</cite>
<cite label="Codd 1972">persons/Codd72</cite>
<cite label="Codd 1979">journals/tods/Codd79</cite>
<cite label="Codd 1980">conf/sigmod/Codd80</cite>
<cite label="Codd 1982">journals/cacm/Codd82</cite>
<cite label="Colmerauer 1973">...</cite>
<cite label="Colmerauer and Pique 1981">conf/adbt/ColmerauerP79</cite>
<cite label="Cooper 1980">conf/popl/Cooper82</cite>
<cite label="Dahl 1982">journals/tods/Dahl82</cite>
<cite label="Date 1977">books/aw/Date77</cite>
 
<cite label="Date 1981">books/aw/Date81</cite>
<cite label="Deliyanni and Kowalski 1979">journals/cacm/DeliyanniK79</cite>
<cite label="Delobel 1978">journals/tods/Delobel78</cite>
<cite label="Delobel 1980">conf/ifip/Delobel80</cite>
<cite label="Delobel and Casey 1973">journals/ibmrd/DelobelC73</cite>
<cite label="Delobel and Parker 1978">...</cite>
<cite label="Demolombe 1980">conf/vldb/Demolombe80</cite>
<cite label="Demolombe 1981">conf/adbt/Demolombe79</cite>
<cite label="Demolombe 1982">...</cite>
<cite label="DiPaola 1969">journals/jacm/Paola69a</cite>
 
<cite label="DosSantos et al. 1981">...</cite>
<cite label="Enderton 1972">...</cite>
<cite label="Fagin 1977a">journals/tods/Fagin77</cite>
<cite label="Fagin 1977b">journals/ibmrd/Fagin77</cite>
<cite label="Fagin 1980">conf/stoc/Fagin80</cite>
<cite label="Fagin 1982">journals/jacm/Fagin82</cite>
<cite label="Fagin et al. 1983">conf/pods/FaginUV83</cite>
<cite label="Florentin 1974">journals/cj/Florentin74</cite>
<cite label="Furukawa 1977">...</cite>
<cite label="Galil 1982">journals/jacm/Galil82</cite>
 
<cite label="Gallaire 1981">conf/vldb/Gallaire81</cite>
<cite label="Gallaire 1983">...</cite>
<cite label="Gallaire and Minker 1978">conf/adbt/77</cite>
<cite label="Gallaire et al. 1981a">conf/adbt/79</cite>
<cite label="Gallaire et al. 1981b">conf/adbt/GallaireMN79</cite>
<cite label="Gallaire et al. 1984">conf/adbt/82</cite>
<cite label="Gardarin and Melkanoff 1979">conf/vldb/GardarinM79</cite>
<cite label="Grant 1977">journals/ipl/Grant77</cite>
<cite label="Grant and Jacobs 1982">journals/jacm/GrantJ82</cite>
<cite label="Grant and Minker 1981">conf/adbt/GrantM79</cite>
 
<cite label="Grant and Minker 1983">journals/acr/GrantM86</cite>
<cite label="Green 1969">...</cite>
<cite label="Hammer and Zdonik 1980">conf/vldb/HammerZ80</cite>
<cite label="Harel 1979">books/sp/Harel79</cite>
<cite label="Harel 1980">...</cite>
<cite label="Henschen et al. 1984">conf/adbt/HenschenMN82</cite>
<cite label="Hewitt 1972">...</cite>
<cite label="Hill 1974">...</cite>
<cite label="Homeier 1981">...</cite>
<cite label="Imielinski and Lipski 1981">conf/vldb/ImielinskiL81</cite>
 
<cite label="International Joint Conference on Artificial Intelligence 1983">...</cite>
<cite label="International Symposium on Logic Programming">...</cite>
<cite label="Jacobs 1982">journals/jacm/Jacobs82</cite>
<cite label="Jacobs et al. 1982">journals/tods/JacobsAK82</cite>
<cite label="Jaffar et al. 1983">conf/ijcai/JaffarLL83</cite>
<cite label="Janas 1979">conf/vldb/Janas79</cite>
<cite label="Janas 1981">conf/adbt/Janas79</cite>
<cite label="Kellogg and Travis 1981">conf/adbt/KelloggT79</cite>
<cite label="Kellogg et al. 1978">conf/adbt/KelloggKT77</cite>
<cite label="King 1981">conf/vldb/King81</cite>
 
<cite label="Konolige 1981">...</cite>
<cite label="Kowalski 1978">conf/adbt/Kowalski77</cite>
<cite label="Kowalski 1979">...</cite>
<cite label="Kowalski 1981a">...</cite>
<cite label="Kowalski 1981b">...</cite>
<cite label="Kowalski and Kuehner 1971">journals/ai/KowalskiK71</cite>
<cite label="Kuhns 1967">...</cite>
<cite label="Kuhns 1970">...</cite>
<cite label="Kunifuji and Yokota 1982">...</cite>
<cite label="Lacroix and Pirotte">conf/sigmod/LacroixP80</cite>
 
<cite label="Levesque 1981">...</cite>
<cite label="Lipski 1979">journals/tods/Lipski79</cite>
<cite label="Logic Programming Workshop Proceedings 1983">...</cite>
<cite label="Loveland 1969">...</cite>
<cite label="Loveland 1970">...</cite>
<cite label="Loveland 1978">...</cite>
<cite label="Maier 1983">books/cs/Maier83</cite>
<cite label="Maier et al. 1979">journals/tods/MaierMS79</cite>
<cite label="McCarthy 1980">journals/ai/McCarthy80</cite>
<cite label="McSkimin 1976">...</cite>
 
<cite label="McSkimin and Minker 1977">...</cite>
<cite label="Mendelson 1978">...</cite>
<cite label="Minker 1975a">conf/sigmod/Minker75</cite>
<cite label="Minker 1975b">...</cite>
<cite label="Minker 1978a">journals/tods/Minker78</cite>
<cite label="Minker 1978b">conf/adbt/Minker77</cite>
<cite label="Minker 1982">conf/cade/Minker82</cite>
<cite label="Minker 1983">...</cite>
<cite label="Minker and Nicolas 1982">journals/is/MinkerN83</cite>
<cite label="Minker and Perlis 1983">...</cite>
 
<cite label="Minker and Perlis 1984">conf/cade/MinkerP84</cite>
<cite label="Minker and Zanon 1982">journals/ipl/MinkerZ82</cite>
<cite label="Moore 1981">...</cite>
<cite label="Mylopoulos 1980">conf/sigmod/Mylopoulos80</cite>
<cite label="Naqvi and Henschen 1980">conf/aaai/NaqviH80</cite>
<cite label="Naqvi and Henschen 1984">journals/jacm/HenschenN84</cite>
<cite label="Nicolas 1978">conf/sigmod/Nicolas78</cite>
<cite label="Nicolas 1979a">...</cite>
<cite label="Nicolas 1979b">journals/acta/Nicolas82</cite>
<cite label="Nicolas and Gallaire 1978">conf/adbt/NicolasM77</cite>
 
<cite label="Nicolas and Syre 1974">conf/ifip/NicolasS74</cite>
<cite label="Nicolas and Yazdanian 1978">conf/adbt/NicolasY77</cite>
<cite label="Nicolas and Yazdanian 1982">conf/ifip/NicolasY83</cite>
<cite label="Paredaens 1978">journals/ipl/Paredaens78</cite>
<cite label="Parker and Delobel 1979">conf/vldb/ParkerD79</cite>
<cite label="Pirotte 1976">...</cite>
<cite label="Pirotte 1978">conf/adbt/Pirotte77</cite>
<cite label="Pratt 1976">conf/focs/Pratt76</cite>
<cite label="Proceedings of the First conference on Logic Programming 1982">...</cite>
<cite label="Reiter 1971">journals/jacm/Reiter71</cite>
 
<cite label="Reiter 1978a">conf/adbt/Reiter77</cite>
<cite label="Reiter 1978b">conf/adbt/Reiter77a</cite>
<cite label="Reiter 1978c">...</cite>
<cite label="Reiter 1980">journals/jacm/Reiter80</cite>
<cite label="Reiter 1981">conf/adbt/Reiter79</cite>
<cite label="Reiter 1982">conf/aaai/Reiter82</cite>
<cite label="Reiter 1983">journals/jacm/Reiter86</cite>
<cite label="Reiter 1984">conf/db-workshops/Reiter82</cite>
<cite label="Robinson 1965">journals/jacm/Robinson65</cite>
<cite label="Roussel 1975">...</cite>
 
<cite label="Sadri and Ullman 1980">conf/stoc/SadriU80</cite>
<cite label="Sadri and Ullman 1982">journals/jacm/SadriU82</cite>
<cite label="Sagiv 1980">journals/jacm/Sagiv80</cite>
<cite label="Sagiv and Fagin 1979">...</cite>
<cite label="Sagiv et al. 1981">journals/jacm/SagivDPF81</cite>
<cite label="Selinger et al. 1979">conf/sigmod/SelingerACLP79</cite>
<cite label="Shapiro and McKay 1980">conf/aaai/ShapiroM80</cite>
<cite label="Siklossy and Lauriere 1982">conf/aaai/SiklossyL82</cite>
<cite label="Stonebraker et al. 1976">journals/tods/StonebrakerWKH76</cite>
<cite label="Ullman 1980">books/cs/Ullman80</cite>
 
<cite label="Ullman 1982">books/cs/Ullman82</cite>
<cite label="van Emden 1978">...</cite>
<cite label="van Emden and Kowalski 1976">journals/jacm/EmdenK76</cite>
<cite label="Vardi 1981">journals/ipl/Vardi81</cite>
<cite label="Vassiliou 1979">conf/sigmod/Vassiliou79</cite>
<cite label="Vassiliou 1980">conf/vldb/Vassiliou80</cite>
<cite label="Veloso et al. 1981">conf/vldb/VelosoCF81</cite>
<cite label="Warren 1981">conf/vldb/Warren81</cite>
<cite label="Woods 1967">...</cite>
<cite label="Yannakakis and Papadimitriou 1982">journals/jcss/YannakakisP82</cite>
 
<cite label="Yokota et al. 1983">conf/pods/YokotaKKMSM84</cite>
<cite label="Zaniolo 1976">...</cite>
<cite label="Zaniolo 1981">...</cite>
<cite label="Zloof 1977">journals/ibmsj/Zloof77</cite>
</article>
</dblp>
