Conversation
The main students ( and I) graduated; I know is working on next-gen stuff in this area.
1
1
Early days, but yes! rise.cs.berkeley.edu/projects/fluen
2
5
I've mainly been on the track of event sourcing and cqrs - how do you feel your work relates to that?
3
There are deep connections between event sourcing, monotone logic/CALM, and stream processing
1
3
How does CALM work in the context of schema migrations?
1
glibly, CALM confirms what we already know: monotonic changes (add column, increase size) r easier
1
but I have not thought about applications of CALM to, say, data exchange. connections aren't clear
1
Maybe you could use glb to reason about the point at which a schema "transition" can be "closed".
1
1
glb? I came across twitter.com/brendanzab/sta awhile ago. Maybe theres something there to be formalized?
Quote Tweet
Interesting preprint by @michielovereem et. al: The Dark Side of Event Sourcing:
Managing Data Conversion –files.movereem.nl/2017saner-even
greatest lower bound -- aka the "oldest client" in a formal sense.
1
Interesting paper. Yeah, it would be a fun research problem!