2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/30616We describe the use of array expressions as constraints, which represents a consequent generalisation of the "element" constraint. Constraint propagation for array constraints is studied theoretically, and for a set of domain reduction rules the local consistency they enforce, arc-consistency, is proved. An efficient algorithm is described that encapsulates the rule set and so inherits the capability to enforce arc-consistency from the rules.10 pages. Accepted at the 6th Annual Workshop of the ERCIM Working Group on Constraints, 2001Programming LanguagesData Structures and AlgorithmsD.3.3; E.1text