Принимая во внимание, что некоторые высказывания проблемной области
или, более точно, некоторые необходимые высказывания несут информацию о
самих высказываниях и поэтому переводятся в предикаты о лингвистических
объектах и экземпляры бинарных отношений, мы должны выразить их в
статических и динамических ограничениях (на уровне типов). Так как
существование этих высказываний, возможно, повлияло на форму проблемной
области,такиеограничениятакжебудутвоздействоватьнапроцесс
моделирования;
е) ограничения - статические и динамические.
Все операторы, с точки зрения концептуальной схемы, действуют на уровне
"реализации" или "экземпляра". Аксиомой, вводимой для того, чтобы эти
операторы имели смысл, является следующее утверждение:
-вкаждомсостоянииинформационнойбазыкаждыйэкземпляр
лингвистического объектадолженбытьреализацией какого-либотипа
лингвистического объекта, каждый экземпляр бинарного отношения является
реализациейнекоторого типабинарного отношения, идля каждого
лингвистического объекта существует способ уникальной ссылки на него
посредством одного или нескольких лексических объектов.
Операторами, определенными для этого примера подходов на основе
бинарных отношений, являются:
ж) операторы:
1) list (вывести) (...экземпляр бинарного отношения),
2) add (добавить) (...экземпляр бинарного отношения),
3) delete (удалить) (...экземпляр бинарного отношения),
4) qualify (квалифицировать) (...лингвистический объект, как относящийся к
некоторому подтипу),
5) unqualify (деквалифицировать) (...лингвистический объект из подтипа),
6)equate(приравнять)(...идентифицировать,чтодваразличных
лингвистических объекта означают или ссылаются на один и тот же объект),
7) together do (совместно выполнить) (...выполнять последовательность
операторов, но принимать решение о ее допустимости на основе всей
последовательности в целом).
Семантикуэтихэлементарныхоператоровможнонепосредственно
интерпретировать в терминах "выборка", "вставка", "удаление" и "допустимое
действие". Те же или подобные им операторы существуют в большинстве
подходов. Но операторы qualify, unqualify и equate типичны именно для нашего
примера подходов на основе бинарных отношений. Операторы qualify и unqualify
появляются в связи с понятием подтипов.
Оператор qualify принимает ссылку на лингвистический объект и преобразует