Harmless but Useful: Beyond Separable Equality Constraints in Datalog+/-

Re-assign community