An Algebraic Structure for Computing Big Data in Livestream
Dang Van Pham, Phan Công Vinh, Trong-Toan Tran, Bao Khang Nguyen · 2024
Nowadays, big data in livestream (BDL) is becoming increasingly prominent in computing systems (CS). Algebraic structures apply algebraic concepts to BDL in CS, aiding in the analysis and resolution of BDL-related problems. This research focuses on algebraic structures related to BDL, such as monoids, to analyze and categorize their properties. These algebraic monoids are essential in formal methods for verifying and analyzing applications of BDL, as they model program behavior and ensure program correctness. This paper examines the algebraic structure of BDL in CS, specifically detailing BDL and formalizing the properties of BDL monoids. Generally, algebraic structures are crucial for computing BDL, offering fundamental frameworks for comprehending and addressing complex issues of BDL in CS.