{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:44:07Z","timestamp":1725497047489},"edition-number":"1","reference-count":47,"publisher":"Wiley","isbn-type":[{"type":"print","value":"9780471383932"},{"type":"electronic","value":"9780470050118"}],"license":[{"start":{"date-parts":[[2007,12,14]],"date-time":"2007-12-14T00:00:00Z","timestamp":1197590400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this article define the concept of deductive database including the formal definition of a query and an answer to a query; we provide an historical background for deductive databases; we explain the different types of deductive databases starting with Datalog and including stratified, nonstratified, extended, and disjunctive deductive databases; we discuss various semantics for deductive databases; we list the prototypes and implementations of deductive databases; we also give several applications that cannot be handled by relational and databases and require deductive databases.<\/jats:p>","DOI":"10.1002\/9780470050118.ecse105","type":"other","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T17:49:24Z","timestamp":1196963364000},"source":"Crossref","is-referenced-by-count":1,"title":["Deductive Databases"],"prefix":"10.1002","author":[{"given":"John","family":"Grant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jack","family":"Minker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2007,12,14]]},"reference":[{"key":"e_1_2_10_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(88)90006-4"},{"first-page":"3","volume-title":"Logic in Databases","author":"Minker J.","key":"e_1_2_10_3_1"},{"key":"e_1_2_10_4_1","doi-asserted-by":"crossref","unstructured":"K.A.Ross Modular stratification and magic sets for datalog programs with negation Proc. ACM Symp. on Principles of Database Systems 1990.","DOI":"10.1145\/298514.298558"},{"key":"e_1_2_10_5_1","doi-asserted-by":"crossref","unstructured":"F.Bancilhon D.Maier Y.Sagiv andJ.Ullman Magic sets and other strange ways to implement logic programs Proc. ACM Symp. on Principles of Database Systems 1986.","DOI":"10.1145\/6012.15399"},{"volume-title":"Principles of Database and Knowledge\u2010Base Systems I","year":"1988","author":"Ullman J.D.","key":"e_1_2_10_6_1"},{"volume-title":"Principles of Database and Knowledge\u2010Base Systems II","year":"1988","author":"Ullman J. D.","key":"e_1_2_10_7_1"},{"key":"e_1_2_10_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8"},{"key":"e_1_2_10_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00962280"},{"key":"e_1_2_10_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001515"},{"volume-title":"SQL:1999 Understanding Relational Language Components","year":"2002","author":"Melton J.","key":"e_1_2_10_11_1"},{"key":"e_1_2_10_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-3384-5"},{"key":"e_1_2_10_13_1","unstructured":"T.GaasterlandandJ.Lobo Qualified answers that reflect user needs and preferences.International Conference on Very Large Databases 1994."},{"key":"e_1_2_10_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357"},{"key":"e_1_2_10_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90025-6"},{"key":"e_1_2_10_16_1","unstructured":"J.S.Schlipf A survey of complexity and undecidability results in logic programming H.Blair V.W.Marek A.Nerode andJ.Remmel (eds.) Informal Proc. of the Workshop on Structural Complexity and Recursion\u2010theoretic Methods in Logic Programming. Washington D.C.1992 pp.143\u2013164"},{"key":"e_1_2_10_17_1","doi-asserted-by":"crossref","unstructured":"T.EiterandG.Gottlob Complexity aspects of various semantics for disjunctive databases Proc. of the Twelfth ACM SIGART\u2010SIGMOD\u2010SIGART Symposium on Principles of Database Systems (PODS\u201093) May1993 pp.158\u2013167.","DOI":"10.1145\/153850.153864"},{"key":"e_1_2_10_18_1","unstructured":"T.EiterandG.Gottlob Complexity results for disjunctive logic programming and application to nonmonotonic logics D.Miller (ed.) Proc. of the International Logic Programming Symposium ILPS\u201993 Vancouver Canada 1993 pp.266\u2013278."},{"volume-title":"Foundations of Deductive Databases and Logic Programming","year":"1988","author":"Minker J.","key":"e_1_2_10_19_1"},{"key":"e_1_2_10_20_1","doi-asserted-by":"crossref","unstructured":"A.VanGelder K.Ross andJ.S.Schlipf Unfounded Sets and Well\u2010founded Semantics for General Logic Programs Proc. 7thSymposium on Principles of Database Systems 1988 pp.221\u2013230.","DOI":"10.1145\/308386.308444"},{"key":"e_1_2_10_21_1","unstructured":"M.GelfondandV.Lifschitz The Stable Model Semantics for Logic Programming R.A.KowalskiandK.A.Bowen (eds.) Proc. 5thInternational Conference and Symposium on Logic Programming Seattle WA 1988 1070\u20131080."},{"key":"e_1_2_10_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01536398"},{"key":"e_1_2_10_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-40-8.50005-1"},{"key":"e_1_2_10_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63255-7_33"},{"key":"e_1_2_10_25_1","unstructured":"T.Swift Tabling for non\u2010monotonic programming technical report SUNY Stony Brook Stony Brook NY:1999."},{"key":"e_1_2_10_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00053-3"},{"key":"e_1_2_10_27_1","unstructured":"I.Niemel\u00e4andP.Simons Efficient implementation of the well\u2010founded and stable model semantics inI.Niemel\u00e4andT.Schaub (eds.) Proc. of JICSLP\u201096 Cambridge1996."},{"key":"e_1_2_10_28_1","unstructured":"I.Niemel\u00e4 Logic programs with stable model semantics as a constraint programming paradigm inI.Niemel\u00e4andT.Schaub (eds.) Proc. of the Workshop on Computational Aspects of Nonmonotonic Reasoning 1998 pp.72\u201379."},{"key":"e_1_2_10_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63255-7_32"},{"key":"e_1_2_10_30_1","unstructured":"T.Eiter N.Leone C.Mateis G.Pfeifer andF.Scarcello A deductive system for non\u2010monotonic reasoning J\u00fcrgenDix UlrichFurbach andAnilNerode (eds.) Proc. of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR97) number 1265 in LNCS San Francisco CA 1997 pp.364\u2013375."},{"key":"e_1_2_10_31_1","unstructured":"T.Eiter N.Leone C.Mateis G.Pfeifer andF.Scarcello The kr system dlv: Progress report comparisons and benchmarks A.G.Cohn L.Schubert andS.C.Shapiro (eds.) Proc. Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201098) San Francisco CA 1998 pp.406\u2013417."},{"key":"e_1_2_10_32_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2630"},{"issue":"4","key":"e_1_2_10_33_1","first-page":"139","article-title":"Report on the Seventh International Workshop on Nonmonotonic Reasoning","volume":"19","author":"Brewka G.","year":"1998","journal-title":"AI Magazine"},{"key":"e_1_2_10_34_1","first-page":"235","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming Volume 5","author":"Kakas A.C.","year":"1998"},{"key":"e_1_2_10_35_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001576"},{"key":"e_1_2_10_36_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068401001375"},{"key":"e_1_2_10_37_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001539"},{"key":"e_1_2_10_38_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021806000372"},{"key":"e_1_2_10_39_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022808724136"},{"key":"e_1_2_10_40_1","unstructured":"J.McCarthy Programs with common sense Proc. Teddington Conf. on the Mechanisation of Thought Processes London 1959 pp.75\u201391."},{"key":"e_1_2_10_41_1","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-1-4615-1567-8_7","volume-title":"Logic\u2010Based Artificial Intelligence","author":"Lifschitz V.","year":"2000"},{"key":"e_1_2_10_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1245280"},{"key":"e_1_2_10_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"e_1_2_10_44_1","doi-asserted-by":"crossref","unstructured":"C.C.GreenandB.Raphael Research in intelligent question answering systems Proc. ACM 23rd National Conference 1968 pp.169\u2013181.","DOI":"10.21236\/AD0671970"},{"key":"e_1_2_10_45_1","doi-asserted-by":"crossref","unstructured":"C.C.GreenandB.Raphael The use of theorem\u2010proving techniques in question\u2010answering systems Proc. 23rd National Conference ACM 1968.","DOI":"10.1145\/800186.810578"},{"volume-title":"Foundations of Disjunctive Logic Programming","year":"1992","author":"Lobo J.","key":"e_1_2_10_46_1"},{"volume-title":"Nonmonotonic Reasoning: An Overview","year":"1997","author":"Brewka G.","key":"e_1_2_10_47_1"},{"key":"e_1_2_10_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/303976.303983"}],"container-title":["Wiley Encyclopedia of Computer Science and Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/9780470050118.ecse105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T03:32:56Z","timestamp":1708399976000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/9780470050118.ecse105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12,14]]},"ISBN":["9780471383932","9780470050118"],"references-count":47,"alternative-id":["10.1002\/9780470050118.ecse105","10.1002\/9780470050118"],"URL":"https:\/\/doi.org\/10.1002\/9780470050118.ecse105","archive":["Portico"],"relation":{},"subject":[],"published":{"date-parts":[[2007,12,14]]}}}