Vi studerar begränsningsproblemet för fackföreningar för konjunktiva regelbundna vägfrågor med inverser (UC2RPQ). Detta är problemet med, med tanke på en UC2RPQ, kontrollera om det är likvärdigt med en union av konjunktiva frågor (UCQ). Vi visar problemet att vara ExpSpace-komplett, vilket sammanfaller med komplexiteten i inneslutning för UC2RPQs. Som en följd, när en UC2RPQ avgränsas, det motsvarar en UCQ av högst trippel-exponentiell storlek, och i själva verket visar vi att denna gräns är optimal. Vi studerar också bättre upp uppförande klasser av UC2RPQs, nämligen acykliska UC2RPQs av avgränsad tjocklek, och starkt anslutna UCRPQs, vars begränsningsproblem är, respektive PSpace-fullständiga och D Tack Vi är tacksamma till Thomas Colcombet för användbara diskussioner och värdefulla idéer i förhållande till resultaten av Avsnitt 5.
REF undersökte begränsningsproblemen för UC2RPQ och visade att dess EXPACE-fullständighet redan gäller för CRPQ.