В докладе будет представлен ряд результатов в области применения методов алгебры и логики к задачам проектирования распределенных информационных систем. Результаты получены докладчиком в 2006 г.