MusQ: A Multi-Store Query System for IoT Data Using a Datalog-Like Language | IEEE Journals & Magazine | IEEE Xplore