Доказать ,что множество записей на котором определен и истиннен один предикат является подмножеством записей на котором определен и истиннен другой предикат для некоторой таблицы

Как построить алгоритм, доказывающий ,что множество записей доставляемое одним логическим выражением над полями некоторой таблицы,
является подмножеством записей , доставляемым другим лог выражением над полями той же таблицы.

2 YuriAM >
Ну а теперь нужно , чтобы этот анализ сделал парсер, не производя выборок - суть как раз в том, чтобы не тратить время на выборку.

Вообще в прикладном плане задача следующая -
в некоторой таблице T1 периодически пользователями обновляется из ее некоторой копии T1_1 ( копия меняется со временем) некоторое подмножество записей , определяемое заданным пользователем условием .

Нужно , чтобы при очередном обновлении был произведен анализ - попадает ли подмножество, вырезаемое новым условием в то множество записей, которое уже было обновлено при предыдущем обновлении. И если попадает, то - отказаться от обновления , не тратить на него время.