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