Database abstractions together with a transactional JSON database implementing them