Theoretical Challenges in Knowledge Discovery in Big Data: a logic reasoning and a graph theoretical point of view

Abstract

This paper addresses a problem of knowledge discovery in big data from the point of view of theoretical computer science. Contemporary characterization of big data is often preoccupied by its volume, velocity of change, and variety that causes technical difficulties to handle the data efficiently while theoretical challenges that are offered by big data are neglected at the same time.

Keywords

• big data
• data analysis
• logic reasoning
• graph theory
• graph drawing
• propositional satisfiability