Сравнение областей истинности запросов к реляционной базе данных

Аннотация

В данной статье предлагается описание подходов и алгоритмов аналитического сравнения пользовательских запросов к реляционной базе данных. Такое сравнение имеет целью установление возможности частичного или полного использования закэшированных на компьютере пользователя запросов к СУБД. В случае, если результат выполнения пользовательского запроса полностью содержится в кэше, то данные можно взять оттуда, минуя запрос к удаленному серверу. предложенный метод также может быть использован для определения недостающих в кэше данных и последующего запроса только на эти данные. Для этого также используются аналитические вычисления, что экономит сетевой трафик и время на выполнение запросов и является принципиальным отличием данной технологии от существующих аналогов. Алгоритмы сравнения запросов основаны на применении аппарата логики предикатов, где в качестве формул выступают логические ограничения SQL, а предикатами служат операции SQL.