TNTBase

TNTBase: a versioned storage for XML. TNTBase is an open-source versioned storage for XML and a bit more. It is licensed under Apache 2.0 license that can be found here or in any TNTBase source distribution. TNTBase supports versioning in the Subversion-compatible way. It is based on the two powerful systems, namely Subversion and Berkeley DB XML, that allows us to get a good basis (i.e. powerful versioning and efficient storing and working with XML) for a Deep Web for XML.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 16 articles )

Showing results 1 to 16 of 16.
Sorted by year (citations)

  1. Carette, Jacques; Farmer, William M.; Kohlhase, Michael: Realms: a structure for consolidating knowledge about mathematical theories (2014)
  2. Iancu, Mihnea; Kohlhase, Michael; Rabe, Florian; Urban, Josef: The Mizar Mathematical Library in OMDoc: translation and applications (2013)
  3. Rabe, Florian: The MMT API: a generic MKM system (2013)
  4. Rabe, Florian; Kohlhase, Michael: A scalable module system (2013)
  5. Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian: A proof theoretic interpretation of model theoretic hiding (2012)
  6. Rabe, Florian: A query language for formal mathematical libraries (2012)
  7. Autexier, Serge; David, Catalin; Dietrich, Dominik; Kohlhase, Michael; Zholudev, Vyacheslav: Workflows for the management of change in science, technologies, engineering and mathematics (2011)
  8. Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian: Project abstract: logic atlas and integrator (LATIN) (2011)
  9. Horozal, Fulya; Iacob, Alin; Jucovschi, Constantin; Kohlhase, Michael; Rabe, Florian: Combining source, content, presentation, narration, and relational representation (2011)
  10. Lange, Christoph: Enabling collaboration on semiformal mathematical knowledge by semantic web integration (2011)
  11. Rabe, Florian; Kohlhase, Michael; Sacerdoti Coen, Claudio: A foundational view on integration problems (2011)
  12. Jucovschi, Constantin; Kohlhase, Michael: STEXIDE: an integrated development environment for STEX collections (2010)
  13. Kohlhase, Michael; Rabe, Florian; Zholudev, Vyacheslav: Towards MKM in the large: modular representation and scalable software architecture (2010) ioport
  14. Kohlhase, Michael; Rabe, Florian; Zholudev, Vyacheslav: Towards MKM in the large: modular representation and scalable software architecture (2010)
  15. Giceva, Jana; Lange, Christoph; Rabe, Florian: Integrating web services into active mathematical documents (2009)
  16. Lange, Christoph; Kohlhase, Michael: A mathematical approach to ontology authoring and documentation (2009)


Further publications can be found at: http://tntbase.org/wiki/pubs