Abstract
Some constraint languages are more powerful than others because they allow us to express a larger collection of problems. In this paper, we give a precise meaning to this concept of expressive power for constraints over finite sets of values. The central result of the paper is that the expressive power of a given set of constraint types is determined by certain algebraic properties of the underlying relations. These algebraic properties can be calculated by solving a particular constraint satisfaction problem, which we call an 'indicator problem'. We discuss the connection between expressive power and computational complexity, and show that indicator problems provide a simple method to test for tractability.
Similar content being viewed by others
References
Bibel, W. (1988). Constraint satisfaction from a deductive viewpoint. Artificial Intelligence 35:401–413.
Codd, E. F. (1970). A relational model of data for large shared databanks. Communications of the ACM 13:377–387.
Cooper, M. C., Cohen, D. A., Jeavons, P.G. (1994). Characterizing tractable constraints. Artificial Intelligence 65:347–361.
Dechter, R., & Pearl, J. (1992). Structure identification in relational data. Artificial Intelligence 58:237–270.
Freuder, E. C. (1985). Asufficient condition for backtrack-bounded search. Journal of the ACM 32:755–761.
Garey, M. R., & Johnson, D. S. (1979). Computers and Intractability: A Guide to NP-Completeness. Freeman, San Francisco, California.
Gyssens, M., Jeavons, P., Cohen, D. (1994). Decomposing constraint satisfaction problems using database techniques. Artificial Intelligence 66:57–89.
Jeavons, P. G., Cohen, D. A. (1995). An algebraic characterization of tractable constraints. Lecture Notes in Computer Science 959:633–642.
Jeavons, P., Cohen D., Gyssens, M. (1995). A unifying framework for tractable constraints. In Proceedings 1st International Conference on Principles and Practice of Constraint Programming·CP '95 (Cassis, France, September 1995), Lecture Notes in Computer Science 976: Springer-Verlag, Berlin/New York, 276–291.
Jeavons, P. G., & Cooper, M. C. (1996). Tractable constraints on ordered domains. Artificial Intelligence 79:327–339.
Kirousis, L. (1993). Fast parallel constraint satisfaction. Artificial Intelligence 64:147–160.
Ladkin, P. B., & Maddux, R. D. (1994). On binary constraint problems. Journal of the ACM 41:435–469.
Mackworth, A. K. (1977). Consistency in networks of relations. Artificial Intelligence 8:99–118.
Montanari, U. (1974). Networks of constraints: fundamental properties and applications to picture processing. Information Sciences 7:95–132.
Schaefer, T. J. (1978). The complexity of satisfiability problems. Proc 10th ACM Symposium on Theory of Computing (STOC): 216–226.
Szendrei, A. (1986). Clones in Universal Algebra. Seminaires de Mathematiques Superieures 99, University of Montreal.
van Beek, P. (1992). On the Minimality and Decomposability of Row-Convex Constraint Networks. Proceedings of the Tenth National Conference on Artificial Intelligence, AAAI-92, MIT Press, 447–452.
Van Hentenryck, P., Deville, Y., Teng, C-M. (1992). A generic arc-consistency algorithm and its specializations. Artificial Intelligence 57:291–321.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jeavons, P., Cohen, D. & Gyssens, M. How to Determine the Expressive Power of Constraints. Constraints 4, 113–131 (1999). https://doi.org/10.1023/A:1009890709297
Issue Date:
DOI: https://doi.org/10.1023/A:1009890709297