A formal definition of Big Data based on its essential features

A formal definition of Big Data based on its essential features