Lifted Relational Algebra with Recursion and Connections to Modal Logic

Eugenia Ternovska

We propose a new formalism for specifying and reasoning about problems that involve heterogeneous "pieces of information" -- large collections of data, decision procedures of any k…