{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:50:21Z","timestamp":1760043021468,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319089089"},{"type":"electronic","value":"9783319089096"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08909-6_10","type":"book-chapter","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T06:02:05Z","timestamp":1405058525000},"page":"152-168","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A Datalog Engine for GPUs"],"prefix":"10.1007","author":[{"given":"Carlos Alberto","family":"Mart\u00ednez-Angeles","sequence":"first","affiliation":[]},{"given":"In\u00eas","family":"Dutra","sequence":"additional","affiliation":[]},{"given":"V\u00edtor Santos","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Buenabad-Ch\u00e1vez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,7,12]]},"reference":[{"key":"10_CR1","unstructured":"CUDA, C Best Practices Guide. http:\/\/docs.nvidia.com\/cuda\/cuda-c-best-practices-guide\/index.html"},{"key":"10_CR2","unstructured":"CUDA, C Programming Guide. http:\/\/docs.nvidia.com\/cuda\/cuda-c-programming-guide\/index.html"},{"key":"10_CR3","unstructured":"Datalog by the MITRE Corporation. http:\/\/datalog.sourceforge.net\/"},{"key":"10_CR4","unstructured":"Red Fox: A Compilation Environment for Data Warehousing. http:\/\/gpuocelot.gatech.edu\/projects\/red-fox-a-compilation-environment-for-data-warehousing\/"},{"key":"10_CR5","unstructured":"Thrust: A Parallel Template Library. http:\/\/thrust.github.io\/"},{"key":"10_CR6","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., et al.: Foundations of Databases. Addison-Wesley, Boston (1995)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-642-24206-9_8","volume-title":"Datalog Reloaded","author":"FN Afrati","year":"2011","unstructured":"Afrati, F.N., Borkar, V., Carey, M., Polyzotis, N., Ullman, J.D.: Cluster Computing, Recursion and Datalog. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol. 6702, pp. 120\u2013144. Springer, Heidelberg (2011)"},{"issue":"3\u20134","key":"10_CR8","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0743-1066(91)90038-Q","volume":"10","author":"C Beeri","year":"1991","unstructured":"Beeri, C., Ramakrishnan, R.: On the power of magic. J. Log. Program. 10(3\u20134), 255\u2013299 (1991)","journal-title":"J. Log. Program."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Bravenboer, M., Smaragdakis, Y.: Strictly declarative specification of sophisticated points-to analyses. In: OOPSLA, pp. 243\u2013262 (2009)","DOI":"10.1145\/1639949.1640108"},{"issue":"1\u20132","key":"10_CR10","first-page":"5","volume":"12","author":"VS Costa","year":"2012","unstructured":"Costa, V.S., et al.: The YAP prolog system. TPLP 12(1\u20132), 5\u201334 (2012)","journal-title":"TPLP"},{"key":"10_CR11","unstructured":"Diamos, G., et al.: Efficient relational algebra algorithms and data structures for GPU. Technical report, Georgia Institute of Technology (2012)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Diamos G. et al.: Relational algorithms for multi-bulk-synchronous processors. In: 18th Symposium on Principles and Practice of Parallel Programming (2013)","DOI":"10.1145\/2442516.2442555"},{"issue":"2\u20134","key":"10_CR13","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/BF01530820","volume":"14","author":"G Dong","year":"1995","unstructured":"Dong, G., Jianwen, S., Topor, R.W.: Nonrecursive incremental evaluation of datalog queries. Ann. Math. Artif. Intell. 14(2\u20134), 187\u2013223 (1995)","journal-title":"Ann. Math. Artif. Intell."},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-32925-8_1","volume-title":"Datalog in Academia and Industry","author":"TJ Green","year":"2012","unstructured":"Green, T.J., Aref, M., Karvounarakis, G.: LogicBlox, Platform and Language: A Tutorial. In: Barcel\u00f3, P., Pichler, R. (eds.) Datalog 2.0 2012. LNCS, vol. 7494, pp. 1\u20138. Springer, Heidelberg (2012)"},{"key":"10_CR15","first-page":"851","volume-title":"GPU Gems 3","author":"M Harris","year":"2007","unstructured":"Harris, M., et al.: Parallel prefix sum (scan) with CUDA. In: Nguyen, H. (ed.) GPU Gems 3, pp. 851\u2013876. Addison Wesley, Boston (2007)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"He, B., et al.: Relational joins on graphics processors. In: SIGMOD Conference, pp. 511\u2013524 (2008)","DOI":"10.1145\/1376616.1376670"},{"issue":"4","key":"10_CR17","doi-asserted-by":"publisher","first-page":"21:1","DOI":"10.1145\/1620585.1620588","volume":"34","author":"B He","year":"2009","unstructured":"He, B., et al.: Relational query coprocessing on graphics processors. ACM Trans. Database Syst. (TODS) 34(4), 21:1\u201321:39 (2009)","journal-title":"ACM Trans. Database Syst. (TODS)"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Huang, S.S., et al.: Datalog and emerging applications: an interactive tutorial. In: SIGMOD Conference. pp. 1213\u20131216 (2011)","DOI":"10.1145\/1989323.1989456"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Loo, B.T., et al.: Declarative networking: language, execution and optimization. In: SIGMOD Conference, pp. 97\u2013108 (2006)","DOI":"10.1145\/1142473.1142485"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Marczak W.R., et al.: Secureblox: customizable secure distributed data processing. In: SIGMOD Conference, pp. 723\u2013734 (2010)","DOI":"10.1145\/1807167.1807246"},{"key":"10_CR21","volume-title":"STL Tutorial and Reference Guide: C++ Programming With The Standard Template Library","author":"DR Musser","year":"2001","unstructured":"Musser, D.R., Derge, G.J., Saini, A.: STL Tutorial and Reference Guide: C++ Programming With The Standard Template Library, 2nd edn. Addison-Wesley Longman Publishing Co. Inc., Boston (2001)","edition":"2"},{"key":"10_CR22","unstructured":"Rao, J., Ross, K.A.: Cache conscious indexing for decision-support in main memory. In: 25th VLDB Conference, San Francisco., CA, USA, pp. 78\u201389 (1999)"},{"key":"10_CR23","unstructured":"Shen, W., et al.: Declarative information extraction using datalog with embedded extraction predicates. In: VLDB, pp. 1033\u20131044 (2007)"},{"issue":"1\u20132","key":"10_CR24","first-page":"157","volume":"12","author":"T Swift","year":"2012","unstructured":"Swift, T., Warren, D.S.: Xsb: Extending prolog with tabled logic programming. TPLP 12(1\u20132), 157\u2013187 (2012)","journal-title":"TPLP"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Tekle, K.T., Liu, Y.A.: More efficient datalog queries: subsumptive tabling beats magic sets. In: SIGMOD Conference, pp. 661\u2013672 (2011)","DOI":"10.1145\/1989323.1989393"},{"key":"10_CR26","volume-title":"Principles of Database and Knowledge-Base Systems","author":"JD Ullman","year":"1988","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol. 1. Computer Science Press, Beijing (1988)"},{"key":"10_CR27","volume-title":"Principles of Database and Knowledge-Base Systems","author":"JD Ullman","year":"1989","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol. 2. Computer Science Press, Beijing (1989)"},{"issue":"8","key":"10_CR28","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/79173.79181","volume":"33","author":"LG Valiant","year":"1990","unstructured":"Valiant, L.G.: A bridging model for parallel computation. Commun. ACM 33(8), 103\u2013111 (1990)","journal-title":"Commun. ACM"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Wu, H., et al.: Kernel weaver: Automatically fusing database primitives for efficient GPU computation. In: 45th International Symposium on Microarchitecture (2012)","DOI":"10.1109\/MICRO.2012.19"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Wu, H., et al.: Optimizing data warehousing applications for GPUs using kernel fusion\/fission. In: IEEE 26th International Parallel and Distributed Processing Symposium Workshops and PhD Forum (2012)","DOI":"10.1109\/IPDPSW.2012.300"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Young, J., et al.: Satisfying data-intensive queries using GPU clusters. In: 2nd Annual Workshop on High-Performance Computing meets Databases (2012)","DOI":"10.1109\/SC.Companion.2012.163"}],"container-title":["Lecture Notes in Computer Science","Declarative Programming and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08909-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T05:28:43Z","timestamp":1676870923000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-08909-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319089089","9783319089096"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08909-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"12 July 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}