{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T18:37:37Z","timestamp":1764873457459,"version":"3.41.0"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T00:00:00Z","timestamp":1480550400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T00:00:00Z","timestamp":1480550400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["IIS 1218471","IIS 1118107"],"award-info":[{"award-number":["IIS 1218471","IIS 1118107"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["The VLDB Journal"],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1007\/s00778-016-0448-z","type":"journal-article","created":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T09:40:46Z","timestamp":1480585246000},"page":"229-248","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Scaling up the performance of more powerful Datalog systems on multicore machines"],"prefix":"10.1007","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6886-0256","authenticated-orcid":false,"given":"Mohan","family":"Yang","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Shkapsky","sequence":"additional","affiliation":[]},{"given":"Carlo","family":"Zaniolo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,1]]},"reference":[{"key":"448_CR1","doi-asserted-by":"crossref","unstructured":"Aref, M., ten Cate, B., Green, T.J., Kimelfeld, B., et\u00a0al.: Design and implementation of the LogicBlox system. In: SIGMOD, pp. 1371\u20131382. ACM, New York (2015)","DOI":"10.1145\/2723372.2742796"},{"issue":"1","key":"448_CR2","first-page":"61","volume":"3","author":"F Arni","year":"2003","unstructured":"Arni, F., Ong, K., Tsur, S., Wang, H., Zaniolo, C.: The deductive database system LDL++. TPLP 3(1), 61\u201394 (2003)","journal-title":"TPLP"},{"issue":"5","key":"448_CR3","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/0169-023X(91)90008-L","volume":"6","author":"DA Bell","year":"1991","unstructured":"Bell, D.A., Shao, J., Hull, M.E.C.: A pipelined strategy for processing recursive queries in parallel. Data Knowl. Eng. 6(5), 367\u2013391 (1991)","journal-title":"Data Knowl. Eng."},{"key":"448_CR4","first-page":"225","volume":"5","author":"PA Boncz","year":"2005","unstructured":"Boncz, P.A., Zukowski, M., Nes, N.: MonetDB\/X100: hyper-pipelining query execution. CIDR 5, 225\u2013237 (2005)","journal-title":"CIDR"},{"key":"448_CR5","doi-asserted-by":"crossref","unstructured":"Bravenboer, M., Smaragdakis, Y.: Strictly declarative specification of sophisticated points-to analyses. In: OOPSLA, pp. 243\u2013262. ACM, New York (2009)","DOI":"10.1145\/1639949.1640108"},{"issue":"1","key":"448_CR6","first-page":"76","volume":"2","author":"D Chimenti","year":"1990","unstructured":"Chimenti, D., Gamboa, R., Krishnamurthy, R., Naqvi, S., et al.: The LDL system prototype. TKDE 2(1), 76\u201390 (1990)","journal-title":"TKDE"},{"key":"448_CR7","doi-asserted-by":"crossref","unstructured":"Cohen, S., Wolfson, O.: Why a single parallelization strategy is not enough in knowledge bases. In: PODS, pp. 200\u2013216. ACM, New York (1989)","DOI":"10.1145\/73721.73742"},{"key":"448_CR8","unstructured":"Deductive application language system. http:\/\/wis.cs.ucla.edu\/deals\/"},{"key":"448_CR9","unstructured":"DLV (parallel version). http:\/\/www.mat.unical.it\/ricca\/downloads\/parallelground10.zip"},{"key":"448_CR10","unstructured":"DLV (single-processor version). http:\/\/www.dlvsystem.com\/files\/dlv.x86-64-linux-elf-static.bin"},{"key":"448_CR11","unstructured":"DLV with recursive aggregates. http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv\/dlvRecAggr\/dl-recagg-snapshot-2007-04-14.zip"},{"key":"448_CR12","doi-asserted-by":"crossref","unstructured":"Dees, J., Sanders, P.: Efficient many-core query execution in main memory column-stores. In: ICDE, pp. 350\u2013361. IEEE, New York (2013)","DOI":"10.1109\/ICDE.2013.6544838"},{"key":"448_CR13","doi-asserted-by":"crossref","unstructured":"Eisner, J., Filardo, N.W.: Dyna: extending Datalog for modern AI. In: Datalog Reloaded, pp. 181\u2013220. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24206-9_11"},{"key":"448_CR14","unstructured":"Fogel, A., Fung, S., Pedrosa, L., Walraed-Sullivan, M., et\u00a0al.: A general approach to network configuration analysis. In: NSDI, pp. 469\u2013483 (2015)"},{"issue":"1","key":"448_CR15","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0743-1066(92)90048-8","volume":"14","author":"S Ganguly","year":"1992","unstructured":"Ganguly, S., Silberschatz, A., Tsur, S.: Parallel bottom-up processing of Datalog queries. J. Logic Program. 14(1), 101\u2013126 (1992)","journal-title":"J. Logic Program."},{"issue":"3","key":"448_CR16","first-page":"351","volume":"7","author":"S Ganguly","year":"1995","unstructured":"Ganguly, S., Silberschatz, A., Tsur, S.: Mapping Datalog program execution to networks of processors. TKDE 7(3), 351\u2013361 (1995)","journal-title":"TKDE"},{"key":"448_CR17","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo=ASP+Control: preliminary report. arXiv preprint arXiv:1405.3694"},{"key":"448_CR18","unstructured":"Hulin, G.: Parallel processing of recursive queries in distributed architectures. In: VLDB, pp. 87\u201396. Morgan Kaufmann, Los Altos (1989)"},{"key":"448_CR19","unstructured":"Lattner, C.: LLVM and Clang: next generation compiler technology. In: The BSD Conference, pp. 1\u20132 (2008)"},{"issue":"3","key":"448_CR20","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., et al.: The DLV system for knowledge representation and reasoning. TOCL 7(3), 499\u2013562 (2006)","journal-title":"TOCL"},{"key":"448_CR21","unstructured":"Leskovec, J., Krevl, A.: SNAP datasets: Stanford large network dataset collection. http:\/\/snap.stanford.edu\/data (2014)"},{"issue":"4","key":"448_CR22","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s00778-012-0299-1","volume":"22","author":"M Mazuran","year":"2013","unstructured":"Mazuran, M., Serra, E., Zaniolo, C.: Extending the power of Datalog recursion. VLDB J. 22(4), 471\u2013493 (2013)","journal-title":"VLDB J."},{"issue":"4\u20135","key":"448_CR23","first-page":"609","volume":"13","author":"M Mazuran","year":"2013","unstructured":"Mazuran, M., Serra, E., Zaniolo, C.: A declarative extension of Horn clauses, and its significance for Datalog and its applications. TPLP 13(4\u20135), 609\u2013623 (2013)","journal-title":"TPLP"},{"key":"448_CR24","doi-asserted-by":"crossref","unstructured":"Morris, K., Ullman, J.D., Van Gelder, A.: Design overview of the NAIL! system. In: ICLP, pp. 554\u2013568. Springer, Berlin (1986)","DOI":"10.1007\/3-540-16492-8_104"},{"key":"448_CR25","doi-asserted-by":"crossref","unstructured":"Nguyen, D., Aref, M., Bravenboer, M., Kollias, G., et\u00a0al.: Join Processing for Graph Patterns: An Old Dog with New Tricks. arXiv preprint arXiv:1503.04169 (2015)","DOI":"10.1145\/2764947.2764948"},{"issue":"02","key":"448_CR26","first-page":"253","volume":"13","author":"S Perri","year":"2013","unstructured":"Perri, S., Ricca, F., Sirianni, M.: Parallel instantiation of ASP programs: techniques and experiments. TPLP 13(02), 253\u2013278 (2013)","journal-title":"TPLP"},{"key":"448_CR27","unstructured":"Ramakrishnan, R., Srivastava, D., Sudarshan, S.: CORAL\u2014control, relations and logic. In: VLDB, pp. 238\u2013250. Morgan Kaufmann, Los Altos (1992)"},{"key":"448_CR28","unstructured":"Raschid, L., Su, S.Y.W.: A parallel processing strategy for evaluating recursive queries. In: VLDB, pp. 412\u2013419. Morgan Kaufmann, Los Altos (1986)"},{"key":"448_CR29","doi-asserted-by":"crossref","unstructured":"Ross, K.A., Sagiv, Y.: Monotonic aggregation in deductive databases. In: PODS, pp. 114\u2013126. ACM, New York (1992)","DOI":"10.1145\/137097.137852"},{"key":"448_CR30","unstructured":"SociaLite. http:\/\/github.com\/socialite-lang\/socialite"},{"key":"448_CR31","unstructured":"SPEC$$^{\\textregistered }$$ CINT2006 Result. Cisco Systems: Cisco UCS C460 M4 (Intel Xeon E7-4890 v2, 2.80\u00a0GHz). http:\/\/www.spec.org\/cpu2006\/results\/res2014q1\/cpu2006-20140224-28687"},{"key":"448_CR32","unstructured":"SPEC$$^{\\textregistered }$$ CINT2006 Result. Dell Inc.: PowerEdge R720 (Intel Xeon E5-2690, 2.90\u00a0GHz). http:\/\/www.spec.org\/cpu2006\/results\/res2012q1\/cpu2006-20120228-19541"},{"key":"448_CR33","unstructured":"SPEC$$^{\\textregistered }$$ CINT2006 Result. Supermicro: Supermicro A+ Server 2042G-6RF (AMD Opteron 6376, 2.30\u00a0GHz). http:\/\/www.spec.org\/cpu2006\/results\/res2012q4\/cpu2006-20121005-24693"},{"key":"448_CR34","unstructured":"SQL Server 2014. http:\/\/www.microsoft.com\/en-us\/server-cloud\/products\/sql-server\/"},{"key":"448_CR35","doi-asserted-by":"crossref","unstructured":"Seib, J., Lausen, G.: Parallelizing Datalog programs by generalized pivoting. In: PODS, pp. 241\u2013251. ACM, New York (1991)","DOI":"10.1145\/113413.113435"},{"key":"448_CR36","unstructured":"Selman, B., Kautz, H.: Domain-independent extensions to GSAT: Solving large structured satisfiability problems. In: IJCAI, pp. 290\u2013295. Morgan Kaufmann, Los Altos (1993)"},{"key":"448_CR37","unstructured":"Selman, B., Kautz, H., Cohen, B.: Local search strategies for satisfiability testing. Cliques Color. Satisf.: Second DIMACS Implement. Chall. 26, 521\u2013532 (1993)"},{"key":"448_CR38","unstructured":"Selman, B., Levesque, H.J., Mitchell, D.G.: A new method for solving hard satisfiability problems. In: AAAI, pp. 440\u2013446. AAAI Press\/MIT Press, Cambridge (1992)"},{"key":"448_CR39","doi-asserted-by":"crossref","unstructured":"Seo, J., Guo, S., Lam, M.S.: SociaLite: Datalog extensions for efficient social network analysis. In: ICDE, pp. 278\u2013289. IEEE, New York (2013)","DOI":"10.1109\/ICDE.2013.6544832"},{"issue":"14","key":"448_CR40","first-page":"1906","volume":"6","author":"J Seo","year":"2013","unstructured":"Seo, J., Park, J., Shin, J., Lam, M.S.: Distributed socialite: a Datalog-based language for large-scale graph analysis. PVLDB 6(14), 1906\u20131917 (2013)","journal-title":"PVLDB"},{"key":"448_CR41","doi-asserted-by":"crossref","unstructured":"Shkapsky, A., Yang, M., Interlandi, M., Chiu, H., Condie, T., Zaniolo, C.: Big data analytics with Datalog queries on Spark. In: SIGMOD, pp. 1135\u20131149. ACM, New York (2016)","DOI":"10.1145\/2882903.2915229"},{"key":"448_CR42","doi-asserted-by":"crossref","unstructured":"Shkapsky, A., Yang, M., Zaniolo, C.: Optimizing recursive queries with monotonic aggregates in DeALS. In: ICDE, pp. 867\u2013878. IEEE, New York (2015)","DOI":"10.1109\/ICDE.2015.7113340"},{"issue":"12","key":"448_CR43","first-page":"1258","volume":"6","author":"A Shkapsky","year":"2013","unstructured":"Shkapsky, A., Zeng, K., Zaniolo, C.: Graph queries in a next-generation Datalog system. PVLDB 6(12), 1258\u20131261 (2013)","journal-title":"PVLDB"},{"key":"448_CR44","unstructured":"Spears, W.M.: Simulated annealing for hard satisfiability problems. Cliques Color. Satisf.: Second DIMACS Implement. Chall. 26, 533\u2013558 (1993)"},{"key":"448_CR45","unstructured":"TPC-H. http:\/\/www.tpc.org\/tpch\/"},{"key":"448_CR46","unstructured":"TPC-H Result on Cisco UCS C460 M4 Server. http:\/\/www.tpc.org\/3311"},{"key":"448_CR47","unstructured":"TPC-H Result on Dell PowerEdge R720. http:\/\/www.tpc.org\/3282"},{"issue":"3","key":"448_CR48","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/3979.3980","volume":"10","author":"JD Ullman","year":"1985","unstructured":"Ullman, J.D.: Implementation of logical query languages for databases. TODS 10(3), 289\u2013321 (1985)","journal-title":"TODS"},{"key":"448_CR49","unstructured":"Vectorwise. http:\/\/www.actian.com\/"},{"key":"448_CR50","doi-asserted-by":"crossref","unstructured":"Van\u00a0Gelder, A.: Foundations of aggregation in deductive databases. In: DOOD, pp. 13\u201334. Springer, Berlin (1993)","DOI":"10.1007\/3-540-57530-8_2"},{"key":"448_CR51","unstructured":"Veldhuizen, T.L.: Triejoin: A simple, worst-case optimal join algorithm. In: ICDT, pp. 96\u2013106 (2014)"},{"issue":"12","key":"448_CR52","first-page":"1542","volume":"8","author":"J Wang","year":"2015","unstructured":"Wang, J., Balazinska, M., Halperin, D.: Asynchronous and fault-tolerant recursive Datalog evaluation in shared-nothing engines. PVLDB 8(12), 1542\u20131553 (2015)","journal-title":"PVLDB"},{"key":"448_CR53","doi-asserted-by":"crossref","unstructured":"Wolfson, O.: Sharing the load of logic-program evaluation. In: DPDS, pp. 46\u201355. IEEE, New York (1988)","DOI":"10.1109\/DPDS.1988.675001"},{"key":"448_CR54","doi-asserted-by":"crossref","unstructured":"Wolfson, O., Silberschatz, A.: Distributed processing of logic programs. In: SIGMOD, pp. 329\u2013336. ACM, New York (1988)","DOI":"10.1145\/971701.50242"},{"key":"448_CR55","unstructured":"Yang, M., Shkapsky, A., Zaniolo, C.: Parallel bottom-up evaluation of logic programs: DeALS on shared-memory multicore machines. In: Technical Communications of ICLP (2015)"},{"key":"448_CR56","doi-asserted-by":"crossref","unstructured":"Yang, M., Zaniolo, C.: Main memory evaluation of recursive queries on multicore machines. In: IEEE BigData, pp. 251\u2013260. IEEE, New York (2014)","DOI":"10.1109\/BigData.2014.7004240"},{"key":"448_CR57","doi-asserted-by":"crossref","unstructured":"Zaniolo, C.: Logical foundations of continuous query languages for data streams. In: Datalog in Academia and Industry, pp. 177\u2013189. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-32925-8_18"},{"issue":"1","key":"448_CR58","first-page":"163","volume":"7","author":"W Zhang","year":"1995","unstructured":"Zhang, W., Wang, K., Chau, S.C.: Data partition and parallel evaluation of Datalog programs. TKDE 7(1), 163\u2013176 (1995)","journal-title":"TKDE"}],"container-title":["The VLDB Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-016-0448-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00778-016-0448-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-016-0448-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T23:47:14Z","timestamp":1749772034000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00778-016-0448-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,1]]},"references-count":58,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["448"],"URL":"https:\/\/doi.org\/10.1007\/s00778-016-0448-z","relation":{},"ISSN":["1066-8888","0949-877X"],"issn-type":[{"type":"print","value":"1066-8888"},{"type":"electronic","value":"0949-877X"}],"subject":[],"published":{"date-parts":[[2016,12,1]]},"assertion":[{"value":"17 February 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 July 2016","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 November 2016","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 December 2016","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}