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