Polyakov S. The compositional semantics of the SQL

The dissertation is devoted to the specialized program algebra development. The carrier of the program algebra are functions and compositions are used as signature operations. It defines the set of the semantic functions of the SQL language based on the language structure and take into account such SQL features as tables based on bugs, undefined values and three-valued logic. The received results are used for SQL language semantics elaboration, multisets(bugs) in developing the series of lectures which are given at Taras Shevchenko National University of Kyiv, Negin government university and Kyrovograd government university; for clarifying the complex queries in the relation data bases.