Efficient Evaluation of Arbitrary Relational Calculus Queries

Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel. Efficient Evaluation of Arbitrary Relational Calculus Queries. Logical Methods in Computer Science, 19(4), 2023. [doi]

Abstract

Abstract is missing.