Forward chaining allows for the automatic propagation of changes in one property value to changes in other property values or to indexes. This process only operates when the source properties are not marked as invalid. If a property has an associated message, forward chaining halts.