4.1.3. Formalization of the Transaction Concept Notes | Distributed Database BSc. CSIT | FWU | TABFlux