Streaming - Synchronous, Recursion, and Incremental Computation
Explore the intersection of streaming, recursion, and incremental computation in this Richard M. Karp Distinguished Lecture by Val Tannen from the University of Pennsylvania. Delve into an algebra of concurrent streaming operators that serves as a compilation target for rich query languages on collections. Discover how this framework elegantly supports both recursion and incremental computation, traditionally challenging to reconcile. Learn about algebraic equivalences that enable selective incrementality, allowing for direct definition of incremental query versions within the algebra. Draw fascinating parallels with discrete signal processing as you uncover the potential of this approach for database systems and query optimization. Gain insights from Tannen's extensive experience in applying logic to computer science, particularly in database research, query language design, and data management systems.