Constraint-query containment and constraint satisfaction problems are presented. Three non-uniform tractability results are exhibited. These results uniformize and give rise to polynomial-time solvable cases of constraint satisfaction and conjunctive-query containment.
CITATION STYLE
Kolaitis, P. G., & Vardi, M. Y. (2000). Conjunctive-query containment and constraint satisfaction. Journal of Computer and System Sciences, 61(2), 302–332. https://doi.org/10.1006/jcss.2000.1713
Mendeley helps you to discover research relevant for your work.