What is BPCA, and what simple set operation underlies it — and why does that make it precise?

The Business Process Change Analyzer (since 7.0 EE EHP1 SP18) identifies a change's impact on business processes.

Its paradigm is simply the intersection of two sets — the TBOM (objects in an executable) ∩ the transport (changed objects). That intersection precisely identifies which processes need regression testing to ensure business function isn't affected.