Разработка метода бинарной декомпозиции функциональных предикатов
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 320, № 5 : Управление, вычислительная техника и информатика.— 2012.— [С. 5-11] |
|---|---|
| Main Author: | |
| Summary: | Заглавие с титульного листа Электронная версия печатной публикации Проведен анализ единственного обоснованного метода бинарной декомпозиции конечных предикатов - метода декартовой декомпозиции. Впервые разработан и обоснован частный метод бинарной декомпозиции для функциональных предикатов, основанный на анализе зависимостей, при этом количество значений вспомогательной переменной сведено к минимуму. На основе предложенного метода создан алгоритм бинарной декомпозиции функциональных предикатов. |
| Language: | Russian |
| Published: |
2012
|
| Series: | Управление, вычислительная техника и информатика |
| Subjects: | |
| Online Access: | http://earchive.tpu.ru/bitstream/11683/4234/1/bulletin_tpu-2012-320-5-01.pdf |
| Format: | Electronic Book Chapter |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=220530 |