Классика баз данных - статьи
Системы, заслуживающие доверия
"Очень важно обеспечивать корректность результатов запросов и вычислений над большими объемами данных, в особенности во встроенных, например, медицинских приложениях. Для подтверждения корректности может оказаться полезной технология логического вывода, например, методы доказательства теорем или верификации моделей." Это другая сторона той же проблемы. При том, что система может решать, какую точность ответов на запросы можно и нужно предоставлять разным категориям пользователей и приложений, необходимо научиться доказывать, что соответствующее качество данных является достаточным в каждом конкретном случае. И здесь мне видится близость с проблемой, отмеченной в п. , о качестве интегрированных данных, достаточном для целей оперативного анализа.
