A computable framework for accountable data assets

From PKC
Jump to navigation Jump to search

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.

Lattices and Partially Ordered Sets

Algebra of Systems

Software Applications

Conclusion

References

Related Pages