Hi Apoorv, thanks for reaching out and the reference.

This is correct in context of a distributed system with autonomous nodes as the communication between the nodes is inherently unreliable and messages or responses to messages (which are message themselves) can get lost.

However, please consider the difference when sender and receiver are within a database system itself (meaning, not a general distributed systems in the compute/networking sense, but a distributed system contained within a database). Then the situation and what is possible changes.

The reason I bring this up is because a database system itself might be distributed, but provides a higher level of abstraction that changes the core assumptions.

And yes, if more database theorems come to light and I become aware of them, I'll add them.

Thanks a gain, and best regards,

Christoph