Closed lordpretzel closed 2 years ago
Infer FDs for intermediate results (head predicates) based on FDs for body atoms.
Infer FDs for intermediate results (head predicates) based on FDs for body atoms.