Difference between revisions of "A computable framework for accountable data assets"
Jump to navigation
Jump to search
Line 8: | Line 8: | ||
==Computable Data Types== | ==Computable Data Types== | ||
It is been defined axiomatically that all computable data types are [[Partially | It is been defined axiomatically that all computable data types are [[Partially-ordered set]]s. | ||
===Lattices and Partially Ordered Sets=== | ===Lattices and Partially Ordered Sets=== | ||
Revision as of 02:40, 11 May 2022
Synoposis
In the era of this Internet-worked society, a wide range of digital assets must be made accountable through a computationally manipulated data structure. This article describes the data type and its computable rules of such an accounting system that is extensible to 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.