Lifted Relational Algebra with Recursion and Connections to Modal Logic | Read Paper on Bytez