1. A method of examining policies for a domain of an enterprise system, the method comprising: in response to user input, representing the policies as a plurality of policy rules for use in a target system of the domain, each of the policy rules including a condition in which one or more expressions are included, each expression referring to one or more policy attributes; for a pair of expressions included in at least one of the conditions: obtaining one or more sets of sample values sufficient to represent all values assumable by the one or more policy attributes referred to in the pair of expressions; combining the sample values in a mixed-radix enumeration in which each attribute is represented in a corresponding position of each sample value combination and of the mixed-radix enumeration; and using the mixed-radix enumeration, evaluating each expression of the pair of expressions relative to each of the sample value combinations to obtain a truth table; based on the truth table, detecting a relationship between the pair of expressions; and based on the detecting, notifying the user as to an anomaly in the rules for the target system; the method performed by one or more computers of the enterprise system.
1. A method of examining policies for a domain of an enterprise system, the method comprising: in response to user input, representing the policies as a plurality of policy rules for use in a target system of the domain, each of the policy rules including a condition in which one or more expressions are included, each expression referring to one or more policy attributes; for a pair of expressions included in at least one of the conditions: obtaining one or more sets of sample values sufficient to represent all values assumable by the one or more policy attributes referred to in the pair of expressions; combining the sample values in a mixed-radix enumeration in which each attribute is represented in a corresponding position of each sample value combination and of the mixed-radix enumeration; and using the mixed-radix enumeration, evaluating each expression of the pair of expressions relative to each of the sample value combinations to obtain a truth table; based on the truth table, detecting a relationship between the pair of expressions; and based on the detecting, notifying the user as to an anomaly in the rules for the target system; the method performed by one or more computers of the enterprise system. 2. The method of claim 1 , the evaluating comprising determining truth and/or falsity values for two or more of the expressions as logically combined in one of the policy rules.