A Study on Document Storage and Information Retrieval for Educational Informatization