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

Guo-Jun Qi, Charu Aggarwal, et al.

IEEE TPAMI

Miao Guo, Yong Tao Pei, et al.

WCITS 2011

Hagen Soltau, Lidia Mangu, et al.

ASRU 2011

Dzung Phan, Vinicius Lima

INFORMS 2023