|
Действия ...
Новые сообщения [новые:0]
Дайджест
Горячие темы
Избранное [новые:0]
Форумы
Пользователи
Статистика
Статистика нагрузки
Мод. лог
Поиск
|
|
03.11.2003, 09:02
|
|||
|---|---|---|---|
Задача на предикаты |
|||
|
#18+
Как для некоторой таблицы доказать , что множество записей доставляемое одним логическим выражением над полями некоторой таблицы, является подмножеством записей , доставляемых другим лог выражением над полями той же таблицы ? (Разумеется , не производя и не сравнивая выборки ) ... |
|||
|
:
Нравится:
Не нравится:
|
|||
|
|
|
03.11.2003, 09:23
|
|||
|---|---|---|---|
Задача на предикаты |
|||
|
#18+
Наверное, проще всего подкладывать этим логическим выражениям специальную табличку с записями, каждая из которых будет удовлетворять тому или иному набору условий. И по результатам отбора записей из этой небольшой таблички отвечать на твой вопрос. Не проводить же, в самом деле, синтаксический анализ строк условий... ... |
|||
|
:
Нравится:
Не нравится:
|
|||
|
|
|
03.11.2003, 10:14
|
|||
|---|---|---|---|
Задача на предикаты |
|||
|
#18+
ИМХО это сделать в общем случае нельзя, если не известно, что за информация в полях таблицы. Вообще, аксесс не приспособлен для доказательства логических теорем. Так что делай выборки и сравнивай. Вся мощь технического прогресса максимально облегчила тебе решение задачи методом перебора. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
|
|
|
start [/forum/topic.php?fid=45&mobile=1&tid=1678506]: |
0ms |
get settings: |
7ms |
get forum list: |
11ms |
check forum access: |
2ms |
check topic access: |
2ms |
track hit: |
55ms |
get topic data: |
9ms |
get forum data: |
2ms |
get page messages: |
40ms |
get tp. blocked users: |
1ms |
| others: | 223ms |
| total: | 352ms |
| 0 / 0 |
