The team behind TerminusDB wanted to build a database that would be capable of automatically generating sophisticated curation and analysis tools to allow users to access and manage the data they contain and to feed the results of these analyses into real-time automated workflows and learning algorithms. Starting in Trinity College Dublin, the team have poured years of high-intensity work into building TerminusDB. Considerable innovation — both theoretical and practical — was required to build the database. Not only did we end up having to write the software, along the way we had to develop and formalize a new theoretical model of computer programming for data intensive systems; develop, formalize and prove a new modular logic for data objects; and devise, develop and deploy a new general purpose logical approach to describing and querying graph shapes and constraining their transitions. It has been a labor of love by all the contributing team. The core team ran the Horizon 2020 project 'ALIGNED' that worked to 2018. We are also the team that built and maintain the technical architecture for 'Seshat, the Global History Databank'. The database was developed in unison with those projects.
Commercial, Open Source