When Debit=Credit. The balance constraint in bookkeeping, its causes and consequences for accounting

This paper studies the balance constraint (debit=credit) in bookkeeping, its causes and its consequences for accounting. Balance in the ledger is shown to: 1) imply balance in journal entries and vice versa; 2) link the value definitions in the earnings statement and balance sheet; 3) have direct implications for valuation puzzles encountered in accounting, like accounting for OCI or stock-based compensation, and the difference between earnings or balance-sheet approaches to valuation. These system-wide effects on accounting highlight a design question: why do we have the balance constraint in bookkeeping? Backward-engineering shows 6 axioms that logically lead to double-entry bookkeeping. The balance constraint follows from the existence of a residual account: owner’s equity. A class of equivalently powerful record keeping systems is shown to exist. These systems use double-entry bookkeeping without the monetary-unit assumption and can be used to record other outputs of the organization, like societal impact. These systems can be implemented in relational databases, a blockchain, or a different technology all together. The discussion covers links with other mathematical descriptions of bookkeeping and potential avenues for future research in the mathematics of bookkeeping

Equational Zero Vector Databases, Non-Equational Databases, and Inherent Internal Control

Equational zero vector accounting systems, based on duality principles and the double-entry model, were designed as ontological control systems to help prevent and detect fraud and errors inherent in non-equational, single-entry systems. Non-equational systems lend themselves to fraud and errors to a larger degree because the internal control inherent in an equational zero vector system has no substitute. We use an analytical analysis methodology to show that an equational zero vector system provides superior inherent internal control over data completeness and data reliability. In the accounting information systems area, the most popular modern non-equational system, the resource-event-agent model, is increasingly being promoted as a replacement for the equational zero vector accounting system. We contend that, although non-equational accounting system frameworks can be modelled with controls, they do not achieve the degree of control inherent in an equational zero vector accounting system without becoming an equational zero vector accounting system

Knowledge Accumulation of Microbial Data Aiming at a Dynamic Taxonomic Framework

Deze thesis is een poging om precies dit onderzoeksgebied te overbruggen dat ligt tussen ruw gegeven en abstract concept, tussen praktijk en theorie, binnen het kader van de hedendaagse bacteriële taxonomie. Als gevolg hiervan is het een kruisbestuiving geworden tussen microbiologie, wiskunde en computerwetenschappen. De kunst om het landschap van de bacteriële diversiteit uit te tekenen, gebruikt als een metafoor voor het modelleren van de taxonomie, vereist het bepalen van een representatieve waaier aan reproduceerbare en vergelijkbare experimentele kenmerken van een verzameling bacteriën (microbiologie/taxonomie), het ontwerpen en implementeren van objectieve classificatiemethodes voor het groeperen van gegevens op een niet gecoördineerde manier (wiskunde/classificatie) en het consolideren van experimentele gegevens en hun verschillende onderverdelingen via een uniforme en weldoordachte aanpak (computerwetenschappen/kennisbeheer). Men kan zich gemakkelijk een globaal kennissysteem voor de geest halen dat de vellen vol experimentele gegevens die voortspruiten uit de microbiologische onderzoeksverrichtingen op een gestructureerde en geüniformiseerde manier kan absorberen. Een dergelijk kennisbeheersysteem zou een ongelofelijke vooruitgang betekenen voor de mogelijke toepassing van intelligente en goed gefundeerde methodes voor het ontginnen van de gegevens, ingezet als hulpmiddel om het afbakenen van objectieve en universele taxonomische consensusmodellen op een betere manier te stroomlijnen en te automatiseren. Bovendien kunnen dergelijke inferentiesystemen in staat worden geacht om ogenblikkelijk te reageren op een toevloed van nieuwe gegevens en interactief te communiceren met de buitenwereld indien noodzakelijke stukken voor het vervolledigen van de taxonomische puzzel zouden ontbreken. De geldigheid van nieuwe inzichten of hypothesen omtrent het leven en de evolutie van bacteriën zou onmiddellijk kunnen getoetst worden aan deze vergaarbakken vol kennis, mogelijks met een directe aanpassing van bestaande taxonomische modellen tot gevolg. Vooraleer de betrachtingen van een autodidactisch inferentiesysteem voor het uittekenen van het landschap van de bacteriële diversiteit kunnen gerealiseerd worden, moeten belangrijke technische en organisatorische hindernissen overwonnen worden. Dit vraagt het verleggen van de grenzen van een mondiale uitwisseling van gegevens, het nasporen en invullen van de hiaten in de waarnemingen, en het verkennen van de mogelijkheden van nieuwe technieken voor het ontginnen van gegevens, ten voordele van een beter inzicht in het leven en de evolutie van bacteriën. Spijts de nog vele onopgeloste kwesties, kunnen de ideeën die worden aangebracht in deze verhandeling als stimulans en leidraad dienen bij het integreren en exploiteren van microbiële gegevens, in plaats van het blijvend koesteren van een ijdele hoo

Developing Error Handling Software for Object-Oriented Geographical Information

The inclusion of error handling capabilities within geographical information systems (GIS) is seen by many as crucial to the future commercial and legal stability of the technology. This thesis describes the analysis, design, implementation and use of a GIS able to handle both geographical information (GI) and the error associated with that GI. The first stage of this process is the development of an error-sensitive GIS, able to provide core error handling functionality in a form flexible enough to be widely applicable to error-prone GI. Object-oriented (OO) analysis, design and programming techniques, supported by recent developments in formal OO theory, are used to implement an error-sensitive GIS within Laser-Scan Gothic OOGIS software. The combination of formal theory and GIS software implementation suggests that error-sensitive GIS are a practical possibility using OO technology. While the error-sensitive GIS is an important step toward full error handling systems, it is expected that most GIS users would require additional high level functionality before use of error- sensitive GIS could become commonplace. There is a clear need to provide error handling systems that actively assist non-expert users in assessing, using and understanding error in GI. To address this need, an error-aware GIS offering intelligent domain specific error handling software tools was developed, based on the core error-sensitive functionality. In order to provide a stable software bridge between the flexible error-sensitive GIS and specialised error-aware software tools, the error-aware GIS makes use of a distributed systems component architecture. The component architecture allows error-aware software tools that extend core error-sensitive functionality to be developed with minimal time and cost overheads. Based on a telecommunications application in Kingston-upon-Hull, UK, three error-aware tools were developed to address particular needs identified within the application. First, an intelligent hypertext system in combination with a conventional expert system was used to assist GIS users with error-sensitive database design. Second, an inductive learning algorithm was used to automatically populate the error-sensitive database with information about error, based on a small pilot error assessment. Finally, a visualisation and data integration tool was developed to allow access to the error-sensitive database and error propagation routines to users across the Internet. While a number of important avenues of further work are implied by this research, the results of this research provide a blueprint for the development of practical error handling capabilities within GIS. The architecture used is both robust and flexible, and arguably represents a framework both for future research and for the development of commercial error handling GIS

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.