Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Fri 4 Nov 2016 13:30 - 14:20 at Matterhorn 3 - Session 14 Chair(s): Stefan Marr

The LogicBlox smart database system brings together transaction processing, business logic, analytics, live programming and machine learning in one integrated environment. Several of our technical achievements have come about by adapting techniques from programming languages for databases. In this talk I will give an overview of the LogicBlox system, then focus on our approach to parallel transaction processing. Called ‘Transaction Repair,’ it is a method for scalable transaction processing without locks that achieves full serializability. It can demonstrate parallel speedup even in inimical scenarios where all pairs of transactions have significant read-write conflicts. It builds on established techniques from programming languages: declarative languages, purely functional data structures, incremental computation, and fixpoint analysis.

Fri 4 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:10
Session 14SPLASH-I at Matterhorn 3
Chair(s): Stefan Marr Johannes Kepler University Linz
13:30
50m
Talk
Fast Datalog
SPLASH-I
Todd Veldhuizen LogicBlox
Media Attached File Attached
14:20
50m
Talk
Software Environmentalism
SPLASH-I
Tudor Gîrba feenk.com
Media Attached