О локальности информационных систем

Рассматриваются бинарные матрицы, которые однозначно строятся по булевским формулам, представляющим информационные модели. Исследуемым в работе свойством матриц является их так называемая локальность. Содержательно ее можно проиллюстрировать на примере анафорических ссылок, когда ссылки разрешены только в пределах ограниченного отрезка текста. Показывается, что установление выполнимости локальных матриц осуществляется за полином шагов. С другой стороны, приводится класс нелокальных матриц, которые представляют весьма сложные с содержательной точки зрения информационные модели.