Correction to “An Equivalence between Relational Database Dependencies and a Fragment of Propositional Logic”

Alain Vaucher, Philippe Schwaller, et al.

AMLD EPFL 2022

Cristina Cornelio, Judy Goldsmith, et al.

JAIR

C.A. Micchelli, W.L. Miranker

Journal of the ACM

Annina Riedhauser, Viacheslav Snigirev, et al.

CLEO 2023