Application research of reductive formal context on data cube