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