Research and design of data warehouse in coal mine enterprise | IEEE Conference Publication | IEEE Xplore