A real-time event-driven database productivity and maintenance planning tool for continuous surface mining operations. (10th January 2020)