In another embodiment of the present invention, a consistency checking system for detecting multiple consistency error types between configuration rules, wherein each consistency error is represented by a set equation, the system including a processor and a memory coupled to the processor.