{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,2]],"date-time":"2026-08-02T23:47:41Z","timestamp":1785714461547,"version":"3.56.0"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319988115","type":"print"},{"value":"9783319988122","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-98812-2_23","type":"book-chapter","created":{"date-parts":[[2018,8,8]],"date-time":"2018-08-08T12:06:43Z","timestamp":1533730003000},"page":"270-280","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An Abstract Machine for Push Bottom-Up Evaluation of Datalog"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Brass","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mario","family":"Wenzel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,8,9]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Aref, M., et al.: Design and implementation of the LogicBlox system. In: Proceedings of the SIGMOD 2015, pp. 1371\u20131382. ACM (2015). https:\/\/developer.logicblox.com\/wp-content\/uploads\/2016\/01\/logicblox-sigmod15.pdf","DOI":"10.1145\/2723372.2742796"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1063","DOI":"10.1007\/3-540-44957-4_71","volume-title":"Computational Logic \u2014 CL 2000","author":"S Brass","year":"2000","unstructured":"Brass, S.: SLDMagic \u2014 the real magic (with applications to web queries). In: Lloyd, J., et al. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 1063\u20131077. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44957-4_71"},{"key":"23_CR3","unstructured":"Brass, S.: Implementation alternatives for bottom-up evaluation. In: Hermenegildo, M., Schaub, T. (eds.) Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010). LIPIcs, vol. 7, pp. 44\u201353. Schloss Dagstuhl (2010). http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2010\/2582"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-642-32925-8_7","volume-title":"Datalog in Academia and Industry","author":"S Brass","year":"2012","unstructured":"Brass, S.: Order in Datalog with applications to declarative output. In: Barcel\u00f3, P., Pichler, R. (eds.) Datalog 2.0 2012. LNCS, vol. 7494, pp. 56\u201367. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32925-8_7"},{"key":"23_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-319-64468-4_10","volume-title":"Database and Expert Systems Applications","author":"S Brass","year":"2017","unstructured":"Brass, S.: Language constructs for a Datalog compiler. In: Benslimane, D., Damiani, E., Grosky, W.I., Hameurlain, A., Sheth, A., Wagner, R.R. (eds.) DEXA 2017. LNCS, vol. 10438, pp. 130\u2013140. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-64468-4_10"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Brass, S., Stephan, H.: Bottom-up evaluation of Datalog: preliminary report. In: Schwarz, S., Voigtl\u00e4nder, J. (eds.) Proceedings of the WLP 2015\/2016\/WFLP 2016. EPTCS, vol. 234, pp. 13\u201326. Open Publishing Association (2017). https:\/\/arxiv.org\/abs\/1701.00623","DOI":"10.4204\/EPTCS.234.2"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-319-74313-4_4","volume-title":"Perspectives of System Informatics","author":"S Brass","year":"2018","unstructured":"Brass, S., Stephan, H.: Pipelined bottom-up evaluation of Datalog programs: the Push method. In: Petrenko, A.K., Voronkov, A. (eds.) PSI 2017. LNCS, vol. 10742, pp. 43\u201358. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74313-4_4. http:\/\/www.informatik.uni-halle.de\/~brass\/push\/publ\/psi17.pdf"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/10704567_16","volume-title":"Principles and Practice of Declarative Programming","author":"VS Costa","year":"1999","unstructured":"Costa, V.S.: Optimising bytecode emulation for Prolog. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol. 1702, pp. 261\u2013277. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/10704567_16"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Liang, S., Fodor, P., Wan, H., Kifer, M.: OpenRuleBench: an analysis of the performance of rule engines. In: Proceedings of the 18th International Conference on World Wide Web (WWW 2009), pp. 601\u2013610. ACM (2009). http:\/\/rulebench.projects.semwebcentral.org\/","DOI":"10.1145\/1526709.1526790"},{"issue":"9","key":"23_CR10","doi-asserted-by":"publisher","first-page":"539","DOI":"10.14778\/2002938.2002940","volume":"4","author":"T Neumann","year":"2011","unstructured":"Neumann, T.: Efficiently compiling efficient query plans for modern hardware. Proc. VLDB Endow. 4(9), 539\u2013550 (2011). http:\/\/www.vldb.org\/pvldb\/vol4\/p539-neumann.pdf","journal-title":"Proc. VLDB Endow."},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Sagonas, K., Swift, T., Warren, D.S.: XSB as an efficient deductive database engine. In: Snodgrass, R.T., Winslett, M. (eds.) Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data (SIGMOD 1994), pp. 442\u2013453 (1994). http:\/\/user.it.uu.se\/~kostis\/Papers\/xsbddb.html","DOI":"10.1145\/191839.191927"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Scholz, B., Jordan, H., Suboti\u0107, P., Westmann, T.: On fast large-scale program analysis in Datalog. In: Proceedings of the 25th International Conference on Compiler Construction (CC 2016), pp. 196\u2013206. ACM (2016)","DOI":"10.1145\/2892208.2892226"},{"key":"23_CR13","unstructured":"Sch\u00fctz, H.: Tupelweise Bottom-up-Auswertung von Logikprogrammen (Tuple-wise bottom-up evaluation of logic programs). Ph.D. thesis, TU M\u00fcnchen (1993)"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-98812-2_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T16:40:52Z","timestamp":1710261652000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-98812-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319988115","9783319988122"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-98812-2_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"9 August 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DEXA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Database and Expert Systems Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Regensburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 September 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dexa2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.dexa.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}