{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T09:48:51Z","timestamp":1791193731919,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642329241","type":"print"},{"value":"9783642329258","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32925-8_1","type":"book-chapter","created":{"date-parts":[[2012,8,25]],"date-time":"2012-08-25T05:25:15Z","timestamp":1345872315000},"page":"1-8","source":"Crossref","is-referenced-by-count":31,"title":["LogicBlox, Platform and Language: A Tutorial"],"prefix":"10.1007","author":[{"given":"Todd J.","family":"Green","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Molham","family":"Aref","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Grigoris","family":"Karvounarakis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Vianu, V.: Datalog extensions for database queries and updates. J. Comput. Syst. Sci.\u00a043(1) (1991)","DOI":"10.1016\/0022-0000(91)90032-Z"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Bravenboer, M., Smaragdakis, Y.: Exception analysis and points-to analysis: better together. In: ISSTA (2009)","DOI":"10.1145\/1572272.1572274"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Bravenboer, M., Smaragdakis, Y.: Strictly declarative specification of sophisticated points-to analyses. In: OOPSLA (2009)","DOI":"10.1145\/1640089.1640108"},{"key":"1_CR5","unstructured":"http:\/\/www.sap.com\/solutions\/analytics\/business-intelligence"},{"key":"1_CR6","unstructured":"Campagna, D., Sarna-Starosta, B., Schrijvers, T.: Approximating constraint propagation in datalog. In: CICLOPS (2011)"},{"key":"1_CR7","unstructured":"http:\/\/www.ibm.com\/software\/analytics\/cognos"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-642-24206-9_11","volume-title":"Datalog Reloaded","author":"J. Eisner","year":"2011","unstructured":"Eisner, J., Filardo, N.: Dyna: Extending Datalog for Modern AI. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol.\u00a06702, pp. 181\u2013220. Springer, Heidelberg (2011)"},{"key":"1_CR9","unstructured":"Enderton, H.B.: A Mathematical Introduction to Logic, 1st edn. Academic Press (1972)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: PODS (2007)","DOI":"10.1145\/1265530.1265535"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Halpin, T.A.: Structural aspects of data modeling languages. In: BMMDS\/EMMSAD 2011 (2011)","DOI":"10.1007\/978-3-642-21759-3_31"},{"issue":"5","key":"1_CR12","first-page":"1","volume":"27","author":"P. Hudak","year":"1992","unstructured":"Hudak, P., Peyton Jones, S., Wadler, P., Boutel, B., Fairbairn, J., Fasel, J., Guzm\u00e1n, M.M., Hammond, K., Hughes, J., Johnsson, T., Kieburtz, D., Nikhil, R., Partain, W., Peterson, J.: Report on the programming language Haskell: a non-strict, purely functional language version 1.2. SIGPLAN Notices\u00a027(5), 1\u2013164 (1992)","journal-title":"SIGPLAN Notices"},{"key":"1_CR13","unstructured":"http:\/\/www.oracle.com\/hyperion"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Karvounarakis, G., Ives, Z.G., Tannen, V.: Querying Data Provenance. In: SIGMOD (2010)","DOI":"10.1145\/1807167.1807269"},{"key":"1_CR15","series-title":"LNCS","first-page":"111","volume-title":"Datalog 2.0","author":"S. K\u00f6hler","year":"2012","unstructured":"K\u00f6hler, S., Lud\u00e4scher, B., Smaragdakis, Y.: Declarative Datalog Debugging for Mere Mortals. In: Barcel, P., Pichler, R. (eds.) Datalog 2.0. LNCS, vol.\u00a07494, pp. 111\u2013122. Springer, Heidelberg (2012)"},{"key":"1_CR16","series-title":"DISDBIS","volume-title":"Integration of Active and Deductive Database Rules","author":"B. Lud\u00e4scher","year":"1998","unstructured":"Lud\u00e4scher, B.: Integration of Active and Deductive Database Rules. DISDBIS, vol.\u00a045. Infix Verlag, St. Augustin (1998)"},{"key":"1_CR17","unstructured":"Maier, D., Warren, D.S.: Computing With Logic: Logic Programming With Prolog. Addison-Wesley (1988)"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Marczak, W.R., Huang, S.S., Bravenboer, M., Sherr, M., Loo, B.T., Aref, M.: Secureblox: customizable secure distributed data processing. In: SIGMOD (2010)","DOI":"10.1145\/1807167.1807246"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"McGill, M.J., Dillon, L.K., Stirewalt, R.E.K.: Scalable analysis of conceptual data models. In: ISSTA (2011)","DOI":"10.1145\/2001420.2001428"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"704","DOI":"10.1007\/978-3-642-05290-3_86","volume-title":"On the Move to Meaningful Internet Systems: OTM 2009 Workshops","author":"M.J. McGill","year":"2009","unstructured":"McGill, M.J., Stirewalt, R.E.K., Dillon, L.K.: Automated Test Input Generation for Software That Consumes ORM Models. In: Meersman, R., Herrero, P., Dillon, T. (eds.) OTM 2009 Workshops. LNCS, vol.\u00a05872, pp. 704\u2013713. Springer, Heidelberg (2009)"},{"key":"1_CR21","unstructured":"http:\/\/www.xmla.org"},{"issue":"1","key":"1_CR22","first-page":"970","volume":"2","author":"M. Meier","year":"2009","unstructured":"Meier, M., Schmidt, M., Lausen, G.: On chase termination beyond stratification. PVLDB\u00a02(1), 970\u2013981 (2009)","journal-title":"PVLDB"},{"key":"1_CR23","unstructured":"http:\/\/www.microstrategy.com"},{"key":"1_CR24","unstructured":"Mitchell, R.L.: Y2K: The good, the bad and the crazy. ComputerWorld (December 2009)"},{"key":"1_CR25","unstructured":"http:\/\/www.ibm.com\/software\/data\/netezza"},{"key":"1_CR26","unstructured":"http:\/\/www.sap.com\/platform\/netweaver\/index.epx"},{"key":"1_CR27","unstructured":"https:\/\/www.451research.com\/report-short?entityId=66963"},{"key":"1_CR28","unstructured":"http:\/\/nosql-database.org\/"},{"key":"1_CR29","unstructured":"Sarna-Starosta, B., Schrijvers, T.: Transformation-based indexing techniques for constraint handling rules. In: CHR (2008)"},{"key":"1_CR30","unstructured":"Sarna-Starosta, B., Zook, D., Pasalic, E., Aref, M.: Relating Constraint Handling Rules to datalog. In: CHR (2008)"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Stirewalt, R.E.K., Rugaber, S., Hsu, H.-Y., Zook, D.: Experience report: Using tools and domain expertise to remediate architectural violations in the logicblox software base. In: ICSE (2009)","DOI":"10.1109\/ICSE-COMPANION.2009.5070964"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Tekle, K.T., Liu, Y.A.: More efficient datalog queries: subsumptive tabling beats magic sets. In: SIGMOD (2011)","DOI":"10.1145\/1989323.1989393"},{"key":"1_CR33","unstructured":"http:\/\/www.teradata.com"},{"key":"1_CR34","unstructured":"http:\/\/www.ibm.com\/software\/analytics\/cognos\/products\/tm1"},{"key":"1_CR35","unstructured":"http:\/\/www.oracle.com\/technetwork\/middleware\/weblogic"},{"key":"1_CR36","unstructured":"http:\/\/www.ibm.com\/software\/webservers\/appserv\/was"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Zinn, D., Green, T.J., Lud\u00e4scher, B.: Win-move is coordination-free (sometimes). In: ICDT (2012)","DOI":"10.1145\/2274576.2274588"}],"container-title":["Lecture Notes in Computer Science","Datalog in Academia and Industry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32925-8_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:48:52Z","timestamp":1620128932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32925-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642329241","9783642329258"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32925-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}