Abstract
The modern enterprise software stack—a collection of applications supporting bookkeeping, analytics, planning, and forecasting for enterprise data—is in danger of collapsing under its own weight. The task of building and maintaining enterprise software is tedious and laborious; applications are cumbersome for end-users; and adapting to new computing hardware and infrastructures is difficult. We believe that much of the complexity in today’s architecture is accidental, rather than inherent. This tutorial provides an overview of the LogicBlox platform, a ambitious redesign of the enterprise software stack centered around a unified declarative programming model, based on an extended version of Datalog.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)
Abiteboul, S., Vianu, V.: Datalog extensions for database queries and updates. J. Comput. Syst. Sci. 43(1) (1991)
Bravenboer, M., Smaragdakis, Y.: Exception analysis and points-to analysis: better together. In: ISSTA (2009)
Bravenboer, M., Smaragdakis, Y.: Strictly declarative specification of sophisticated points-to analyses. In: OOPSLA (2009)
http://www.sap.com/solutions/analytics/business-intelligence
Campagna, D., Sarna-Starosta, B., Schrijvers, T.: Approximating constraint propagation in datalog. In: CICLOPS (2011)
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. 6702, pp. 181–220. Springer, Heidelberg (2011)
Enderton, H.B.: A Mathematical Introduction to Logic, 1st edn. Academic Press (1972)
Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: PODS (2007)
Halpin, T.A.: Structural aspects of data modeling languages. In: BMMDS/EMMSAD 2011 (2011)
Hudak, P., Peyton Jones, S., Wadler, P., Boutel, B., Fairbairn, J., Fasel, J., Guzmán, 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 27(5), 1–164 (1992)
Karvounarakis, G., Ives, Z.G., Tannen, V.: Querying Data Provenance. In: SIGMOD (2010)
Köhler, S., Ludäscher, B., Smaragdakis, Y.: Declarative Datalog Debugging for Mere Mortals. In: Barcel, P., Pichler, R. (eds.) Datalog 2.0. LNCS, vol. 7494, pp. 111–122. Springer, Heidelberg (2012)
Ludäscher, B.: Integration of Active and Deductive Database Rules. DISDBIS, vol. 45. Infix Verlag, St. Augustin (1998)
Maier, D., Warren, D.S.: Computing With Logic: Logic Programming With Prolog. Addison-Wesley (1988)
Marczak, W.R., Huang, S.S., Bravenboer, M., Sherr, M., Loo, B.T., Aref, M.: Secureblox: customizable secure distributed data processing. In: SIGMOD (2010)
McGill, M.J., Dillon, L.K., Stirewalt, R.E.K.: Scalable analysis of conceptual data models. In: ISSTA (2011)
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. 5872, pp. 704–713. Springer, Heidelberg (2009)
Meier, M., Schmidt, M., Lausen, G.: On chase termination beyond stratification. PVLDB 2(1), 970–981 (2009)
Mitchell, R.L.: Y2K: The good, the bad and the crazy. ComputerWorld (December 2009)
Sarna-Starosta, B., Schrijvers, T.: Transformation-based indexing techniques for constraint handling rules. In: CHR (2008)
Sarna-Starosta, B., Zook, D., Pasalic, E., Aref, M.: Relating Constraint Handling Rules to datalog. In: CHR (2008)
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)
Tekle, K.T., Liu, Y.A.: More efficient datalog queries: subsumptive tabling beats magic sets. In: SIGMOD (2011)
Zinn, D., Green, T.J., Ludäscher, B.: Win-move is coordination-free (sometimes). In: ICDT (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Green, T.J., Aref, M., Karvounarakis, G. (2012). LogicBlox, Platform and Language: A Tutorial. In: Barceló, P., Pichler, R. (eds) Datalog in Academia and Industry. Datalog 2.0 2012. Lecture Notes in Computer Science, vol 7494. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32925-8_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-32925-8_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32924-1
Online ISBN: 978-3-642-32925-8
eBook Packages: Computer ScienceComputer Science (R0)