Describir: Integrácia simulátora Witness s databázovým systémom