Journal of Data Processing Blagovest Kirilov 10 4 2020 https://doi.org/10.6025/jdp/2020/10/4/112-117 https://www.dline.info/jdp/fulltext/v10n4/jdpv10n4_2.pdf Data Analytics is the main issue for efficient data processing. Realizing this value, we in this paper, have discussed the formal methods for data analytics. We are confident of producing a more analytical system using the methods of data analysis.