Difference between revisions of "A computable framework for accountable data assets"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
=Synoposis= | =Synoposis= | ||
This article prescribes an algebraic approach to manipulate digital assets in a unifying data abstraction framework. For non-mathematicians, this computational framework can be thought of as an accounting system that can be formally extended to serve a wide range of applications. | |||
=Introduction= | =Introduction= | ||
Revision as of 03:04, 12 May 2022
Synoposis
This article prescribes an algebraic approach to manipulate digital assets in a unifying data abstraction framework. For non-mathematicians, this computational framework can be thought of as an accounting system that can be formally extended to serve a wide range of applications.
Introduction
Ownership associated with Accounts
Data Content that represent Decision Procedures
The Control Structure(If/Then/Else)
Computable Data Types
It is been defined axiomatically that all computable data types are Partially-ordered sets.