The system includes a correlation extraction means for extracting at least one candidate for a correlation from a collected given data set, based on a relationship between units of data in the given data set; a correlation verification means for verifying whether or not the units of data in the given data set satisfy the correlation extracted by the correlation extraction means; and a data compression means for compressing the given data set with use of the correlation, based on the result of verification by the correlation verification means.