Difference between revisions of "A computable framework for accountable data assets"

From PKC
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 Ordered Sets]].
===Lattices and Partially Ordered Sets===
===Lattices and Partially Ordered Sets===



Revision as of 02:39, 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.

Lattices and Partially Ordered Sets

Algebra of Systems

Software Applications

Conclusion

References

Related Pages