Before revision: An even more expressive constraint is the disjunctive embedded dependency with inequalities (indicated with DED) .
After revision: , in which every may contain also inequality atomsAn even more expressive constraint is the disjunctive embedded dependency with inequalities (indicated with DED) .