On Strict Optimality Property of Allocating Binary Cartesian Product Files on Multiple Disk Systems. - Chin-Chen Chang 001; L. S. Lian (FODO, 1985)