What do Shannon-type inequalities, submodular width, and disjunctive datalog have to do with one another?