Answer
The SE_shape_union function miscompares rings that are touching when two polygons are compared. Therefore, SE_shape_union can sometimes return results that are inconsistent with SE_shape_is_overlapping.
This problem is addressed in ArcGIS 8.1 Service Pack 1. See Related Information below to download this pack.