Incremental stream processing with DDlog

by Leonid Ryzhyk