The tasks of interactive processing of search queries in the set theory formalization

In the paper description in the set theory of main mechanisms of query processing is fullfiled. Focusing and widening of fullnes are described as query processing. The methods are used in the project of Intelligent Search Engine. Newness of the approach consists that there is the first systematization of interactive methods of word sense disambiguation in man-machine complex “user-search engine”. Engineer realization of the methods was done in SQL. This results can be used in the search modules of documents workflow systems of ERP, in bibliotic systems, in network Internet.