DiNoDB: an interactive-speed query engine for ad-hoc queries on temporary data