Design and implementation of the LogicBlox system

Molham Aref; Balder Ten Cate; Todd J. Green; Benny Kimelfeld; Dan Olteanu; Emir Pasalic; Todd L. Veldhuizen; Geoffrey Washburn

doi:10.1145/2723372.2742796

Design and implementation of the LogicBlox system

Molham Aref
, Balder Ten Cate
, Todd J. Green
, Benny Kimelfeld
, Dan Olteanu
, Emir Pasalic
, Todd L. Veldhuizen
, Geoffrey Washburn

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

The LogicBlox system aims to reduce the complexity of software development for modern applications which enhance and automate decision-making and enable their users to evolve their capabilities via a "self-service" model. Our perspective in this area is informed by over twenty years of experience building dozens of missioncritical enterprise applications that are in use by hundreds of large enterprises across industries such as retail, telecommunications, banking, and government. We designed and built LogicBlox to be the system we wished we had when developing those applications. In this paper, we discuss the design considerations behind the LogicBlox system and give an overview of its implementation, highlighting innovative aspects. These include: LogiQL, a unified and declarative language based on Datalog; the use of purely functional data structures; novel join processing strategies; advanced incremental maintenance and live programming facilities; a novel concurrency control scheme; and built-in support for prescriptive and predictive analytics.

Original language	English
Title of host publication	SIGMOD 2015 - Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data
Pages	1371-1382
Number of pages	12
ISBN (Electronic)	9781450327589
DOIs	https://doi.org/10.1145/2723372.2742796
State	Published - 27 May 2015
Externally published	Yes
Event	ACM SIGMOD International Conference on Management of Data, SIGMOD 2015 - Melbourne, Australia Duration: 31 May 2015 → 4 Jun 2015

Publication series

Name	Proceedings of the ACM SIGMOD International Conference on Management of Data
Volume	2015-May

Conference

Conference	ACM SIGMOD International Conference on Management of Data, SIGMOD 2015
Country/Territory	Australia
City	Melbourne
Period	31/05/15 → 4/06/15

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Keywords

Datalog
Incremental maintenance
Leapfrog triejoin
Live programming
LogiQL
LogicBlox
Predictive analytics
Transaction repair

ASJC Scopus subject areas

Software
Information Systems

Access to Document

10.1145/2723372.2742796

Cite this

Aref, M., Ten Cate, B., Green, T. J., Kimelfeld, B., Olteanu, D., Pasalic, E., Veldhuizen, T. L., & Washburn, G. (2015). Design and implementation of the LogicBlox system. In SIGMOD 2015 - Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data (pp. 1371-1382). (Proceedings of the ACM SIGMOD International Conference on Management of Data; Vol. 2015-May). https://doi.org/10.1145/2723372.2742796

@inproceedings{a61b7f3feda14fa5a0baa0d9b151a1ef,

title = "Design and implementation of the LogicBlox system",

abstract = "The LogicBlox system aims to reduce the complexity of software development for modern applications which enhance and automate decision-making and enable their users to evolve their capabilities via a {"}self-service{"} model. Our perspective in this area is informed by over twenty years of experience building dozens of missioncritical enterprise applications that are in use by hundreds of large enterprises across industries such as retail, telecommunications, banking, and government. We designed and built LogicBlox to be the system we wished we had when developing those applications. In this paper, we discuss the design considerations behind the LogicBlox system and give an overview of its implementation, highlighting innovative aspects. These include: LogiQL, a unified and declarative language based on Datalog; the use of purely functional data structures; novel join processing strategies; advanced incremental maintenance and live programming facilities; a novel concurrency control scheme; and built-in support for prescriptive and predictive analytics.",

keywords = "Datalog, Incremental maintenance, Leapfrog triejoin, Live programming, LogiQL, LogicBlox, Predictive analytics, Transaction repair",

author = "Molham Aref and \{Ten Cate\}, Balder and Green, \{Todd J.\} and Benny Kimelfeld and Dan Olteanu and Emir Pasalic and Veldhuizen, \{Todd L.\} and Geoffrey Washburn",

year = "2015",

month = may,

day = "27",

doi = "10.1145/2723372.2742796",

language = "الإنجليزيّة",

series = "Proceedings of the ACM SIGMOD International Conference on Management of Data",

pages = "1371--1382",

booktitle = "SIGMOD 2015 - Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data",

note = "ACM SIGMOD International Conference on Management of Data, SIGMOD 2015 ; Conference date: 31-05-2015 Through 04-06-2015",

}

Aref, M, Ten Cate, B, Green, TJ, Kimelfeld, B, Olteanu, D, Pasalic, E, Veldhuizen, TL & Washburn, G 2015, Design and implementation of the LogicBlox system. in SIGMOD 2015 - Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. Proceedings of the ACM SIGMOD International Conference on Management of Data, vol. 2015-May, pp. 1371-1382, ACM SIGMOD International Conference on Management of Data, SIGMOD 2015, Melbourne, Australia, 31/05/15. https://doi.org/10.1145/2723372.2742796

Design and implementation of the LogicBlox system. / Aref, Molham; Ten Cate, Balder; Green, Todd J. et al.
SIGMOD 2015 - Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. 2015. p. 1371-1382 (Proceedings of the ACM SIGMOD International Conference on Management of Data; Vol. 2015-May).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Design and implementation of the LogicBlox system

AU - Aref, Molham

AU - Ten Cate, Balder

AU - Green, Todd J.

AU - Kimelfeld, Benny

AU - Olteanu, Dan

AU - Pasalic, Emir

AU - Veldhuizen, Todd L.

AU - Washburn, Geoffrey

PY - 2015/5/27

Y1 - 2015/5/27

N2 - The LogicBlox system aims to reduce the complexity of software development for modern applications which enhance and automate decision-making and enable their users to evolve their capabilities via a "self-service" model. Our perspective in this area is informed by over twenty years of experience building dozens of missioncritical enterprise applications that are in use by hundreds of large enterprises across industries such as retail, telecommunications, banking, and government. We designed and built LogicBlox to be the system we wished we had when developing those applications. In this paper, we discuss the design considerations behind the LogicBlox system and give an overview of its implementation, highlighting innovative aspects. These include: LogiQL, a unified and declarative language based on Datalog; the use of purely functional data structures; novel join processing strategies; advanced incremental maintenance and live programming facilities; a novel concurrency control scheme; and built-in support for prescriptive and predictive analytics.

AB - The LogicBlox system aims to reduce the complexity of software development for modern applications which enhance and automate decision-making and enable their users to evolve their capabilities via a "self-service" model. Our perspective in this area is informed by over twenty years of experience building dozens of missioncritical enterprise applications that are in use by hundreds of large enterprises across industries such as retail, telecommunications, banking, and government. We designed and built LogicBlox to be the system we wished we had when developing those applications. In this paper, we discuss the design considerations behind the LogicBlox system and give an overview of its implementation, highlighting innovative aspects. These include: LogiQL, a unified and declarative language based on Datalog; the use of purely functional data structures; novel join processing strategies; advanced incremental maintenance and live programming facilities; a novel concurrency control scheme; and built-in support for prescriptive and predictive analytics.

KW - Datalog

KW - Incremental maintenance

KW - Leapfrog triejoin

KW - Live programming

KW - LogiQL

KW - LogicBlox

KW - Predictive analytics

KW - Transaction repair

UR - https://www.scopus.com/pages/publications/84944249002

U2 - 10.1145/2723372.2742796

DO - 10.1145/2723372.2742796

M3 - منشور من مؤتمر

T3 - Proceedings of the ACM SIGMOD International Conference on Management of Data

SP - 1371

EP - 1382

BT - SIGMOD 2015 - Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data

T2 - ACM SIGMOD International Conference on Management of Data, SIGMOD 2015

Y2 - 31 May 2015 through 4 June 2015

ER -

Design and implementation of the LogicBlox system

Abstract

Publication series

Conference

UN SDGs

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this