Аннотация:
Рассматриваются формализованные модели и методы повышения сохранности информации в системах баз данных, использующих механизмы системной журнализации. Ставятся и решаются задачи оптимизации дампирования и восстановления баз данных по экономическим показателям; приводятся примеры, иллюстрирующие практическое использование разработанных формальных методов.