. Mining Big Data in Real Time. Informatica. 37, 1 ().