{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T14:36:53Z","timestamp":1721831813458},"reference-count":94,"publisher":"Cambridge University Press (CUP)","issue":"5-6","license":[{"start":{"date-parts":[[2018,9,5]],"date-time":"2018-09-05T00:00:00Z","timestamp":1536105600000},"content-version":"unspecified","delay-in-days":4,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2018,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>BigDatalog is an extension of Datalog that achieves performance and scalability on both Apache Spark and multicore systems to the point that its graph analytics outperform those written in GraphX. Looking back, we see how this realizes the ambitious goal pursued by deductive database researchers beginning 40 years ago: this is the goal of combining the rigor and power of logic in expressing queries and reasoning with the performance and scalability by which relational databases managed BigData. This goal led to Datalog which is based on Horn Clauses like Prolog but employs implementation techniques, such as semi-na\u00efve fixpoint and magic sets, that extend the bottom-up computation model of relational systems, and thus obtain the performance and scalability that relational systems had achieved, as far back as the 80s, using data-parallelization on shared-nothing architectures. But this goal proved difficult to achieve because of major issues at (i) the language level and (ii) at the system level. The paper describes how (i) was addressed by simple rules under which the fixpoint semantics extends to programs using count, sum and extrema in recursion, and (ii) was tamed by parallel compilation techniques that achieve scalability on multicore systems and Apache Spark. This paper is under consideration for acceptance in Theory and Practice of Logic Programming.<\/jats:p>","DOI":"10.1017\/s1471068418000418","type":"journal-article","created":{"date-parts":[[2018,9,5]],"date-time":"2018-09-05T09:16:50Z","timestamp":1536139010000},"page":"806-845","source":"Crossref","is-referenced-by-count":8,"title":["Scaling-up reasoning and advanced analytics on BigData"],"prefix":"10.1017","volume":"18","author":[{"given":"TYSON","family":"CONDIE","sequence":"first","affiliation":[]},{"given":"ARIYAM","family":"DAS","sequence":"additional","affiliation":[]},{"given":"MATTEO","family":"INTERLANDI","sequence":"additional","affiliation":[]},{"given":"ALEXANDER","family":"SHKAPSKY","sequence":"additional","affiliation":[]},{"given":"MOHAN","family":"YANG","sequence":"additional","affiliation":[]},{"given":"CARLO","family":"ZANIOLO","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2018,9,5]]},"reference":[{"key":"S1471068418000418_ref94","doi-asserted-by":"publisher","DOI":"10.1109\/69.368511"},{"key":"S1471068418000418_ref83","doi-asserted-by":"publisher","DOI":"10.14778\/2824032.2824052"},{"key":"S1471068418000418_ref71","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068406002936"},{"key":"S1471068418000418_ref66","doi-asserted-by":"publisher","DOI":"10.14778\/2556549.2556572"},{"key":"S1471068418000418_ref88","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-016-0448-z"},{"key":"S1471068418000418_ref69","doi-asserted-by":"publisher","DOI":"10.14778\/2536274.2536290"},{"key":"S1471068418000418_ref81","doi-asserted-by":"crossref","unstructured":"Van Gelder A. 1993. Foundations of aggregation in deductive databases. In Proc. of International Conference on Deductive and Object-Oriented Databases. Springer, 13\u201334.","DOI":"10.1007\/3-540-57530-8_2"},{"key":"S1471068418000418_ref70","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00187-X"},{"key":"S1471068418000418_ref91","unstructured":"Zaharia M. , Chowdhury M. , Das T. , Dave A. , Ma J. , McCauley M. , Franklin M. J. , Shenker S. and Stoica I. 2012. Resilient distributed datasets: A fault-tolerant abstraction for in-memory cluster computing. In Proc. of 9th USENIX Conference on Networked Systems Design and Implementation. USENIX Association, 2\u20132."},{"key":"S1471068418000418_ref84","doi-asserted-by":"crossref","unstructured":"Wolfson O. and Ozeri A. 1990. A new paradigm for parallel and distributed rule-processing. In Proc. of International Conference on Management of Data (SIGMOD), 133\u2013142.","DOI":"10.1145\/93597.98723"},{"key":"S1471068418000418_ref78","unstructured":"Urbani J. , Jacobs C. J. and Kr\u00f6tzsch M. 2016. Column-oriented Datalog Materialization for large knowledge graphs. In Proc. of 30th Conference on Artificial Intelligence (AAAI), 258\u2013264."},{"key":"S1471068418000418_ref67","doi-asserted-by":"crossref","unstructured":"Shin K. , Eliassi-Rad T. and Faloutsos C. 2016. Corescope: Graph mining using k-core analysis \u2013 Patterns, anomalies and algorithms. In Proc. of 16th International Conference on Data Mining (ICDM). IEEE, 469\u2013478.","DOI":"10.1109\/ICDM.2016.0058"},{"key":"S1471068418000418_ref87","unstructured":"Yang M. , Shkapsky A. and Zaniolo C. 2015. Parallel bottom-up evaluation of logic programs: DeALS on shared-memory multicore machines. In Technical Communications of ICLP, Cork, Ireland."},{"key":"S1471068418000418_ref77","doi-asserted-by":"crossref","unstructured":"Tsur S. 1991. Deductive databases in action. In Proc. of 10th Symposium on Principles of Database Systems (PODS '91). ACM, New York, NY, USA, 142\u2013153.","DOI":"10.1145\/113413.113426"},{"key":"S1471068418000418_ref76","unstructured":"Tachmazidis I. , Antoniou G. , Flouris G. , Kotoulas S. and McCluskey L. 2012. Large-scale parallel stratified defeasible reasoning. In Proc. of 20th European Conference on Artificial Intelligence. IOS Press, 738\u2013743."},{"key":"S1471068418000418_ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90048-8"},{"key":"S1471068418000418_ref22","unstructured":"Fang M. , Shivakumar N. , Garcia-molina H. , Motwani R. and Ullman J. D. 1998. Computing iceberg queries efficiently. In Proc. of 24rd International Conference on Very Large Data Bases (VLDB), 299\u2013310."},{"key":"S1471068418000418_ref53","volume-title":"Machine Learning","author":"Mitchell","year":"1997"},{"key":"S1471068418000418_ref50","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000380"},{"key":"S1471068418000418_ref47","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-319-08909-6_10","volume-title":"Declarative Programming and Knowledge Management","author":"Mart\u00ednez-Angeles","year":"2014"},{"key":"S1471068418000418_ref23","doi-asserted-by":"crossref","unstructured":"Ganguly S. , Greco S. and Zaniolo C. 1991. Minimum and maximum predicates in logic programming. In Proc. of 10th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS '91), 154\u2013163.","DOI":"10.1145\/113413.113427"},{"key":"S1471068418000418_ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.04.002"},{"key":"S1471068418000418_ref19","unstructured":"Dean J. and Ghemawat S. 2004. Mapreduce: Simplified data processing on large clusters. In Proc. of 6th Symposium on Operating System Design and Implementation (OSDI), 137\u2013150."},{"key":"S1471068418000418_ref18","doi-asserted-by":"publisher","DOI":"10.1145\/185403.185453"},{"key":"S1471068418000418_ref32","unstructured":"Gonzalez J. E. , Xin R. S. , Dave A. , Crankshaw D. , Franklin M. J. and Stoica I. 2014. Graphx: Graph processing in a distributed dataflow framework. In Proc. of 11th USENIX Conference on Operating Systems Design and Implementation (OSDI), 599\u2013613."},{"key":"S1471068418000418_ref4","doi-asserted-by":"crossref","unstructured":"Ameloot T. J. , Neven F. and Van den Bussche J. 2011. Relational transducers for declarative networking. In Proc. of 30th Principles of Database Systems (PODS), 283\u2013292.","DOI":"10.1145\/1989284.1989321"},{"key":"S1471068418000418_ref3","unstructured":"Agrawal R. et al. 1994. Fast algorithms for mining association rules. In Proc. of 20th International Conference on Very Large Data Bases, Vol. 1215, 487\u2013499."},{"key":"S1471068418000418_ref41","doi-asserted-by":"publisher","DOI":"10.1145\/359131.359136"},{"key":"S1471068418000418_ref35","doi-asserted-by":"crossref","unstructured":"Halperin D. , de Almeida V. T. , Choo L. L. , Chu S. , Koutris P. , Moritz D. , Ortiz J. , Ruamviboonsuk V. , Wang J. , Whitaker A. , Xu S. , Balazinska M. , Howe B. and Suciu D. 2014. Demonstration of the myria big data management service. In Proc. of International Conference on Management of Data (SIGMOD), Snowbird, UT, USA, June 22\u201327, 881\u2013884.","DOI":"10.1145\/2588555.2594530"},{"key":"S1471068418000418_ref20","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v37i3.2678"},{"key":"S1471068418000418_ref52","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-51624-4.50013-7"},{"key":"S1471068418000418_ref12","doi-asserted-by":"crossref","unstructured":"Cardoso J. C. , Baquero C. and Almeida P. S. 2009. Probabilistic estimation of network size and diameter. In Proc. of 4th Latin-American Symposium on Dependable Computing (LADC'09). IEEE, 33\u201340.","DOI":"10.1109\/LADC.2009.19"},{"key":"S1471068418000418_ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-015-0364-7"},{"key":"S1471068418000418_ref13","first-page":"52","article-title":"An overview of the LDL system","volume":"10","author":"Chimenti","year":"1987","journal-title":"IEEE Data Engineering Bulletin"},{"key":"S1471068418000418_ref79","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2011.05.004"},{"key":"S1471068418000418_ref55","unstructured":"Motik B. , Nenov Y. , Piro R. , Horrocks I. and Olteanu D. 2014. Parallel materialisation of datalog programs in centralised, main-memory RDF systems. In Proc. of 28th AAAI Conference on Artificial Intelligence (AAAI'14). AAAI Press, 129\u2013137."},{"key":"S1471068418000418_ref16","doi-asserted-by":"crossref","unstructured":"Conway N. , Marczak W. R. , Alvaro P. , Hellerstein J. M. and Maier D. 2012. Logic and lattices for distributed programming. In ACM Symposium on Cloud Computing (SOCC '12). San Jose, CA, USA, October 14\u201317.","DOI":"10.21236\/ADA563903"},{"key":"S1471068418000418_ref1","unstructured":"Abiteboul S. and Hull R. 1988. Data functions, datalog and negation (extended abstract). In Proc. of ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, June 1\u20133, 143\u2013153."},{"key":"S1471068418000418_ref56","unstructured":"Mumick I. S. , Pirahesh H. and Ramakrishnan R. 1990. The magic of duplicates and aggregates. In Proc. of 16th International Conference on Very Large Data Bases (VLDB). Morgan Kaufmann Publishers, 264\u2013277."},{"key":"S1471068418000418_ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2007.08.006"},{"key":"S1471068418000418_ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1921632.1921634"},{"key":"S1471068418000418_ref54","doi-asserted-by":"crossref","unstructured":"Morris K. A. , Ullman J. D. and Gelder A. V. 1986. Design overview of the nail! system. In Proc. of 3rd International Conference on Logic Programming, Imperial College of Science and Technology. London, UK, July 14\u201318, 554\u2013568.","DOI":"10.1007\/3-540-16492-8_104"},{"key":"S1471068418000418_ref11","unstructured":"Bu Y. , Borkar V. R. , Carey M. J. , Rosen J. , Polyzotis N. , Condie T. , Weimer M. and Ramakrishnan R. 2012. Scaling datalog for machine learning on big data. CoRR abs\/1203.0160."},{"key":"S1471068418000418_ref24","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1995.1064"},{"key":"S1471068418000418_ref58","unstructured":"Mutharaju R. , Maier F. and Hitzler P. 2010. A mapreduce algorithm for SC. In Proc. of 23rd International Workshop on Description Logics (DL'10), 456."},{"key":"S1471068418000418_ref2","volume-title":"Foundations of Databases: The Logical Level","author":"Abiteboul","year":"1995"},{"key":"S1471068418000418_ref51","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-012-0299-1"},{"key":"S1471068418000418_ref59","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068406002973"},{"key":"S1471068418000418_ref45","doi-asserted-by":"crossref","unstructured":"Loo B. T. , Condie T. , Garofalakis M. N. , Gay D. E. , Hellerstein J. M. , Maniatis P. , Ramakrishnan R. , Roscoe T. and Stoica I. 2006. Declarative networking: Language, execution and optimization. In Proc. of International Conference on Management of Data (SIGMOD). ACM, 97\u2013108.","DOI":"10.1145\/1142473.1142485"},{"key":"S1471068418000418_ref44","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00091-1"},{"key":"S1471068418000418_ref93","unstructured":"Zaniolo C. , Yang M. , Interlandi M. , Das A. , Shkapsky A. and Condie T. 2018. Declarative bigdata algorithms via aggregates and relational database dependencies. In Proc. of 12th Alberto Mendelzon International Workshop on Foundations of Data Management, Cali, Colombia, May 21\u201325."},{"key":"S1471068418000418_ref40","unstructured":"Kemp D. B. and Stuckey P. J. 1991. Semantics of logic programs with aggregates. In Proc. of International Symposium on Logic Programming (ISLP). 387\u2013401."},{"key":"S1471068418000418_ref38","unstructured":"Interlandi M. and Tanca L. 2015. On the CALM principle for BSP computation. In Proc. of Alberto Mendelzon International Workshop on Foundations of Data Management."},{"key":"S1471068418000418_ref14","doi-asserted-by":"crossref","unstructured":"Cohen S. and Wolfson O. 1989. Why a single parallelization strategy is not enough in knowledge bases. In Proc. of 8th Principles of Database Systems (PODS), 200\u2013216.","DOI":"10.1145\/73721.73742"},{"key":"S1471068418000418_ref28","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000222"},{"key":"S1471068418000418_ref75","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000131"},{"key":"S1471068418000418_ref34","doi-asserted-by":"publisher","DOI":"10.1145\/504083.504085"},{"key":"S1471068418000418_ref30","unstructured":"Giannotti F. and Manco G. 2002. LDL-Mine: Integrating data mining with intelligent query answering. In Proc. of Logics in Artificial Intelligence, European Conference, JELIA, Cosenza, Italy, September, 23\u201326, 517\u2013520."},{"key":"S1471068418000418_ref15","doi-asserted-by":"publisher","DOI":"10.14778\/1453856.1453978"},{"key":"S1471068418000418_ref74","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000500"},{"key":"S1471068418000418_ref46","doi-asserted-by":"crossref","unstructured":"Loo B. T. , Condie T. , Hellerstein J. M. , Maniatis P. , Roscoe T. and Stoica I. 2005. Implementing declarative overlays. In Proc. of 20th ACM Symposium on Operating Systems Principles (SOSP). ACM, 75\u201390.","DOI":"10.1145\/1095810.1095818"},{"key":"S1471068418000418_ref89","doi-asserted-by":"crossref","unstructured":"Yang M. and Zaniolo C. 2014. Main memory evaluation of recursive queries on multicore machines. In Proc. of IEEE International Conference on Big Data, 251\u2013260.","DOI":"10.1109\/BigData.2014.7004240"},{"key":"S1471068418000418_ref92","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068417000436"},{"key":"S1471068418000418_ref64","doi-asserted-by":"crossref","unstructured":"Seib J. and Lausen G. 1991. Parallelizing datalog programs by generalized pivoting. In Proc. of 10th Symposium on Principles of Database Systems (PODS), 241\u2013251.","DOI":"10.1145\/113413.113435"},{"key":"S1471068418000418_ref63","doi-asserted-by":"crossref","unstructured":"Ross K. A. and Sagiv Y. 1992. Monotonic aggregation in deductive databases. In Proc. of 11th Symposium on Principles of Database Systems (PODS). ACM, 114\u2013126.","DOI":"10.1145\/137097.137852"},{"key":"S1471068418000418_ref33","doi-asserted-by":"crossref","unstructured":"Greco S. , Zaniolo C. and Ganguly S. 1992. Greedy by choice. In Proc. of 11th Symposium on Principles of Database Systems (PODS). ACM, 105\u2013113.","DOI":"10.1145\/137097.137836"},{"key":"S1471068418000418_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0169-023X(91)90008-L"},{"key":"S1471068418000418_ref36","doi-asserted-by":"crossref","unstructured":"Han J. , Pei J. and Yin Y. 2000. Mining frequent patterns without candidate generation. In Proc. of International Conference on Management of Data (SIGMOD). ACM, 1\u201312.","DOI":"10.1145\/342009.335372"},{"key":"S1471068418000418_ref60","unstructured":"Przymusinski T. C. 1988. Perfect model semantics. In Proc. of International Conference and Symposium on Logic Programming (ICLP\/SLP), 1081\u20131096."},{"key":"S1471068418000418_ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"S1471068418000418_ref17","doi-asserted-by":"crossref","unstructured":"Das A. and Zaniolo C. 2016. Fast lossless frequent itemset mining in data streams using crucial patterns. In Proc. of SIAM International Conference on Data Mining. Miami, Florida, USA, May 5\u20137, 576\u2013584.","DOI":"10.1137\/1.9781611974348.65"},{"key":"S1471068418000418_ref62","unstructured":"Ramakrishnan R. , Srivastava D. and Sudarshan S. 1992. CORAL \u2013 Control, relations and logic. In Proc. of 18th International Conference on Very Large Data Bases, August 23-27. Vancouver, Canada, 238\u2013250."},{"key":"S1471068418000418_ref6","doi-asserted-by":"crossref","unstructured":"Armbrust M. , Xin R. S. , Lian C. , Huai Y. , Liu D. , Bradley J. K. , Meng X. , Kaftan T. , Franklin M. J. , Ghodsi A. and Zaharia M. 2015. Spark SQL: Relational data processing in spark. In Proc. of International Conference on Management of Data (SIGMOD), 1383\u20131394.","DOI":"10.1145\/2723372.2742797"},{"key":"S1471068418000418_ref27","unstructured":"Gebser M. , Kaminski R. , Kaufmann B. and Schaub T. 2014. Clingo= asp + control: Preliminary report. arXiv:1405.3694."},{"key":"S1471068418000418_ref72","unstructured":"Sudarshan S. and Ramakrishnan R. 1991. Aggregation and relevance in deductive databases. In Proc. of 17th International Conference on Very Large Data Bases (VLDB), 501\u2013511."},{"key":"S1471068418000418_ref86","unstructured":"Yang M. 2017. Declarative Languages and Scalable Systems for Graph Analytics and Knowledge Discovery. Ph.D. thesis, UCLA."},{"key":"S1471068418000418_ref80","doi-asserted-by":"publisher","DOI":"10.1007\/BF01228882"},{"key":"S1471068418000418_ref10","doi-asserted-by":"crossref","unstructured":"Borkar V. R. , Carey M. J. , Grover R. , Onose N. and Vernica R. 2011. Hyracks: A flexible and extensible foundation for data-intensive computing. In Proc. of 27th International Conference on Data Engineering (ICDE), 1151\u20131162.","DOI":"10.1109\/ICDE.2011.5767921"},{"key":"S1471068418000418_ref7","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001515"},{"key":"S1471068418000418_ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2402.322385"},{"key":"S1471068418000418_ref65","unstructured":"Seo J. , Guo S. and Lam M. S. 2013. SociaLite: Datalog extensions for efficient social network analysis. In Proc. of International Conference on Data Engineering (ICDE'13). IEEE, 278\u2013289."},{"key":"S1471068418000418_ref61","doi-asserted-by":"publisher","DOI":"10.1007\/BF00116251"},{"key":"S1471068418000418_ref9","first-page":"24","article-title":"Declarative systems for large-scale machine learning","volume":"35","author":"Borkar","year":"2012","journal-title":"IEEE Data Engineering Bulletin"},{"key":"S1471068418000418_ref57","doi-asserted-by":"crossref","unstructured":"Murray D. G. , McSherry F. , Isaacs R. , Isard M. , Barham P. and Abadi M. 2013. Naiad: A timely dataflow system. In Proc. of 24th Symposium on Operating Systems Principles (SOSP), 439\u2013455.","DOI":"10.1145\/2517349.2522738"},{"key":"S1471068418000418_ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2594473.2594480"},{"key":"S1471068418000418_ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.64"},{"key":"S1471068418000418_ref85","doi-asserted-by":"crossref","unstructured":"Wolfson O. and Silberschatz A. 1988. Distributed processing of logic programs. In Proc. of International Conference on Management of Data (SIGMOD), 329\u2013336.","DOI":"10.1145\/50202.50242"},{"key":"S1471068418000418_ref73","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15675-5_26"},{"key":"S1471068418000418_ref90","doi-asserted-by":"crossref","unstructured":"Yu Y. , Gunda P. K. and Isard M. 2009. Distributed aggregation for data-parallel computing: Interfaces and implementations. In Proc. of 22nd Symposium on Operating Systems Principles (SOSP '09). ACM, New York, NY, USA, 247\u2013260.","DOI":"10.1145\/1629575.1629600"},{"key":"S1471068418000418_ref68","doi-asserted-by":"crossref","unstructured":"Shkapsky A. , Yang M. , Interlandi M. , Chiu H. , Condie T. and Zaniolo C. 2016. Big data analytics with datalog queries on spark. In Proc. of 2016 International Conference on Management of Data (SIGMOD '16). ACM, New York, NY, USA, 1135\u20131149.","DOI":"10.1145\/2882903.2915229"},{"key":"S1471068418000418_ref25","doi-asserted-by":"crossref","unstructured":"Ganguly S. , Silberschatz A. and Tsur S. 1990. A framework for the parallel processing of datalog queries. In Proc. of International Conference on Management of Data (SIGMOD), 143\u2013152.","DOI":"10.1145\/93597.98724"},{"key":"S1471068418000418_ref82","unstructured":"Venu B. 2011. Multi-core processors \u2013 An overview. CoRR abs\/1110.3535."},{"key":"S1471068418000418_ref5","doi-asserted-by":"crossref","unstructured":"Aref M. et al. 2015. Design and implementation of the logicblox system. In Proc. of International Conference on Management of Data (SIGMOD). ACM, 1371\u20131382.","DOI":"10.1145\/2723372.2742796"},{"key":"S1471068418000418_ref43","doi-asserted-by":"crossref","unstructured":"Lewis D. D. 1998. Naive (Bayes) at forty: The independence assumption in information retrieval. In Proc. of 10th European Conference on Machine Learning (ECML '98). Springer-Verlag, London, UK, 4\u201315.","DOI":"10.1007\/BFb0026666"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068418000418","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T21:49:09Z","timestamp":1693864149000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068418000418\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":94,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2018,9]]}},"alternative-id":["S1471068418000418"],"URL":"https:\/\/doi.org\/10.1017\/s1471068418000418","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,9]]}}}