article key journals/csur/FryS76 mdate 2017-03-29 author James-P.-Fry author Edgar-H.-Sibley title Evolution-of-Data-Base-Management-Systems. pages 7-42 year 1976 volume 8 journal ACM-Comput.-Surv. number 1 url db/journals/csur/csur8.html#FryS76 ee http://doi.acm.org/10.1145/356662.356664 cdrom CSURs1/csur08/P007.pdf cite label A1 ... cite label A2 ... cite label A3 ... cite label A4 ... cite label D1 journals/ibmsj/Uhrowczik73 cite label D2 ... cite label DL1 ... cite label DL2 ... cite label DL3a journals/ibmsj/SenkoAAF73 cite label DL3b journals/ibmsj/SenkoAAF73a cite label DL3c journals/ibmsj/SenkoAAF73b cite label DL4 ... cite label DL5 ... cite label F1 ... cite label F2 ... cite label F3 conf/sigmod/Everest74 cite label F4 persons/Codd74 cite label F5 ... cite label F6 ... cite label F7 journals/cacm/CanadayHIRW74 cite label F8 conf/vldb/HeacoxCC75 cite label F9 conf/sigir/SuCL73 cite label F10 journals/tods/LinSS76 cite label F11 ... cite label G1 journals/jacm/McGee59 cite label G2 ... cite label G3 conf/vldb/YaoM75 cite label G4 ... cite label G5 ... cite label G6 journals/csur/Rosin69 cite label G7 journals/csur/Denning71 cite label G8 conf/sigmod/EverestS71 cite label G9 ... cite label G10 journals/cacm/Bachman73 cite label G11 ... cite label G12 ... cite label G13 journals/tods/NavatheF76 cite label G14 conf/sigmod/TeoreyD76 cite label I1 ... cite label I2 ... cite label I3 ... cite label I4 ... cite label I5 ... cite label I6 journals/cacm/CODASYL71 cite label M1 ... cite label M2 ... cite label M3 journals/cacm/Codd70 cite label M4 ... cite label PL1 ... cite label PL2 ... cite label PL3 ... cite label PL4 ... cite label PL5 ... cite label PL6 ... cite label PL7 ... cite label S1 ... cite label S2 ... cite label S3 ... cite label SL1 ... cite label SL2 ... cite label SL3a conf/sigmod/Fry70 cite label SL3b conf/sigmod/McGee70 cite label SL3c conf/sigmod/Young70 cite label SL3d conf/sigmod/SibleyT70 cite label SL4 ... cite label SL5 conf/sigmod/FryST72 cite label SL6 journals/cacm/Bachman72 cite label SL7 journals/cacm/SibleyT73 cite label T1 ... cite label T2 books/aw/Date75 cite label T3 ... cite label T4 ... cite label U1 ... cite label U2 ... cite label U3 ... cite label U4 ... cite label U5 ... cite label U6 ... cite label U7 ... cite label U8 ... cite label V1 ... cite label V2 ... cite label V3 ... cite label V4 ... cite label V5 ... cite label V6 ... cite label V7 ... cite label V8 ... cite label V9 ... cite label V10 ... cite label V11 ... cite label V12 ... cite label V13 ... cite label V14 ... cite label V15 ... cite label V16 ... cite label V17 ... cite label V18 ... cite label V19 ... cite label V20 ... cite label V21 ... cite label V22 ... cite label V23 ... cite label V24 ... cite label W1 ... cite label W2 ... cite label W3 ... cite label W4 ... cite label X1 ... cite label X2 ... cite label X3 ... cite label X4 ... cite label X5 ... cite label X6 ... cite label X7 ... cite label X8 ... cite label X9 ... cite label X10 ... cite label X11 ... cite label X12 ... cite label X13 ... cite label X14 ... cite label X15 ... cite label X16 ... cite label X17 ... cite label X18 ... cite label X19 ... cite label X20 ... cite label X21 ... cite label X22 ... cite label X23 ... cite label X24 ... cite label X25 ... cite label X26 ... cite label X27 ... cite label X28 ... cite label X29 ... cite label X30 ... cite label X31 ... cite label X32 ... cite label X33 ... cite label X34 ... cite label X35 ... cite label X37 ... cite label Y1 ... cite label Y2 ... cite label Y3 ... cite label Y4 ... cite label Y5 ... cite label Y6 ... cite label Y7 ... cite label Y8 ... cite label Y9 ... cite label Y10 ... cite label Y11 ... cite label Y12 ... cite label Z1 conf/sigmod/GoldsteinS70 cite label Z2 ... cite label Z3 ... 
article key journals/csur/AtkinsonB87 mdate 2017-03-29 author Malcolm-P.-Atkinson author Peter-Buneman title Types-and-Persistence-in-Database-Programming-Languages. pages 105-190 year 1987 volume 19 journal ACM-Comput.-Surv. number 2 url db/journals/csur/csur19.html#AtkinsonB87 ee http://doi.acm.org/10.1145/62070.45066 cdrom CSURs1/csur19/P105.pdf cite label Aho-and-Ullman-1979 conf/popl/AhoU79 cite label Ait-Kaci-and-Nasr-1985 journals/jlp/Ait-KaciN86 cite label Albano-et-al.-1983 ... cite label Albano-et-al.-1985a journals/tods/AlbanoCO85 cite label Albano-et-al.-1985b conf/db-workshops/AlbanoGO85 cite label Albano-et-al.-1985c ... cite label Albano-et-al.-1985 conf/db-workshops/AlbanoGOP85 cite label Amble-et-al.-1979 ... cite label Astrahan-et-al.-1976 journals/tods/AstrahanBCEGGKLMMPTWW76 cite label Atkinson-1978 conf/vldb/Atkinson78 cite label Atkinson-and-Morrison-1984 conf/fsttcs/AtkinsonM84 cite label Atkinson-and-Morrison-1985a journals/toplas/AtkinsonM85 cite label Atkinson-and-Morrison-1985b conf/db-workshops/AtkinsonM85 cite label Atkinson-and-Morrison-1986 ... cite label Atkinson-et-al.-1981 ... cite label Atkinson-et-al.-1983a journals/spe/AtkinsonCCM83 cite label Atkinson-et-al.-1983b journals/cj/AtkinsonBCCM83 cite label Atkinson-et-al.-1984 ... cite label Atkinson-et-al.-1986 ... cite label Backus-1978 journals/cacm/Backus78 cite label Balzer-1986 ... cite label Bancilhon-and-Ramakrishnan-1986 conf/sigmod/BancilhonR86 cite label Bever-and-Lockemann-1985 journals/tods/BeverL85 cite label Borgida-1983 ... cite label Borgida-1985a ... cite label Borgida-1985b conf/vldb/BorgidaW85 cite label Borgida-1985c journals/tods/Borgida85 cite label Brachman-1978 ... cite label Brachman-1983 journals/computer/Brachman83 cite label Bragger-et-al.-1983 conf/icde/BraggerDRZ84 cite label Brodie-et-al.-1983 conf/db-workshops/Intervale cite label Bruce-and-Wegner-1987 conf/dbpl/BruceW87 cite label Buneman-1985 conf/db-workshops/Buneman85 cite label Buneman-and-Atkinson-1986 conf/sigmod/BunemanA86 cite label Buneman-and-Ohori-1986 conf/icdt/BunemanO86 cite label Buneman-and-Ohori-1987 journals/tcs/BunemanJO91 cite label Buneman-et-al.-1982 journals/tods/BunemanFN82 cite label Buneman-et-al.-1982 ... cite label Burge-1977 ... cite label Cardelli-1984a journals/iandc/Cardelli88 cite label Cardelli-1984b ... cite label Cardelli-and-MacQueen-1985 conf/db-workshops/CardelliM85 cite label Cardelli-and-Wegner-1985 journals/csur/CardelliW85 cite label Carey-et-al.-1986 conf/vldb/CareyDRS86 cite label Cattell-1983 ... cite label Chen-1976 journals/tods/Chen76 cite label Chung-1984 ... cite label Clocksin-and-Mellish-1981 books/sp/ClocksinM81 cite label Codd-1970 journals/cacm/Codd70 cite label Codd-1979 journals/tods/Codd79 cite label Cole-and-Morrison-1982 ... cite label Copeland-and-Khoshafian-1987 ... cite label Copeland-and-Maier-1984 conf/sigmod/CopelandM84 cite label Dahl-and-Nygaard-1966 ... cite label Darlington-et-al.-1982 ... cite label Date-1981a conf/vldb/Date81 cite label Date-1981b books/aw/Date81 cite label Date-1983a books/aw/Date83 cite label Date-1983b ... cite label Demers-and-Donahue-1979 ... cite label Donahue-et-al.-1986 ... cite label Eckhardt-et-al.-1985 ... cite label Fairbairn-1982 ... cite label Fairbairn-1985 conf/db-workshops/Fairbairn85 cite label Gallaire-and-Minker-1978 ... cite label Gallaire-et-al.-1984 journals/csur/GallaireMN84 cite label Goguen-and-Meseguer-1984 journals/jlp/GoguenM84 cite label Goldberg-and-Robson-1983 books/aw/GoldbergR83 cite label Goldstein-and-Bobrow-1980 conf/lfp/GoldsteinB80 cite label Gordon-et-al.-1979 ... cite label Hall-1983 journals/sigmod/Hall83 cite label Hammer-and-McLeod-1980 ... cite label Hammer-and-McLeod-1981 journals/tods/HammerM81 cite label Henderson-and-Morris-1976 conf/popl/HendersonM76 cite label Horowitz-and-Kemper-1983 ... cite label Ichbiah-et-al.-1979 ... cite label Iverson-1979 journals/toplas/Iverson79 cite label Jarke-and-Koch-1982 ... cite label Jarke-and-Koch-1983 conf/sigmod/JarkeK83 cite label Jarke-and-Koch-1984 journals/csur/JarkeK84 cite label Jarke-and-Vassiliou-1985 journals/csur/JarkeV85 cite label Kahn-et-al.-1984 ... cite label Kaplan-1983 ... cite label Kent-1978 ... cite label Kent-1979 journals/tods/Kent79 cite label Kersten-and-Wasserman-1981 journals/spe/KerstenW81 cite label Khoshafian-and-Copeland-1986 conf/oopsla/KhoshafianC86 cite label Koch-et-al.-1983 ... cite label Krablin-1985 conf/db-workshops/Krablin85 cite label Kulkarni-and-Atkinson-1983 journals/spe/KulkarniA87 cite label Kulkarni-and-Atkinson-1985 journals/cj/KulkarniA86 cite label Lampson-et-al.-1977 ... cite label Liskov-1981 books/sp/Liskov81 cite label Liskov-et-al.-1983 ... cite label MacQueen-1985 conf/lfp/MacQueen84 cite label Maier-et-al.-1986 conf/oopsla/MaierSOP86 cite label Mall-et-al.-1984 conf/db-workshops/MallSR82 cite label Matthews-1985a ... cite label Matthews-1985b conf/db-workshops/Matthews85 cite label McCarthy-1962 ... cite label Merrett-1977 journals/ipl/Merrett77 cite label Merrett-1983 journals/sigmod/Merrett84a cite label Merrett-1984 ... cite label Merrett-1985a conf/icod/Merrett83 cite label Merrett-1985b conf/db-workshops/Merrett85 cite label Merrett-and-Düchting-1984 ... cite label Michie-1968 ... cite label Miller-1986 conf/slp/Miller86 cite label Milner-1978 journals/jcss/Milner78 cite label Milner-1979 journals/jacm/Milner79 cite label Milner-1983 ... cite label Milner-1984 conf/lfp/Milner84 cite label Morrison-1979 ... cite label Morrison-et-al.-1985a conf/icse/MorrisonDBBA85 cite label Morrison-et-al.-1985b journals/spe/MorrisonBBDD86 cite label Mycroft-1984 ... cite label Mylopoulos-and-Wong-1980 conf/vldb/MylopoulosW80 cite label Mylopoulos-et-al.-1980 journals/tods/MylopoulosBW80 cite label Nikhil-1982 ... cite label Nikhil-1984 ... cite label Nixon-1983 ... cite label Nixon-1984 ... cite label OBrien-1983 ... cite label OBrien-et-al.-1986 conf/oodbs/OBrienBS86 cite label Ohori-1987 conf/dbpl/Ohori87 cite label Olle-1978 ... cite label Ontologic-Inc.-1986 ... cite label Owoso-1984 ... cite label Owoso-1985 ... cite label Persistent-Programming-Research-Group-1985 ... cite label Pirotte-and-Lacroix-1980 ... cite label Richard-and-Velez-1987 ... cite label Rosenthal-et-al.-1986 conf/sigmod/RosenthalHDM86 cite label Rowe-1985 ... cite label Rowe-and-Shoens-1979 conf/sigmod/RoweS79 cite label Samet-1981 ... cite label Schmidt-1977 journals/tods/Schmidt77 cite label Schmidt-and-Brodie-1983 ... cite label Schmidt-and-Mall-1983 ... cite label Shipman-1981 journals/tods/Shipman81 cite label Shopiro-1979 journals/tods/Shopiro79 cite label Skarra-and-Zdonik-1986 conf/oopsla/SkarraZ86 cite label Smith-and-Smith-1977 journals/tods/SmithS77 cite label Smith-et-al.-1983 ... cite label Stonebraker-and-Rowe-1986 conf/sigmod/StonebrakerR86 cite label Stonebraker-et-al.-1976 journals/tods/StonebrakerWKH76 cite label Stroustroup-1986 books/aw/Stroustrup86 cite label Swinehart-et-al.-1986 journals/toplas/SwinehartZBH86 cite label Teitelman-1975 ... cite label Tsichritzis-and-Lochovsky-1977 ... cite label Turner-1981 ... cite label Turner-1985 conf/fpca/Turner85 cite label Turner-1986 ... cite label Ullman-1982 books/cs/Ullman82 cite label van-Wijngaarden-et-al.-1969 ... cite label Wasserman-1978 ... cite label Wasserman-and-Booster-1981 ... cite label Wasserman-et-al.-1981 ... cite label Weihl-and-Liskov-1985a journals/toplas/WeihlL85 cite label Weihl-1985b conf/db-workshops/Weihl85 cite label Wirth-1971 journals/acta/Wirth71 cite label Wirth-1983 books/sp/Wirth82 cite label Zdonik-and-Wegner-1985 ... 
article key journals/csur/Kim79 mdate 2011-12-05 author Won-Kim title Relational-Database-Systems. pages 187-211 year 1979 volume 11 journal ACM-Comput.-Surv. number 3 url db/journals/csur/csur11.html#Kim79 ee http://doi.acm.org/10.1145/356778.356780 cdrom CSURs1/csur11/P185.pdf cite label Aldr74 ... cite label Astr75a journals/cacm/AstrahanC75 cite label Astr75b conf/pacific/AstrahanL75 cite label Astr76 journals/tods/AstrahanBCEGGKLMMPTWW76 cite label Babb79 journals/tods/Babb79 cite label Bane78a ... cite label Bane78b journals/tods/BanerjeeHB78 cite label Bern78 ... cite label Bjor73 ... cite label Blas76 ... cite label Blas77 journals/ibmsj/BlasgenE77 cite label Boot76 ... cite label Boyc73 ... cite label Boyc74 conf/sigmod/ChamberlinB74 cite label Bune77a journals/tods/BunemanC79 cite label Bune77b ... cite label Card73 journals/cacm/Cardenas73 cite label Chac78 conf/adbt/Chang77 cite label Cham75 ... cite label Cham76a journals/csur/Chamberlin76 cite label Cham76 journals/ibmrd/ChamberlinAEGLMRW76 cite label Cham77 ... cite label Cham78 ... cite label Chap76 ... cite label Chas74 ... cite label Coda78 ... cite label Codd70 journals/cacm/Codd70 cite label Codd71a conf/sigmod/Codd71 cite label Codd71b persons/Codd71a cite label Codd71c persons/Codd72 cite label Codd74 persons/Codd74 cite label Codd78 ... cite label Come78 journals/tods/Comer78 cite label Czar74 ... cite label Czar75 conf/pacific/CzarnikST75 cite label Date77 books/aw/Date77 cite label Dave78 journals/cn/Davenport78 cite label Denn65 journals/jacm/Dennis65 cite label Denn66 ... cite label Depp76 journals/cn/DeppeF76 cite label DeWi78 conf/isca/DeWitt78 cite label Dono75a conf/vldb/DonovanFGG75 cite label Dono75b ... cite label Dono76 journals/tods/Donovan76 cite label Epst78 conf/sigmod/EpsteinSW78 cite label Eswa75 conf/vldb/EswaranC75 cite label Eswa76a journals/cacm/EswarranGLT76 cite label Eswa76b ... cite label Fagi78 journals/tods/Fagin78 cite label Flor74 journals/cj/Florentin74 cite label Gold74 conf/sigmod/GoldsteinS70 cite label Gotl75 conf/sigmod/Gotlieb75 cite label Grah68 ... cite label Grav75 conf/pacific/Graves75 cite label Gray75 conf/vldb/GrayLPT75 cite label Gray76 conf/ds/GrayLPT76 cite label Grif76 journals/tods/GriffithsW76 cite label Habe69 ... cite label Hall74a ... cite label Hall74b persons/Hall74 cite label Hall75 journals/ibmrd/Hall76 cite label Hamm75 conf/vldb/HammerM75 cite label Hamm76 conf/sigmod/HammerC76 cite label Hamm78 conf/sigmod/HammerS78 cite label Have68 journals/ibmsj/Havender68 cite label Held75a conf/pacific/HeldS75a cite label Held75b conf/afips/HeldS75 cite label Holt71 ... cite label Hsia70 ... cite label Hsia77 ... cite label IBM78a ... cite label IBM78b ... cite label Jord75 conf/pacific/Jordan75 cite label Joyc76a ... cite label Joyc76b ... cite label Joyc77 ... cite label Kann78 conf/isca/Kannan78 cite label Kran70 ... cite label Lang78 journals/tods/Langdon78 cite label Lien77 ... cite label Lin76 journals/tods/LinSS76 cite label Lipo78 conf/isca/Lipovski78 cite label Lori71 ... cite label Lori74 ... cite label Lori76 journals/tods/Lorie77 cite label Lori77 ... cite label Lori78a journals/ibmrd/LorieN79 cite label Lori78b ... cite label Lowe68 journals/jacm/Lowe68 cite label Lum70 ... cite label Lum71 ... cite label Mart77 ... cite label Mary78 ... cite label McDo75 conf/pacific/McDonaldS75 cite label McGa78 ... cite label McGr76 conf/vldb/McGregorTD76 cite label McLe75 ... cite label Mitc76 ... cite label Moor76 ... cite label Mylo75a ... cite label Mylo75b ... cite label Notl72 ... cite label Owen71 conf/sigmod/Owens71 cite label Ozka75 conf/afips/OzkarahanSS75 cite label Ozka77a journals/tods/OzkarahanSS77 cite label Ozka77b journals/tods/OzkarahanS77 cite label Pale72 ... cite label Pech75 conf/pacific/Pecherer75 cite label Pech76 conf/sigmod/Pecherer76 cite label Reis75 ... cite label Ries77 journals/tods/RiesS77 cite label Ries78 ... cite label Ritc74 journals/cacm/RitchieT74 cite label Roth74 conf/sigmod/Rothnie74 cite label Roth75 ... cite label Roth77 conf/berkeley/RothnieG77 cite label Schk74 journals/is/Schkolnick75 cite label Schm75 conf/vldb/SchmidB75 cite label Schu76 ... cite label Schu78 conf/isca/SchusterNOS78 cite label Seli79 conf/sigmod/SelingerACLP79 cite label Senk68 ... cite label Senk73a journals/ibmsj/SenkoAAF73 cite label Senk73b journals/ibmsj/SenkoAAF73a cite label Senk73c journals/ibmsj/SenkoAAF73b cite label Seve72 ... cite label Shaw74 ... cite label Sile76 journals/cacm/Siler76 cite label Simm73 ... cite label Smit75 journals/cacm/SmithC75 cite label Smit79 journals/computer/SmithS79 cite label Stam76 ... cite label Steu74 conf/sigmod/SteuertG74 cite label Ston74 ... cite label Ston75 conf/sigmod/Stonebraker75 cite label Ston76a journals/tods/StonebrakerWKH76 cite label Ston76b conf/berkeley/StonebrakerN77 cite label Ston78a ... cite label Ston78b conf/berkeley/Stonebraker78 cite label Strn71 ... cite label Su75 conf/vldb/SuL75 cite label Su79 journals/computer/Su79 cite label Teor76 conf/sigmod/TeoreyD76 cite label Thom75 ... cite label Todd74 ... cite label Todd76 journals/ibmsj/Todd76 cite label Todd77 ... cite label Trem76 ... cite label Tsic75 conf/ds/Tsichritzis75 cite label Verh76a ... cite label Verh76b ... cite label Verh77 ... cite label Verh78 journals/csur/Verhofstad78 cite label Walt78 journals/cacm/Waltz78 cite label Whit74 conf/sigmod/Whitney74 cite label Wino72 ... cite label Wong76 journals/tods/WongY76 cite label Wong77 conf/berkeley/Wong77 cite label Wood70 ... cite label Yao75 conf/vldb/YaoM75 cite label Yao77 journals/tods/Yao77 cite label Yao78 conf/sigmod/YaoD78 cite label Zloo75a conf/afips/Zloof75 cite label Zloo75b conf/vldb/Zloof75 cite label Zloo77 journals/ibmsj/Zloof77 
book key books/mk/CooperT2004 mdate 2017-03-29 author Keith-D.-Cooper author Linda-Torczon title Engineering-a-Compiler publisher Morgan-Kaufmann year 2004 isbn 1-55860-699-8 cite ... cite journals/toplas/AhoGT89 cite conf/stoc/AhoHU73 cite books/aw/AhoHU74 cite journals/jacm/AhoJ76 cite conf/popl/AhoJU76 cite conf/popl/AhoJU73 cite books/aw/AhoSU86 cite ... cite conf/sigplan/AigrainGHMP84 cite conf/pldi/AikenN88 cite ... cite ... cite journals/ibmrd/Allen81 cite ... cite ... cite journals/cacm/AllenC76 cite ... cite ... cite journals/toplas/AlpernS89 cite conf/popl/AlpernWZ88 cite journals/siamcomp/AlstrupHLT99 cite conf/sigplan/AuslanderH82 cite conf/pldi/AyersGS97 cite ... cite ... cite journals/csur/BaconGS94 cite ... cite conf/popl/Banning79 cite ... cite conf/popl/Barth77 cite journals/spe/BauerS74 cite journals/ibmsj/Belay66 cite ... cite conf/pldi/BergnerDEO97 cite conf/pldi/BernsteinGGKMNP89 cite conf/pldi/BernsteinR91 cite journals/spe/Bernstein85 cite ... cite conf/sigplan/Bird82 cite conf/pldi/BodikGS98 cite conf/pldi/Boehm93 cite conf/sigplan/BoehmD86 cite journals/spe/BoehmW88 cite conf/asplos/BradleeEH91 cite ... cite journals/spe/BriggsCHS98 cite conf/pldi/BriggsCKT89 cite ... cite journals/spe/BriggsCS97 cite journals/loplas/BriggsCT92 cite conf/pldi/BriggsCT92 cite journals/toplas/BriggsCT94 cite journals/loplas/BriggsT93 cite conf/stoc/BuchsbaumKRW98 cite journals/toplas/Burke90 cite journals/toplas/BurkeT93 cite journals/tcs/CaiP95 cite conf/asplos/CalderG94 cite journals/tse/CallahanCHK90 cite conf/pldi/CallahanCK90 cite conf/sigplan/CallahanCKT86 cite conf/pldi/CallahanK91 cite books/crc/tucker97/Cardelli97 cite journals/spe/CarrK94 cite journals/toplas/Cattell80 cite conf/sigplan/CattellNL79 cite conf/sigplan/Chaitin82 cite ... cite journals/cl/ChaitinACCHM81 cite conf/popl/Chase87 cite conf/pldi/ChaseWZ90 cite ... cite journals/cacm/Cheney70 cite conf/popl/ChoiBC93 cite ... cite conf/sigplan/ChowH84 cite journals/toplas/ChowH90 cite ... cite conf/pldi/Click95 cite journals/toplas/ClickC95 cite ... cite journals/cacm/CockeK77 cite conf/ifip/CockeM80 cite journals/ibmrd/CockeM80 cite ... cite journals/csur/Cohen81 cite conf/micro/CohnL96 cite conf/pldi/ColemanM95 cite journals/cacm/Collins60 cite journals/cacm/ConwayS63 cite journals/cacm/ConwayW73 cite journals/spe/CooperHT91 cite journals/spe/CooperHT98 cite ... cite conf/pldi/CooperK88 cite conf/popl/CooperK89 cite conf/lctrts/CooperS98 cite conf/lctrts/CooperSS99 cite conf/cc/CooperS98 cite journals/toplas/CooperSV01 cite ... cite ... cite journals/toplas/CytronFRWZ91 cite conf/popl/CytronLZ86 cite conf/pldi/Das00 cite journals/toplas/DavidsonF80 cite conf/sigplan/DavidsonF84 cite journals/spe/DavidsonF84 cite journals/spe/DavidsonF87 cite journals/spe/DavidsonH88 cite conf/popl/DemersWHBBS90 cite journals/cacm/DeRemer71 cite conf/sigplan/DeRemerP79 cite conf/pldi/Deutsch94 cite ... cite journals/cacm/DeutschB76 cite ... cite journals/sigplan/Dhamdhere88 cite ... cite journals/toplas/Dhamdhere91 cite conf/sigplan/DoneganNF79 cite ... cite journals/toplas/DrechslerS88 cite journals/sigplan/DrechslerS93 cite journals/cacm/Earley70 cite ... cite ... cite conf/pldi/EmamiGH94 cite conf/pldi/ErnstEFLP97 cite journals/cacm/Ershov58 cite ... cite ... cite conf/sigplan/Fabri79 cite conf/sigplan/Farrow82 cite conf/sigplan/Farrow86 cite journals/cacm/FenichelY69 cite journals/toplas/FerranteOW87 cite journals/tse/FischerL80 cite books/bc/FischerL1991 cite journals/tc/Fisher81 cite conf/sigplan/FisherERN84 cite journals/cacm/Floyd61 cite ... cite conf/pldi/Fraser99 cite journals/loplas/FraserHP92 cite journals/spe/FraserH91 cite conf/sigplan/FraserMW84 cite conf/sigplan/FraserW86 cite conf/pldi/FraserW88 cite conf/popl/GanapathiF82 cite conf/sigplan/GanzingerGMW82 cite conf/popl/GeorgeA96 cite conf/sigplan/GibbonsM86 cite conf/popl/GlanvilleG78 cite journals/toplas/GloyS99 cite books/aw/GoldbergR83 cite conf/ics/GoodmanH88 cite ... cite ... cite journals/toplas/GrahamHR80 cite conf/sigplan/GrahamHS82 cite conf/popl/GrahamW75 cite journals/jacm/GrahamW76 cite conf/pldi/GranlundK92 cite ... cite journals/tse/GuptaS90 cite conf/pldi/GuptaSS89 cite journals/toplas/Hailperin98 cite journals/loplas/HallK92 cite journals/spe/Hanson90 cite conf/stoc/Harel85 cite ... cite journals/tse/Harrison79 cite conf/popl/HatcherC86 cite journals/jacm/HechtU74 cite journals/siamcomp/HechtU75 cite journals/jacm/Heller61 cite journals/toplas/HennessyG83 cite journals/toplas/HindBCC99 cite conf/issta/HindP00 cite journals/jacm/HoffmannO82 cite ... cite books/aw/HopcroftU79 cite books/cs/HorowitzS78 cite journals/jacm/HorwitzKMW66 cite conf/pldi/HorwitzPR89 cite journals/toplas/HorwitzT86 cite ... cite ... cite journals/cacm/Irons61 cite ... cite ... cite conf/sigplan/JohnsonM86 cite ... cite ... cite ... cite ... cite journals/jacm/KamU76 cite journals/acta/KamU77 cite ... cite ... cite ... cite ... cite conf/popl/Kennedy75 cite journals/cl/Kennedy78 cite ... cite conf/popl/KennedyZ77 cite conf/cc/KennedyCDLLS98 cite conf/pldi/KernsE93 cite conf/sigplan/Kessler84 cite conf/popl/Kildall73 cite ... cite ... cite conf/pldi/KnoopRS92 cite ... cite journals/iandc/Knuth65 cite journals/mst/Knuth68 cite journals/mst/Knuth71 cite books/aw/Knuth73a cite ... cite ... cite ... cite journals/sigplan/Krishnamurthy90 cite conf/pldi/KurlanderF94 cite conf/pldi/Lam88 cite journals/spe/Lamb81 cite conf/popl/LandiR91 cite journals/csur/LandskovDSM80 cite conf/sigplan/LandwehrJG82 cite conf/sigplan/LarusH86 cite ... cite conf/micro/LefurgyBCM97 cite conf/hpca/LefurgyPM00 cite journals/toplas/LengauerT79 cite journals/jacm/LewisS68 cite conf/cc/LiberatoreFK99 cite journals/cacm/LiebermanH83 cite books/sp/Liskov81 cite conf/pldi/LoE95 cite conf/pldi/ChowKLLT98 cite ... cite journals/cacm/LowryM69 cite conf/pldi/CooperL97 cite ... cite journals/it/Lucas61 cite conf/lcpc/LuehGA96 cite journals/cj/MajewskiWHC96 cite journals/ibmrd/Marks80 cite ... cite conf/asplos/Massalin87 cite ... cite ... cite journals/toplas/McKinleyCT96 cite conf/asplos/McKinleyT96 cite ... cite ... cite ... cite journals/cacm/MorelR79 cite ... cite ... cite books/mk/Muchnick1997 cite conf/pldi/MuellerW92 cite journals/toplas/Murtagh91 cite journals/cacm/BackusBGKMPRSVWWWN63 cite conf/pldi/Nickerson90 cite conf/sc/NorrisP93 cite conf/micro/NorrisP95 cite ... cite conf/IEEEpact/ParkM98 cite conf/popl/Pelegri-LlopartG88 cite conf/sigplan/Pennello86 cite conf/pldi/PettisH90 cite conf/pldi/Pinter93 cite journals/tcs/Plotkin75 cite conf/pldi/Proebsting92 cite conf/popl/Proebsting95 cite conf/pldi/ProebstingF91 cite conf/pldi/ProebstingF92 cite ... cite journals/cacm/PurdomM72 cite ... cite ... cite conf/popl/Reif78 cite conf/popl/ReifL77 cite conf/popl/Reps82 cite conf/popl/RepsA84 cite ... cite journals/spe/Richards71 cite ... cite journals/cacm/Rivest76 cite conf/asplos/RogersL92 cite conf/popl/RosenWZ88 cite journals/iandc/RosenkrantzS70 cite journals/tse/Ryder79 cite conf/pldi/SastryJ98 cite journals/ibmrd/ScarboroughK80 cite ... cite journals/cacm/SchorrW67 cite ... cite journals/jacm/SethiU70 cite conf/popl/ShapiroH97 cite ... cite journals/cacm/Sheridan59 cite conf/pldi/Shivers88 cite ... cite ... cite ... cite journals/cacm/SleatorT85 cite conf/asplos/SmithHL92 cite conf/micro/SmothermanKAH91 cite journals/toplas/Sorkin89 cite conf/ifip/Spillman71 cite ... cite conf/micro/SweanyB90 cite conf/micro/SweanyB92 cite journals/jcss/Tarjan74 cite journals/jacm/Tarjan81b cite journals/jacm/Tarjan81a cite journals/siamcomp/ReifT82 cite journals/cacm/Thompson68 cite ... cite journals/acta/Ullman73 cite ... cite ... cite ... cite ... cite conf/popl/WegmanZ85 cite journals/toplas/WegmanZ91 cite conf/popl/Weihl80 cite ... cite conf/iwmm/Wilson92 cite conf/pldi/WilsonL95 cite conf/pldi/WolfL91 cite ... cite ... cite journals/cj/Wood70 cite journals/cj/Wood71 cite ... cite conf/pldi/YoungJKS97 cite journals/iandc/Younger67 cite conf/sigplan/Zadeck84 
article key journals/csur/Chamberlin76 mdate 2011-12-05 author Donald-D.-Chamberlin title Relational-Data-Base-Management-Systems. pages 43-66 year 1976 volume 8 journal ACM-Comput.-Surv. number 1 url db/journals/csur/csur8.html#Chamberlin76 ee http://doi.acm.org/10.1145/356662.356665 cdrom CSURs1/csur08/P043.pdf cite label M1 persons/Codd69 cite label M2 journals/cacm/Codd70 cite label M3 persons/Codd72 cite label M4 ... cite label M5 ... cite label M6 conf/sigmod/HawryszkiewyczD72 cite label M7 ... cite label M8 ... cite label M9 ... cite label M10 conf/ds/BracchiFP74 cite label M11 conf/sigmod/Stonebraker74 cite label M12 ... cite label M13 ... cite label M14 conf/ifip/Codd74 cite label M15 ... cite label M16 conf/popl/HallHT75 cite label M17 conf/sigmod/SchmidS75 cite label N1 persons/Codd71a cite label N2 conf/sigmod/Codd71a cite label N3 conf/sigmod/Heath71 cite label N4 ... cite label N5 ... cite label N6 ... cite label N7 journals/ibmrd/DelobelC73 cite label N8 ... cite label N9 conf/ifip/Armstrong74 cite label N10 ... cite label N11 journals/ibmrd/WangW75 cite label N12 conf/sigmod/BernsteinST75 cite label N13 conf/sigmod/FadousF75 cite label N14 ... cite label N15 ... cite label Z1 ... cite label Z2 ... cite label Z3 ... cite label Z4 conf/ds/Nijssen74 cite label Z5 conf/sigmod/CoddD74 cite label Z6 conf/sigmod/DateC74 cite label Z7 conf/sigmod/Bachman74 cite label Z8 conf/sigmod/Sibley74 cite label Z9 conf/sigmod/Everest74 cite label Z10 conf/ifip/Olle74 cite label Z11 books/aw/Date75 cite label Z12 conf/ds/Kay75 cite label Z13 conf/ds/Robinson75 cite label Z14 conf/ds/Taylor75 cite label Z15 conf/ds/Olle75 cite label Z16 conf/ds/Huits75 cite label Z17 journals/cj/Robinson75 cite label Z18 conf/pacific/HeldS75 cite label Z19 ... cite label L1 conf/sigmod/Codd71 cite label L2 ... cite label L3 ... cite label L4 ... cite label L5 journals/acta/Earley73 cite label L6 ... cite label L7 ... cite label L8 ... cite label L9 conf/ds/BoyceCKH74 cite label L10 conf/sigmod/ChamberlinB74 cite label L11 ... cite label L12 conf/sigmod/CopelandS74 cite label L13 ... cite label L14 ... cite label L15 ... cite label L16 conf/pacific/SummersF75 cite label L17 conf/pacific/McDonaldS75 cite label L18 conf/pacific/Westgaard75 cite label L19 conf/sigmod/ShuHL75 cite label L20 ... cite label L21 conf/afips/Zloof75 cite label L22 ... cite label L23 ... cite label L24 conf/vldb/Zloof75 cite label L25 journals/cacm/BoyceCKH75 cite label S1 conf/sigmod/GoldsteinS70 cite label S2 conf/sigmod/SymondsL70 cite label S3 ... cite label S4 ... cite label S5 ... cite label S6 ... cite label S7 ... cite label S8 conf/pacific/CzarnikST75 cite label S9 conf/pacific/HeldS75a cite label S10 conf/pacific/AstrahanL75 cite label S11 journals/cacm/AstrahanC75 cite label S12 conf/sigmod/SteuertG74 cite label S13 ... cite label S14 ... cite label S15 conf/afips/HeldS75 cite label S16 ... cite label S17 ... cite label S18 conf/vldb/Manacher75 cite label S19 ... cite label S20 journals/tods/AstrahanBCEGGKLMMPTWW76 cite label H1 conf/sigir/SuCL73 cite label H2 conf/isca/CopelandS73 cite label H3 conf/afips/OzkarahanSS75 cite label H4 conf/vldb/LinSS75 cite label H5 conf/vldb/SuL75 cite label T1 conf/sigmod/BayerM70 cite label T2 ... cite label T3 conf/sigmod/DateH71 cite label T4 conf/sigmod/DateH71a cite label T5 ... cite label T6 ... cite label T7 ... cite label T8 conf/sigmod/Rothnie74 cite label T9 conf/sigmod/Whitney74 cite label T10 conf/sigmod/CaseyO74 cite label T11 persons/Hall74 cite label T12 conf/ds/Tsichritzis75 cite label T13 ... cite label T14 ... cite label T15 conf/vldb/FarleyS75 cite label T16 conf/pacific/Pecherer75 cite label T17 conf/sigmod/Gotlieb75 cite label T18 journals/cacm/SmithC75 cite label T19 conf/sigmod/Schkolnick75 cite label T20 ... cite label T21 ... cite label T22 journals/ibmrd/Hall76 cite label T23 conf/vldb/SchmidB75 cite label T24 conf/vldb/LienTDR75 cite label C1 conf/ifip/ChamberlinBT74 cite label C2 conf/sigmod/Owens71 cite label C3 ... cite label C4 journals/cacm/EswarranGLT76 cite label C5 conf/sigmod/FernandezSC75 cite label C6 ... cite label C7 ... cite label C8 conf/vldb/GrayLPT75 cite label I1 journals/cj/Florentin74 cite label I2 ... cite label I3 conf/pacific/Graves75 cite label I4 conf/sigmod/Stonebraker75 cite label I5 conf/vldb/EswaranC75 cite label I6 conf/vldb/HammerM75 cite label A1 ... cite label A2 ... cite label A3 conf/ifip/Williams74 cite label A4 ... cite label A5 ... cite label A6 journals/cacm/ZloofJ77 cite label A7 ... cite label A8 conf/sigmod/NavatheM75 cite label A9 conf/sigmod/BandurskiJ75 cite label A10 journals/tse/WilliamsG76 cite label A11 conf/sigmod/GoSW75 cite label A12 conf/vldb/DonovanFGG75 cite label D1 ... cite label D2 conf/sigmod/Minker75 cite label D3 ... cite label E1 ... cite label E2 ... cite label E3 ... cite label E4 ... cite label E5 ... cite label E6 ... cite label E7 ... cite label E8 ... cite label E9 persons/Codd74 cite label Y1 ... cite label Y2 ... cite label Y3 ... cite label Y4 ... cite label Y5 ... cite label Y6 ... cite label Y7 ... cite label Y8 ... 
article key journals/csur/GallaireMN84 mdate 2017-03-29 author Hervé-Gallaire author Jack-Minker author Jean-Marie-Nicolas title Logic-and-Databases:-A-Deductive-Approach. pages 153-185 year 1984 volume 16 journal ACM-Comput.-Surv. number 2 url db/journals/csur/csur16.html#GallaireMN84 ee http://doi.acm.org/10.1145/356924.356929 cdrom CSURs1/csur16/P153.pdf cite label Adiba-et-al.-1982 ... cite label Aho-and-Ullman-1979 conf/popl/AhoU79 cite label Aho-et-al.-1979 journals/siamcomp/AhoSU79 cite label ANSI/X3/SPARC-1975 ... cite label Armstrong-1974 conf/ifip/Armstrong74 cite label Artificial-Intelligence-Journal-1980 ... cite label Artraud-and-Nicolas-1974 ... cite label Bancilhon-1978 conf/mfcs/Bancilhon78 cite label Beeri-and-Vardi-1980 journals/jacm/BeeriV84 cite label Beeri-and-Vardi-1981 conf/icalp/BeeriV81 cite label Biskup-1981 conf/adbt/Biskup79 cite label Biskup-1982 journals/tods/Biskup83 cite label Blaustein-1981 ... cite label Borgida-and-Wong-1981 conf/vldb/BorgidaW81 cite label Bossu-and-Siegel-1981 ... cite label Bowen-and-Kowalski-1982 ... cite label Brodie-and-Zilles-1980 conf/sigmod/80p cite label Casanova-and-Bernstein-1979 conf/popl/CasanovaB79 cite label Casanova-and-Bernstein-1980 journals/toplas/CasanovaB80 cite label Chakravarthy-et-al.-1982 conf/iclp/ChakravarthyMT82 cite label Chamberlin-et-al.-1981 journals/cacm/ChamberlinABGKLLMPPSSSTWY81 cite label Chandra-and-Harel-1979 conf/stoc/ChandraH79 cite label Chandra-and-Harel-1980 conf/focs/ChandraH80 cite label Chandra-and-Merlin-1976 conf/stoc/ChandraM77 cite label Chandra-et-al.-1981 conf/stoc/ChandraLM81 cite label Chang-1970 journals/jacm/Chang70 cite label Chang-1978 conf/adbt/Chang77 cite label Chang-1981 conf/adbt/Chang79 cite label Chang-and-Lee-1973 ... cite label Clark-1978 conf/adbt/Clark77 cite label Codd-1970 journals/cacm/Codd70 cite label Codd-1972 persons/Codd72 cite label Codd-1979 journals/tods/Codd79 cite label Codd-1980 conf/sigmod/Codd80 cite label Codd-1982 journals/cacm/Codd82 cite label Colmerauer-1973 ... cite label Colmerauer-and-Pique-1981 conf/adbt/ColmerauerP79 cite label Cooper-1980 conf/popl/Cooper82 cite label Dahl-1982 journals/tods/Dahl82 cite label Date-1977 books/aw/Date77 cite label Date-1981 books/aw/Date81 cite label Deliyanni-and-Kowalski-1979 journals/cacm/DeliyanniK79 cite label Delobel-1978 journals/tods/Delobel78 cite label Delobel-1980 conf/ifip/Delobel80 cite label Delobel-and-Casey-1973 journals/ibmrd/DelobelC73 cite label Delobel-and-Parker-1978 ... cite label Demolombe-1980 conf/vldb/Demolombe80 cite label Demolombe-1981 conf/adbt/Demolombe79 cite label Demolombe-1982 ... cite label DiPaola-1969 journals/jacm/Paola69a cite label DosSantos-et-al.-1981 ... cite label Enderton-1972 ... cite label Fagin-1977a journals/tods/Fagin77 cite label Fagin-1977b journals/ibmrd/Fagin77 cite label Fagin-1980 conf/stoc/Fagin80 cite label Fagin-1982 journals/jacm/Fagin82 cite label Fagin-et-al.-1983 conf/pods/FaginUV83 cite label Florentin-1974 journals/cj/Florentin74 cite label Furukawa-1977 ... cite label Galil-1982 journals/jacm/Galil82 cite label Gallaire-1981 conf/vldb/Gallaire81 cite label Gallaire-1983 ... cite label Gallaire-and-Minker-1978 conf/adbt/77 cite label Gallaire-et-al.-1981a conf/adbt/79 cite label Gallaire-et-al.-1981b conf/adbt/GallaireMN79 cite label Gallaire-et-al.-1984 conf/adbt/82 cite label Gardarin-and-Melkanoff-1979 conf/vldb/GardarinM79 cite label Grant-1977 journals/ipl/Grant77 cite label Grant-and-Jacobs-1982 journals/jacm/GrantJ82 cite label Grant-and-Minker-1981 conf/adbt/GrantM79 cite label Grant-and-Minker-1983 journals/acr/GrantM86 cite label Green-1969 ... cite label Hammer-and-Zdonik-1980 conf/vldb/HammerZ80 cite label Harel-1979 books/sp/Harel79 cite label Harel-1980 ... cite label Henschen-et-al.-1984 conf/adbt/HenschenMN82 cite label Hewitt-1972 ... cite label Hill-1974 ... cite label Homeier-1981 ... cite label Imielinski-and-Lipski-1981 conf/vldb/ImielinskiL81 cite label International-Joint-Conference-on-Artificial-Intelligence-1983 ... cite label International-Symposium-on-Logic-Programming ... cite label Jacobs-1982 journals/jacm/Jacobs82 cite label Jacobs-et-al.-1982 journals/tods/JacobsAK82 cite label Jaffar-et-al.-1983 conf/ijcai/JaffarLL83 cite label Janas-1979 conf/vldb/Janas79 cite label Janas-1981 conf/adbt/Janas79 cite label Kellogg-and-Travis-1981 conf/adbt/KelloggT79 cite label Kellogg-et-al.-1978 conf/adbt/KelloggKT77 cite label King-1981 conf/vldb/King81 cite label Konolige-1981 ... cite label Kowalski-1978 conf/adbt/Kowalski77 cite label Kowalski-1979 ... cite label Kowalski-1981a ... cite label Kowalski-1981b ... cite label Kowalski-and-Kuehner-1971 journals/ai/KowalskiK71 cite label Kuhns-1967 ... cite label Kuhns-1970 ... cite label Kunifuji-and-Yokota-1982 ... cite label Lacroix-and-Pirotte conf/sigmod/LacroixP80 cite label Levesque-1981 ... cite label Lipski-1979 journals/tods/Lipski79 cite label Logic-Programming-Workshop-Proceedings-1983 ... cite label Loveland-1969 ... cite label Loveland-1970 ... cite label Loveland-1978 ... cite label Maier-1983 books/cs/Maier83 cite label Maier-et-al.-1979 journals/tods/MaierMS79 cite label McCarthy-1980 journals/ai/McCarthy80 cite label McSkimin-1976 ... cite label McSkimin-and-Minker-1977 ... cite label Mendelson-1978 ... cite label Minker-1975a conf/sigmod/Minker75 cite label Minker-1975b ... cite label Minker-1978a journals/tods/Minker78 cite label Minker-1978b conf/adbt/Minker77 cite label Minker-1982 conf/cade/Minker82 cite label Minker-1983 ... cite label Minker-and-Nicolas-1982 journals/is/MinkerN83 cite label Minker-and-Perlis-1983 ... cite label Minker-and-Perlis-1984 conf/cade/MinkerP84 cite label Minker-and-Zanon-1982 journals/ipl/MinkerZ82 cite label Moore-1981 ... cite label Mylopoulos-1980 conf/sigmod/Mylopoulos80 cite label Naqvi-and-Henschen-1980 conf/aaai/NaqviH80 cite label Naqvi-and-Henschen-1984 journals/jacm/HenschenN84 cite label Nicolas-1978 conf/sigmod/Nicolas78 cite label Nicolas-1979a ... cite label Nicolas-1979b journals/acta/Nicolas82 cite label Nicolas-and-Gallaire-1978 conf/adbt/NicolasM77 cite label Nicolas-and-Syre-1974 conf/ifip/NicolasS74 cite label Nicolas-and-Yazdanian-1978 conf/adbt/NicolasY77 cite label Nicolas-and-Yazdanian-1982 conf/ifip/NicolasY83 cite label Paredaens-1978 journals/ipl/Paredaens78 cite label Parker-and-Delobel-1979 conf/vldb/ParkerD79 cite label Pirotte-1976 ... cite label Pirotte-1978 conf/adbt/Pirotte77 cite label Pratt-1976 conf/focs/Pratt76 cite label Proceedings-of-the-First-conference-on-Logic-Programming-1982 ... cite label Reiter-1971 journals/jacm/Reiter71 cite label Reiter-1978a conf/adbt/Reiter77 cite label Reiter-1978b conf/adbt/Reiter77a cite label Reiter-1978c ... cite label Reiter-1980 journals/jacm/Reiter80 cite label Reiter-1981 conf/adbt/Reiter79 cite label Reiter-1982 conf/aaai/Reiter82 cite label Reiter-1983 journals/jacm/Reiter86 cite label Reiter-1984 conf/db-workshops/Reiter82 cite label Robinson-1965 journals/jacm/Robinson65 cite label Roussel-1975 ... cite label Sadri-and-Ullman-1980 conf/stoc/SadriU80 cite label Sadri-and-Ullman-1982 journals/jacm/SadriU82 cite label Sagiv-1980 journals/jacm/Sagiv80 cite label Sagiv-and-Fagin-1979 ... cite label Sagiv-et-al.-1981 journals/jacm/SagivDPF81 cite label Selinger-et-al.-1979 conf/sigmod/SelingerACLP79 cite label Shapiro-and-McKay-1980 conf/aaai/ShapiroM80 cite label Siklossy-and-Lauriere-1982 conf/aaai/SiklossyL82 cite label Stonebraker-et-al.-1976 journals/tods/StonebrakerWKH76 cite label Ullman-1980 books/cs/Ullman80 cite label Ullman-1982 books/cs/Ullman82 cite label van-Emden-1978 ... cite label van-Emden-and-Kowalski-1976 journals/jacm/EmdenK76 cite label Vardi-1981 journals/ipl/Vardi81 cite label Vassiliou-1979 conf/sigmod/Vassiliou79 cite label Vassiliou-1980 conf/vldb/Vassiliou80 cite label Veloso-et-al.-1981 conf/vldb/VelosoCF81 cite label Warren-1981 conf/vldb/Warren81 cite label Woods-1967 ... cite label Yannakakis-and-Papadimitriou-1982 journals/jcss/YannakakisP82 cite label Yokota-et-al.-1983 conf/pods/YokotaKKMSM84 cite label Zaniolo-1976 ... cite label Zaniolo-1981 ... cite label Zloof-1977 journals/ibmsj/Zloof77 
