{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:18:52Z","timestamp":1742912332530,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319644677"},{"type":"electronic","value":"9783319644684"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-64468-4_10","type":"book-chapter","created":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T18:05:18Z","timestamp":1501524318000},"page":"130-140","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Language Constructs for a Datalog Compiler"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Brass","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,1]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Aref, M., ten Cate, B., Green, T.J., Kimelfeld, B., Olteanu, D., Pasalic, E., Veldhuizen, T.L., Washburn, G.: Design and implementation of the LogicBlox system. In: Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, pp. 1371\u20131382. ACM (2015). https:\/\/developer.logicblox.com\/wp-content\/uploads\/2016\/01\/logicblox-sigmod15.pdf","DOI":"10.1145\/2723372.2742796"},{"key":"10_CR2","unstructured":"Becket, R.: Mercury tutorial. Technical report, University of Melbourne, Department of Computer Science (2010). http:\/\/mercurylang.org\/documentation\/papers\/book.pdf"},{"key":"10_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). Leibniz International Proceedings in Informatics (LIPIcs), vol. 7, pp. 44\u201353. Schloss Dagstuhl (2010). http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2010\/2582"},{"key":"10_CR4","doi-asserted-by":"publisher","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). doi:10.1007\/978-3-642-32925-8_7. http:\/\/users.informatik.uni-halle.de\/~brass\/order\/","DOI":"10.1007\/978-3-642-32925-8_7"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Brass, S., Stephan, H.: Bottom-up evaluation of Datalog: preliminary report. In: Schwarz, S., Voigtl\u00e4nder, J. (eds.) Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming (WLP 2015\/2016\/WFLP 2016). Electronic Proceedings in Theoretical Computer Science, no. 234, pp. 13\u201326. Open Publishing Association (2017). https:\/\/arxiv.org\/abs\/1701.00623","DOI":"10.4204\/EPTCS.234.0"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Brass, S., Stephan, H.: Experiences with some benchmarks for deductive databases and implementations of bottom-up evaluation. In: Schwarz, S., Voigtl\u00e4nder, J. (eds.) Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming (WLP 2015\/2016\/WFLP 2016). Electronic Proceedings in Theoretical Computer Science, no. 234, pp. 57\u201372. Open Publishing Association (2017). https:\/\/arxiv.org\/abs\/1701.00627","DOI":"10.4204\/EPTCS.234.0"},{"key":"10_CR7","unstructured":"Brass, S., Stephan, H.: Pipelined bottom-up evaluation of Datalog: The push method. In: Petrenko, A.K., Voronkov, A. (eds.) 11th A.P. Ershov Informatics Conference (PSI 2017) (2017). http:\/\/www.informatik.uni-halle.de\/brass\/push\/publ\/psi17.pdf"},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1017\/S147106840100117X","volume":"1","author":"D Cabeza","year":"2001","unstructured":"Cabeza, D., Hermenegildo, M.: Distributed WWW programming using (Ciao-) Prolog and the PiLLoW library. Theory Pract. Logic Programm. 1(3), 251\u2013282 (2001). https:\/\/arxiv.org\/abs\/cs\/0312031","journal-title":"Theory Pract. Logic Programm."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: A general Datalog-based framework for tractable query answering over ontologies. In: Proceedings of the 28th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2009), pp. 77\u201386. ACM (2009)","DOI":"10.1145\/1559795.1559809"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-72200-7_24","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2007","unstructured":"Gebser, M., Schaub, T., Thiele, S.: GrinGo: A new grounder for answer set programming. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 266\u2013271. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-72200-7_24"},{"key":"10_CR11","volume-title":"Datalog and Logic Databases","author":"S Greco","year":"2015","unstructured":"Greco, S., Molinaro, C.: Datalog and Logic Databases. Morgan and Claypool Publishers, Burlington (2015)"},{"key":"10_CR12","unstructured":"Greco, S., Palopoli, L., Spadafora, E.: Datalog$$^A$$: Array manipulations in a deductive database language. In: Ling, T.W., Masunaga, Y. (eds.) Proceedings of the Fourth International Conference on Database Systems for Advanced Applications (DASFAA 1995), pp. 180\u2013188. World Scientific (1995). http:\/\/www.comp.nus.edu.sg\/lingtw\/dasfaa_proceedings\/DASFAA95\/P180.pdf"},{"issue":"1","key":"10_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/1860702.1860704","volume":"39","author":"JM Hellerstein","year":"2010","unstructured":"Hellerstein, J.M.: The declarative imperative. SIGMOD Rec. 39(1), 5\u201319 (2010). http:\/\/db.cs.berkeley.edu\/papers\/sigrec10-declimperative.pdf","journal-title":"SIGMOD Rec."},{"key":"10_CR14","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"},{"key":"10_CR15","unstructured":"Meyerovich, L.: Topological sort in Datalog (2011). http:\/\/lmeyerov.blogspot.de\/2011\/04\/topological-sort-in-datalog.html"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-642-32925-8_4","volume-title":"Datalog in Academia and Industry","author":"A Polleres","year":"2012","unstructured":"Polleres, A.: How (well) do Datalog, SPARQL and RIF interplay? In: Barcel\u00f3, P., Pichler, R. (eds.) Datalog 2.0 2012. LNCS, vol. 7494, pp. 27\u201330. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-32925-8_4"},{"key":"10_CR17","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":"10_CR18","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: Proceedings of the 2016 International Conference on Management of Data (SIGMOD 2016), pp. 1135\u20131149. ACM (2016). http:\/\/yellowstone.cs.ucla.edu\/~yang\/paper\/sigmod2016-p958.pdf","DOI":"10.1145\/2882903.2915229"}],"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-64468-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T20:14:37Z","timestamp":1710360877000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-64468-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319644677","9783319644684"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64468-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"1 August 2017","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":"Lyon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 August 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 August 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dexa2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.dexa.org\/dexa2017","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}