disruptive_trio (422B)
1 # Disruptive trio 2 3 Condition to show the intractability of [direct_access] for [CQs] with results ordered in [lexicographic_order], introduced in [carmeli2021tractable] 4 5 three [variables] x y z such that: 6 - x > z and y > z in the specification of the [lexicographic_order] 7 - x and z cooccur in an [atom], y and z cooccur in an [atom], x and y do not cooccur in an [atom] 8 9 [disruptive_trio_fhw] 10 11 Up: [carmeli2021tractable]