{"id":272335,"date":"2016-01-18T12:33:02","date_gmt":"2016-01-18T09:33:02","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=272335"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=272335","title":{"rendered":"\u0417\u0430\u043c\u0435\u0442\u043a\u0438 \u043e SQL \u0438 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u0435"},"content":{"rendered":"<p>       <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/0db\/fb4\/d0d\/0dbfb4d0d4dd40fa9d12e9287e2cdc9a.png\"\/><\/p>\n<p>  \u041d\u0430 \u0425\u0430\u0431\u0440\u0435 \u0438 \u0437\u0430 \u0435\u0433\u043e \u043f\u0440\u0435\u0434\u0435\u043b\u0430\u043c\u0438 \u0447\u0430\u0441\u0442\u043e <a href=\"http:\/\/habrahabr.ru\/post\/145381\/\">\u043e\u0431\u0441\u0443\u0436\u0434\u0430\u044e\u0442<\/a> \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u0443\u044e \u0430\u043b\u0433\u0435\u0431\u0440\u0443 \u0438 SQL, \u043d\u043e \u0434\u0430\u043b\u0435\u043a\u043e \u043d\u0435 \u0442\u0430\u043a \u0447\u0430\u0441\u0442\u043e \u0430\u043a\u0446\u0435\u043d\u0442\u0438\u0440\u0443\u044e\u0442 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435 \u043d\u0430 \u0441\u0432\u044f\u0437\u0438 \u043c\u0435\u0436\u0434\u0443 \u044d\u0442\u0438\u043c\u0438 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u0430\u043c\u0438. \u0412 \u0434\u0430\u043d\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u043c\u044b \u043e\u0442\u043f\u0440\u0430\u0432\u0438\u043c\u0441\u044f \u043a \u0441\u0430\u043c\u044b\u043c \u043a\u043e\u0440\u043d\u044f\u043c \u0442\u0435\u043e\u0440\u0438\u0438 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432: \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u043c\u0443 \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044e, \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u0435 \u0438 \u044f\u0437\u044b\u043a\u0443 SQL. \u041c\u044b \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u0438\u0445 \u043d\u0430 \u043f\u0440\u043e\u0441\u0442\u044b\u0445 \u043f\u0440\u0438\u043c\u0435\u0440\u0430\u0445, \u0430 \u0442\u0430\u043a\u0436\u0435 \u0443\u0432\u0438\u0434\u0438\u043c, \u0447\u0442\u043e \u0431\u044b\u0432\u0430\u0435\u0442 \u043f\u043e\u043b\u0435\u0437\u043d\u043e \u043f\u0435\u0440\u0435\u043a\u043b\u044e\u0447\u0430\u0442\u044c\u0441\u044f \u043c\u0435\u0436\u0434\u0443 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u0430\u043c\u0438 \u0434\u043b\u044f \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u0438 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432. <\/p>\n<p>  \u0417\u0430\u0447\u0435\u043c \u044d\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043d\u0443\u0436\u043d\u043e \u0441\u0435\u0433\u043e\u0434\u043d\u044f? \u041d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0441\u0442\u0430\u043c \u043f\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0443 \u0434\u0430\u043d\u043d\u044b\u0445 \u0438 \u0430\u0434\u043c\u0438\u043d\u0438\u0441\u0442\u0440\u0430\u0442\u043e\u0440\u0430\u043c \u0431\u0430\u0437 \u0434\u0430\u043d\u043d\u044b\u0445 \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441 \u0434\u0430\u043d\u043d\u044b\u043c\u0438, \u0444\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u043c\u0430\u043b\u043e \u043a\u043e\u043c\u0443 \u043d\u0435 \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0447\u0442\u043e-\u0442\u043e \u0438\u0437\u0432\u043b\u0435\u043a\u0430\u0442\u044c \u0438\u0437 (\u043f\u043e\u043b\u0443-)\u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 \u0438\u043b\u0438 \u0442\u0440\u0430\u043d\u0441\u0444\u043e\u0440\u043c\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0443\u0436\u0435 \u0438\u043c\u0435\u044e\u0449\u0438\u0435\u0441\u044f. \u0414\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0438\u043c\u0435\u0442\u044c \u0445\u043e\u0440\u043e\u0448\u0435\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043f\u043e\u0447\u0435\u043c\u0443 \u044f\u0437\u044b\u043a\u0438 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432 \u0443\u0441\u0442\u0440\u043e\u0435\u043d\u044b \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u044b\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u0438 \u043e\u0441\u043e\u0437\u043d\u0430\u043d\u043d\u043e \u0438\u0445 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043d\u0443\u0436\u043d\u043e \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u0442\u044c\u0441\u044f \u0441 \u044f\u0434\u0440\u043e\u043c, \u043b\u0435\u0436\u0430\u0449\u0438\u043c \u0432 \u043e\u0441\u043d\u043e\u0432\u0435. \u041e\u0431 \u044d\u0442\u043e\u043c \u043c\u044b \u0441\u0435\u0433\u043e\u0434\u043d\u044f \u0438 \u043f\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u043c.<\/p>\n<p>  \u0411\u043e\u043b\u044c\u0448\u0443\u044e \u0447\u0430\u0441\u0442\u044c \u0441\u0442\u0430\u0442\u044c\u0438 \u0441\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0442 \u043f\u0440\u0438\u043c\u0435\u0440\u044b \u0441 \u0432\u043a\u0440\u0430\u043f\u043b\u0435\u043d\u0438\u044f\u043c\u0438 \u0442\u0435\u043e\u0440\u0438\u0438. \u0412 \u043a\u043e\u043d\u0446\u0435 \u0440\u0430\u0437\u0434\u0435\u043b\u043e\u0432 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u044b \u0441\u0441\u044b\u043b\u043a\u0438 \u043d\u0430 \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u043c\u0430\u0442\u0435\u0440\u0438\u0430\u043b\u044b, \u0430 \u0434\u043b\u044f \u0437\u0430\u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043e\u0432\u0430\u0432\u0448\u0438\u0445\u0441\u044f \u0438 \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u0430\u044f \u043f\u043e\u0434\u0431\u043e\u0440\u043a\u0430 \u043b\u0438\u0442\u0435\u0440\u0430\u0442\u0443\u0440\u044b \u0438 \u043a\u0443\u0440\u0441\u043e\u0432 \u0432 \u043a\u043e\u043d\u0446\u0435.<\/p>\n<p>  \u0421\u043e\u0434\u0435\u0440\u0436\u0430\u043d\u0438\u0435<\/p>\n<ul>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#relational_algebra\">\u0420\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u0430\u044f \u0430\u043b\u0433\u0435\u0431\u0440\u0430<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#SQL\">SQL<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#relational_calculus\">\u0420\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0435 \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#codd_theorem\">\u0420\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u043e \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u043e\u0432 (\u0442\u0435\u043e\u0440\u0435\u043c\u0430 \u041a\u043e\u0434\u0434\u0430)<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#conjunctive_queries\">Conjunctive Queries (CQ)<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#complexity\">\u0412\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u0430\u044f \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#query_analysis\">\u0421\u0432\u043e\u0439\u0441\u0442\u0432\u0430 \u0438 \u0430\u043d\u0430\u043b\u0438\u0437 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#query_optimization\">\u041f\u0440\u0438\u043c\u0435\u0440 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f RA \u0434\u043b\u044f \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#literature\">\u041b\u0438\u0442\u0435\u0440\u0430\u0442\u0443\u0440\u0430, \u043c\u0430\u0442\u0435\u0440\u0438\u0430\u043b\u044b \u0438 \u0441\u043b\u0430\u0439\u0434\u044b<\/a><\/li>\n<\/ul>\n<p><a name=\"habracut\"><\/a><br \/>  <a name=\"relational_algebra\"><\/a><\/p>\n<h1>\u0420\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u0430\u044f \u0430\u043b\u0433\u0435\u0431\u0440\u0430<\/h1>\n<p>  <\/p>\n<h2>\u041e\u0441\u043d\u043e\u0432\u043d\u044b\u0435 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u044b<\/h2>\n<p>  <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%20A%20\" alt=\"A\"\/> \u2014 \u0441\u0430\u043c\u043e \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 \u0410 (\u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 \u0437\u0434\u0435\u0441\u044c \u0441\u0438\u043d\u043e\u043d\u0438\u043c\u0438\u0447\u043d\u043e \u0441 \u0442\u0430\u0431\u043b\u0438\u0446\u0435\u0439 \u0438 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u043e\u043c) \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435\u043c \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u044b, \u0431\u043e\u043b\u0435\u0435 \u0442\u043e\u0433\u043e, \u0442\u0430\u043a \u043a\u0430\u043a \u044d\u0442\u043e \u0430\u043b\u0433\u0435\u0431\u0440\u0430, \u043b\u044e\u0431\u043e\u0435 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u044b \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 (\u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e \u0437\u0430\u043c\u044b\u043a\u0430\u043d\u0438\u044f \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432)<\/p>\n<h3>Selection (\u0432\u044b\u0431\u043e\u0440\u043a\u0430; \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435)<\/h3>\n<p>  <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%5Csigma_%5Cphi%20(A)%20\" alt=\"\\sigma_\\phi (A)\"\/> \u2014 selection (\u0432\u044b\u0431\u043e\u0440\u043a\u0430; \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435), A \u2014 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 (\u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442, \u0442\u0430\u0431\u043b\u0438\u0446\u0430), <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%5Cphi\" alt=\"\\phi\"\/> \u2013 \u0431\u0443\u043b\u0435\u0432\u0430 \u0444\u043e\u0440\u043c\u0443\u043b\u0430, \u043f\u043e \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u043e\u0442\u0431\u043e\u0440 \u0441\u0442\u0440\u043e\u043a (\u043a\u0430\u0440\u0442\u0435\u0436\u0435\u0439, \u0437\u0430\u043f\u0438\u0441\u0435\u0439, etc)<\/p>\n<p>  Selection \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u043e \u0441\u0443\u0442\u0438 \u0433\u043e\u0440\u0438\u0437\u043e\u043d\u0442\u0430\u043b\u044c\u043d\u044b\u043c \u0444\u0438\u043b\u044c\u0442\u0440\u043e\u043c \u0441\u0442\u0440\u043e\u043a, \u0442.\u0435., \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u0442\u044c, \u0447\u0442\u043e \u043c\u044b \u0438\u0434\u0435\u043c \u043f\u043e \u043a\u0430\u0436\u0434\u043e\u0439 \u0441\u0442\u0440\u043e\u043a\u0435 \u0438 \u043e\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u043c \u0442\u043e\u043b\u044c\u043a\u043e \u0442\u0435, \u0447\u0442\u043e \u0443\u0434\u043e\u0432\u043b\u0435\u0442\u0432\u043e\u0440\u044f\u044e\u0442 \u0443\u0441\u043b\u043e\u0432\u0438\u044e <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%5Cphi\" alt=\"\\phi\"\/>. \u041f\u0440\u043e\u0441\u0442\u043e\u0439 \u043f\u0440\u0438\u043c\u0435\u0440 \u0434\u043b\u044f \u043d\u0430\u0433\u043b\u044f\u0434\u043d\u043e\u0441\u0442\u0438:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/4f9\/9e8\/018\/4f99e8018c184cafb171935cf48b4e54.png\"\/>  <\/p>\n<h3>Projection (\u043f\u0440\u043e\u0435\u043a\u0446\u0438\u044f)<\/h3>\n<p>  <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%5CLarge%20%5Cpi_%7Ba%2Cb%2C%5Cdots%7D(A)\" alt=\"\\Large \\pi_{a,b,\\dots}(A)\"\/> \u2014 projection (\u043f\u0440\u043e\u0435\u043a\u0446\u0438\u044f) \u043d\u0430 \u0430\u0442\u0440\u0438\u0431\u0443\u0442\u044b A, B, \u2026. \u0412\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0442\u0430\u0431\u043b\u0438\u0446\u0443, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u043e\u0441\u0442\u0430\u044e\u0442\u0441\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u043a\u043e\u043b\u043e\u043d\u043a\u0438 (\u0430\u0442\u0440\u0438\u0431\u0443\u0442\u044b) A, B, \u2026. \u041f\u0440\u043e\u0441\u0442\u043e\u0439 \u043f\u0440\u0438\u043c\u0435\u0440 \u043d\u0438\u0436\u0435. \u041f\u043e \u0441\u0443\u0442\u0438 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0444\u0438\u043b\u044c\u0442\u0440\u043e\u043c \u043f\u043e \u0430\u0442\u0440\u0438\u0431\u0443\u0442\u0430\u043c \u0442.\u0435. \u044d\u0442\u043e \u0432 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u043e\u043c \u0441\u043c\u044b\u0441\u043b\u0435 \u0432\u0435\u0440\u0442\u0438\u043a\u0430\u043b\u044c\u043d\u044b\u0439 \u0444\u0438\u043b\u044c\u0442\u0440.<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/d91\/6ba\/35c\/d916ba35c8d9431d9fb727f3a9d8a4fb.png\"\/>  <\/p>\n<h3>\u041f\u0435\u0440\u0435\u0438\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u0438\u0435<\/h3>\n<p>  <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%20%5Crho_%7Ba%2Cb%7D%20(A)%20\" alt=\"\\rho_{a,b} (A)\"\/> \u2014 \u043f\u0435\u0440\u0435\u0438\u043c\u0435\u043d\u043e\u0432\u044b\u0432\u0430\u0435\u0442 \u043a\u043e\u043b\u043e\u043d\u043a\u0443 a \u0432 b \u0432 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0438 A (\u0430\u0442\u0440\u0438\u0431\u0443\u0442, \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u0430, etc); \u0434\u0432\u0430 \u0447\u0430\u044f \u0442\u043e\u043c\u0443 \u0433\u043e\u0441\u043f\u043e\u0434\u0438\u043d\u0443, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u043e\u043a\u0430\u0436\u0435\u0442, \u0447\u0442\u043e \u0430\u043b\u0433\u0435\u0431\u0440\u0430 \u0441\u0442\u0440\u043e\u0433\u043e \u0431\u043e\u043b\u0435\u0435 \u0432\u044b\u0440\u0430\u0437\u0438\u043c\u0430 \u0441 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u043c \u043f\u0435\u0440\u0435\u0438\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u0438\u044f (\u043d\u0443\u0436\u043d\u043e \u043f\u0440\u0438\u0432\u0435\u0441\u0442\u0438 \u043f\u0440\u0438\u043c\u0435\u0440 \u0437\u0430\u043f\u0440\u043e\u0441\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0435 \u0432\u044b\u0440\u0430\u0437\u0438\u043c \u0431\u0435\u0437 \u044d\u0442\u043e\u0433\u043e \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430, \u043d\u043e \u0432\u044b\u0440\u0430\u0437\u0438\u043c \u0441 <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%5Crho\" alt=\"\\rho\"\/>)<\/p>\n<h3>\u0414\u0435\u043a\u0430\u0440\u0442\u043e\u0432\u043e \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u043d\u0438\u0435<\/h3>\n<p>  <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%20A%20%5Ctimes%20B%20\" alt=\"A \\times B\"\/> \u2014 \u0414\u0435\u043a\u0430\u0440\u0442\u043e\u0432\u043e \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u0434\u0432\u0443\u0445 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0439, \u0431\u043e\u043b\u044c\u0448\u043e\u0435 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 \u0438\u0437 \u0432\u0441\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u0445 \u0441\u043e\u0447\u0435\u0442\u0430\u043d\u0438\u0439 \u0441\u0442\u0440\u043e\u043a \u0432 A \u0438 B.<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/9a6\/78d\/1c8\/9a678d1c87c7494682ce243cdd4708c1.png\"\/>  <\/p>\n<h2>\u041e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u043d\u0430\u0434 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430\u043c\u0438<\/h2>\n<p>  \u0420\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u0430\u044f \u0430\u043b\u0433\u0435\u0431\u0440\u0430 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0435\u043c \u043a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043d\u0430\u0431\u043e\u0440\u0430 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432 \u043d\u0430\u0434 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430\u043c\u0438 (\u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 \u2014 \u044d\u0442\u043e \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0443\u043f\u043e\u0440\u044f\u0434\u043e\u0447\u0435\u043d\u043d\u044b\u0445 \u043a\u0430\u0440\u0442\u0435\u0436\u0435\u0439; \u0437\u0430\u043c\u0435\u0442\u044c\u0442\u0435, \u0447\u0442\u043e \u044d\u0442\u043e \u0441\u043e\u0432\u0441\u0435\u043c \u043d\u0435 \u0440\u0430\u0432\u043d\u043e \u0443\u043f\u043e\u0440\u044f\u0434\u043e\u0447\u0435\u043d\u043d\u043e\u043c\u0443 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0443 \u043a\u0430\u0440\u0442\u0435\u0436\u0435\u0439). \u041f\u0443\u0441\u0442\u044c \u0443 \u043d\u0430\u0441 \u0435\u0441\u0442\u044c \u0442\u0430\u0431\u043b\u0438\u0446\u0430 StudentMark(Name, Mark, Subject, Date) \u2013 \u0442\u043e\u0433\u0434\u0430 \u043a\u0430\u0440\u0442\u0435\u0436 (\u0412\u0430\u0441\u044f, 5, \u0418\u043d\u0444\u043e\u0440\u043c\u0430\u0442\u0438\u043a\u0430, 05.10.2010) \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0443\u043f\u043e\u0440\u044f\u0434\u043e\u0447\u0435\u043d\u043d\u044b\u043c \u2013 \u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u0441\u0442\u0440\u043e\u043a\u0430 Name \u043d\u0430 \u043f\u0435\u0440\u0432\u043e\u0439 (\u043e\u043a, \u0438\u043b\u0438 \u043d\u0443\u043b\u0435\u0432\u043e\u0439) \u043f\u043e\u0437\u0438\u0446\u0438\u0438, \u0446\u0435\u043b\u043e\u0435 \u0447\u0438\u0441\u043b\u043e \u043d\u0430 \u0432\u0442\u043e\u0440\u043e\u0439, \u0441\u0442\u0440\u043e\u043a\u0430 \u043d\u0430 \u0442\u0440\u0435\u0442\u044c\u0435\u0439 \u0438 \u0434\u0430\u0442\u0430 \u043d\u0430 \u0447\u0435\u0442\u0432\u0435\u0440\u0442\u043e\u0439. \u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u0441\u0430\u043c\u0438 \u0443\u043f\u043e\u0440\u044f\u0434\u043e\u0447\u0435\u043d\u043d\u044b\u0435 \u043a\u0430\u0440\u0442\u0435\u0436\u0438 (Name, Mark, Subject, Date) \u043d\u0435 \u0443\u043f\u043e\u0440\u044f\u0434\u043e\u0447\u0435\u043d\u044b \u00ab\u0432\u043d\u0443\u0442\u0440\u0438\u00bb \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f.<\/p>\n<h3>\u041e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0435<\/h3>\n<p>  <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%20A%20%5Ccup%20B%20\" alt=\"A \\cup B\"\/> \u2014 \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0435 \u0432\u0441\u0435\u0445 \u0441\u0442\u0440\u043e\u043a \u0432 A \u0438 B, \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435 \u2014 \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u044b\u0435 \u0430\u0442\u0442\u0440\u0438\u0431\u0443\u0442\u044b<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/34a\/254\/9c8\/34a2549c89254575944aaa05eb9c030a.png\"\/>  <\/p>\n<h3>\u041f\u0435\u0440\u0435\u0441\u0435\u0447\u0435\u043d\u0438\u0435<\/h3>\n<p>  <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%20A%20%5Ccap%20B%20\" alt=\"A \\cap B\"\/> \u2014 \u043f\u0435\u0440\u0435\u0441\u0435\u0447\u0435\u043d\u0438\u0435 \u0441\u0442\u0440\u043e\u043a, \u0442\u0430\u043a\u043e\u0435 \u0436\u0435 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/6ef\/d4b\/c8d\/6efd4bc8d842455ab0ca7cebe8fd3449.png\"\/>  <\/p>\n<h3>\u0420\u0430\u0437\u043d\u0438\u0446\u0430 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432<\/h3>\n<p>  <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%20B%20%5Cbackslash%20A%20\" alt=\"B \\backslash A\"\/> \u2014 B \u043c\u0438\u043d\u0443\u0441 A, \u0432\u0441\u0435 \u0441\u0442\u0440\u043e\u043a\u0438, \u0447\u0442\u043e \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044e\u0442 \u0432 B, \u043d\u043e \u043d\u0435 \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044e\u0442 \u0432 A, \u0442\u0430\u043a\u043e\u0435 \u0436\u0435 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/dd3\/e1b\/310\/dd3e1b3106be4e3194474712022b1056.png\"\/><br \/>  (B\\A; A \u2014 \u0441\u043b\u0435\u0432\u0430, B \u2014 \u0441\u043f\u0440\u0430\u0432\u0430)<\/p>\n<h3>\u0412\u0441\u043f\u043e\u043c\u043e\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u044b<\/h3>\n<p>  <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%20A%20%5Cbowtie_%7B%5Cphi%7D%20B%20%5Cequiv%20%5Csigma_%7B%5Cphi%7D%20(A%20%5Ctimes%20B)\" alt=\"A \\bowtie_{\\phi} B \\equiv \\sigma_{\\phi} (A \\times B)\"\/> \u2014 join (\u0441\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0435); join \u0441\u043e\u0435\u0434\u0438\u043d\u044f\u0435\u0442 \u0434\u0432\u0435 \u0437\u0430\u043f\u0438\u0441\u0438 \u0442\u0430\u0431\u043b\u0438\u0446 A \u0438 B, \u043f\u0440\u0438 \u0443\u0441\u043b\u043e\u0432\u0438\u0438, \u0447\u0442\u043e \u0434\u043b\u044f \u044d\u0442\u0438\u0445 \u0434\u0432\u0443\u0445 \u0437\u0430\u043f\u0438\u0441\u0435\u0439 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u043e \u0443\u0441\u043b\u043e\u0432\u0438\u0435 \u03c6.<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/777\/5aa\/87a\/7775aa87a0ac42b8ad31bfaf72ac8649.png\"\/>  <\/p>\n<h2>\u0417\u0430\u0434\u0430\u0447\u0438 \u0434\u043b\u044f \u0440\u0430\u0437\u043e\u0433\u0440\u0435\u0432\u0430<\/h2>\n<p>  \u041c\u044b \u0431\u0443\u0434\u0435\u043c \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441\u043e \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u0441\u0445\u0435\u043c\u043e\u0439<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/55c\/0e6\/6f2\/55c0e66f22a245ddba7357c52147f28d.png\"\/><br \/>  (\u0421\u0445\u0435\u043c\u0430 \u0432\u0437\u044f\u0442\u0430 \u0438\u0437 \u043a\u043d\u0438\u0433\u0438: Elmasri, Navathe \u2013 Fundamentals of Database systems; \u043d\u0430 \u0432\u0441\u044f\u043a\u0438\u0439: \u043a\u0440\u0430\u0439\u043d\u0435 \u041d\u0415 \u0440\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u044e \u043a\u043d\u0438\u0433\u0443; \u0441\u043c \u043f\u043e\u0434\u0431\u043e\u0440\u043a\u0443 \u0432 \u043a\u043e\u043d\u0446\u0435)<\/p>\n<p>  \u0414\u0430\u043b\u0435\u0435 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u043e\u0441\u0442\u044b\u0445 \u0437\u0430\u0434\u0430\u0447 \u043d\u0430 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u0443\u044e \u0430\u043b\u0433\u0435\u0431\u0440\u0443.<\/p>\n<p>  <strong>\u0417\u0430\u0434\u0430\u0447\u0430 \u043f\u0435\u0440\u0432\u0430\u044f.<\/strong> <em>\u0412\u044b\u0432\u0435\u0441\u0442\u0438 \u0438\u043c\u0435\u043d\u0430 \u0432\u0441\u0435\u0445 \u0440\u0430\u0431\u043e\u0442\u043d\u0438\u043a\u043e\u0432 5\u0433\u043e \u0434\u0435\u043f\u0430\u0440\u0442\u0430\u043c\u0435\u043d\u0442\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u0431\u043e\u043b\u0435\u0435 10 \u0447\u0430\u0441\u043e\u0432 \u0432 \u043d\u0435\u0434\u0435\u043b\u044e \u043d\u0430\u0434 \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u043c \u0425.<\/em><\/p>\n<p>  (\u041f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u043c\u043e\u0436\u043d\u043e \u00ab\u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0442\u044c\u00bb \u0432 \u043d\u043e\u0432\u044b\u0445 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f\u0445, \u043d\u043e \u044d\u0442\u043e \u043d\u0435 \u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u043e.)  <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u0420\u0435\u0448\u0435\u043d\u0438\u0435 \u043f\u0435\u0440\u0432\u043e\u0439 \u0437\u0430\u0434\u0430\u0447\u0438. \u0420\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u0430\u044f \u0430\u043b\u0433\u0435\u0431\u0440\u0430<\/b><\/p>\n<div class=\"spoiler_text\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/567\/8bb\/0a8\/5678bb0a811b432db8311811a5cb9295.png\"\/>  <\/div>\n<\/div>\n<p>  <strong>\u0417\u0430\u0434\u0430\u0447\u0430 \u0432\u0442\u043e\u0440\u0430\u044f.<\/strong> <em>\u0412\u044b\u0432\u0435\u0441\u0442\u0438 \u0438\u043c\u0435\u043d\u0430 \u0432\u0441\u0435\u0445 \u0440\u0430\u0431\u043e\u0442\u043d\u0438\u043a\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u043c\u0438 \u043d\u0430\u043f\u0440\u044f\u043c\u0443\u044e \u0440\u0443\u043a\u043e\u0432\u043e\u0434\u0438\u0442 \u0424\u0440\u0430\u043d\u043a\u043b\u0438\u043d \u0412\u043e\u043d\u0433<\/em> (\u0438 \u043d\u0430\u0439\u0442\u0438 \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u0443\u044e \u043e\u0448\u0438\u0431\u043a\u0443 \u0432 \u0440\u0435\u0448\u0435\u043d\u0438\u0438 \u043d\u0438\u0436\u0435)  <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u0420\u0435\u0448\u0435\u043d\u0438\u0435 \u0432\u0442\u043e\u0440\u043e\u0439 \u0437\u0430\u0434\u0430\u0447\u0438. \u0420\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u0430\u044f \u0430\u043b\u0433\u0435\u0431\u0440\u0430<\/b><\/p>\n<div class=\"spoiler_text\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/c80\/811\/fd5\/c80811fd576b43ef92f9c4607051c0c7.png\"\/><\/div>\n<\/div>\n<p>  <strong>\u0417\u0430\u0434\u0430\u0447\u0430 \u0442\u0440\u0435\u0442\u044c\u044f<\/strong> \u043f\u043e\u0442\u0440\u0435\u0431\u0443\u0435\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u043d\u043e\u0432\u043e\u0433\u043e \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u2014 \u00ab\u0430\u0433\u0440\u0435\u0433\u0430\u0446\u0438\u044f\u00bb. \u0420\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0435\u0433\u043e \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435:<\/p>\n<p>  \u0414\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u043f\u0440\u043e\u0435\u043a\u0442\u0430 \u0432\u044b\u0432\u0435\u0441\u0442\u0438 \u043d\u0430\u0437\u0432\u0430\u043d\u0438\u0435 \u0438 \u043e\u0431\u0449\u0435\u0435 \u0447\u0438\u0441\u043b\u043e \u0447\u0430\u0441\u043e\u0432 \u0432 \u043d\u0435\u0434\u0435\u043b\u044e, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0432\u0441\u0435 \u0440\u0430\u0431\u043e\u0442\u043d\u0438\u043a\u0438 \u0442\u0440\u0430\u0442\u044f\u0442 \u043d\u0430 \u044d\u0442\u043e\u0442 \u043f\u0440\u043e\u0435\u043a\u0442.  <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u0420\u0435\u0448\u0435\u043d\u0438\u0435 \u0442\u0440\u0435\u0442\u044c\u0435\u0439 \u0437\u0430\u0434\u0430\u0447\u0438. \u0420\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u0430\u044f \u0430\u043b\u0433\u0435\u0431\u0440\u0430<\/b><\/p>\n<div class=\"spoiler_text\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/1d9\/9b5\/f6b\/1d99b5f6b2c342b594f777f6c8ac3c84.png\"\/>  <\/div>\n<\/div>\n<p>  \u0417\u0430\u043c\u0435\u0442\u0438\u043c, \u0447\u0442\u043e \u0437\u0430\u043f\u0440\u043e\u0441 \u0438\u043c\u0435\u0435\u0442 \u0432\u0438\u0434 a F  b (A), \u0433\u0434\u0435 a, b \u2014 \u043a\u043e\u043b\u043e\u043d\u043a\u0438, A \u2014 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435, \u0430  \u2013 \u0430\u0433\u0440\u0435\u0433\u0430\u0446\u0438\u043e\u043d\u043d\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, SUM, MIN, MAX, COUNT, etc). \u0427\u0438\u0442\u0430\u0435\u0442\u0441\u044f \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c: \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0432 \u043a\u043e\u043b\u043e\u043d\u043a\u0435 \u0430, \u043f\u043e\u0441\u0447\u0438\u0442\u0430\u0439  b. \u0422\u043e \u0435\u0441\u0442\u044c \u043e\u0434\u043d\u043e\u043c\u0443 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e \u0432 \u043a\u043e\u043b\u043e\u043d\u043a\u0435 a \u043c\u043e\u0436\u0435\u0442 \u0441\u043e\u043e\u0442\u0432\u0435\u0441\u0442\u043e\u0432\u0430\u0442\u044c \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0441\u0442\u0440\u043e\u043a, \u043f\u043e\u043c\u0435\u0441\u0442\u0438\u043c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043a\u043e\u043b\u043e\u043d\u043a\u0438 b \u0438\u0437 \u044d\u0442\u043e\u0433\u043e \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430 \u0441\u0442\u0440\u043e\u043a \u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u044e  \u0438 \u0441\u043e\u0437\u0434\u0430\u0434\u0438\u043c \u043d\u043e\u0432\u044b\u0439 \u0430\u0442\u0440\u0438\u0431\u0443\u0442 fun_b \u0441 \u0441\u043e\u043e\u0442\u0432\u0435\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u043c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c.<\/p>\n<p>  \u0414\u0430\u043d\u043d\u044b\u0439 \u0437\u0430\u043f\u0440\u043e\u0441 \u043d\u0435 \u0432\u044b\u0440\u0430\u0437\u0438\u043c \u0432 \u00ab\u043a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0439\u00bb \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u0435 (\u0431\u0435\u0437 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u0430\u0433\u0440\u0435\u0433\u0430\u0446\u0438\u0438 F). \u0422\u043e \u0435\u0441\u0442\u044c, \u043d\u0435\u043b\u044c\u0437\u044f \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0439 \u0437\u0430\u043f\u0440\u043e\u0441, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0431\u044b \u0434\u043b\u044f \u043b\u044e\u0431\u043e\u0439 \u0431\u0430\u0437\u044b \u0434\u0430\u043d\u043d\u044b\u0445, \u0443\u0434\u043e\u0432\u043b\u0435\u0442\u0432\u043e\u0440\u044f\u044e\u0449\u0435\u0439 \u0441\u0445\u0435\u043c\u0435, \u0432\u044b\u0434\u0430\u0432\u0430\u043b \u0431\u044b \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0439 \u043e\u0442\u0432\u0435\u0442.<\/p>\n<p>  \u041e\u0442\u043a\u0443\u0434\u0430 \u0432 \u0442\u043e\u0447\u043d\u043e\u0441\u0442\u0438 \u0441\u043b\u0435\u0434\u0443\u0435\u0442 \u0434\u0430\u043d\u043d\u044b\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043c\u044b \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u043f\u043e\u0437\u0434\u043d\u0435\u0435, \u0441\u0435\u0439\u0447\u0430\u0441 \u043c\u043e\u0436\u043d\u043e \u043b\u0438\u0448\u044c \u043e\u0442\u043c\u0435\u0442\u0438\u0442\u044c, \u0447\u0442\u043e \u0437\u0430\u043f\u0440\u043e\u0441\u044b \u0441 \u0430\u0433\u0440\u0435\u0433\u0430\u0446\u0438\u0435\u0439 \u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u0430\u0442 \u0431\u043e\u043b\u0435\u0435 \u0432\u044b\u0441\u043e\u043a\u043e\u043c\u0443 \u043a\u043b\u0430\u0441\u0441\u0443 \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0439 \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u0438.<\/p>\n<p>  \u041c\u044b \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0438 \u043f\u0440\u043e\u0430\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u0443\u0435\u043c \u0431\u043e\u043b\u0435\u0435 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b\u0435 \u043f\u0440\u0438\u043c\u0435\u0440\u044b \u0437\u0430\u0434\u0430\u0447 \u0434\u0430\u043b\u0435\u0435 \u0432 \u0441\u0442\u0430\u0442\u044c\u0435. \u0422\u0430\u043c \u0436\u0435 \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u0430\u044f \u043f\u043e\u0434\u0431\u043e\u0440\u043a\u0430 \u0437\u0430\u0434\u0430\u0447 \u043d\u0430 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u0443\u044e \u0430\u043b\u0433\u0435\u0431\u0440\u0443 \u0441 \u0440\u0435\u0448\u0435\u043d\u0438\u044f\u043c\u0438 \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u0430 <a href=\"https:\/\/dl.dropboxusercontent.com\/u\/12373089\/Paramonov_Relational_Algebra.pdf\">\u0437\u0434\u0435\u0441\u044c<\/a><\/p>\n<p>  <a name=\"SQL\"><\/a><\/p>\n<h1>SQL<\/h1>\n<p>  \u0412 \u0434\u0430\u043d\u043d\u043e\u0439 \u0447\u0430\u0441\u0442\u0438 \u043c\u044b \u043f\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u043c \u043e SQL (Structured Query Language) \u0438 \u043f\u043e\u043a\u0430\u0436\u0435\u043c, \u043a\u0430\u043a SQL \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u0435 \u043d\u0430 \u043f\u0440\u043e\u0441\u0442\u044b\u0445 \u043f\u0440\u0438\u043c\u0435\u0440\u0430\u0445.<\/p>\n<p>  \u0420\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0441\u0430\u043c\u0443\u044e \u043f\u0435\u0440\u0432\u0443\u044e \u0437\u0430\u0434\u0430\u0447\u0443 \u0435\u0449\u0435 \u0440\u0430\u0437:<\/p>\n<p>  <strong>\u0417\u0430\u0434\u0430\u0447\u0430 \u043f\u0435\u0440\u0432\u0430\u044f.<\/strong> <em>\u0412\u044b\u0432\u0435\u0441\u0442\u0438 \u0438\u043c\u0435\u043d\u0430 \u0432\u0441\u0435\u0445 \u0440\u0430\u0431\u043e\u0442\u043d\u0438\u043a\u043e\u0432 5\u0433\u043e \u0434\u0435\u043f\u0430\u0440\u0442\u0430\u043c\u0435\u043d\u0442\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u0431\u043e\u043b\u0435\u0435 10 \u0447\u0430\u0441\u043e\u0432 \u0432 \u043d\u0435\u0434\u0435\u043b\u044e \u043d\u0430\u0434 \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u043c \u0425.<\/em><\/p>\n<p>  \u041a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c:  <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u041a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435.<\/b><\/p>\n<div class=\"spoiler_text\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/a04\/f33\/a76\/a04f33a761294505afe22a05e99107cf.png\"\/>  <\/div>\n<\/div>\n<p>  \u0410\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u043d\u043e \u043c\u043e\u0436\u043d\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0432\u043e\u0442 \u0442\u0430\u043a:  <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u041d\u0435\u043c\u043d\u043e\u0433\u043e \u0430\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u043d\u043e.<\/b><\/p>\n<div class=\"spoiler_text\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/934\/32c\/dbd\/93432cdbd80c45dc95dc0d61912807bf.png\"\/>  <\/div>\n<\/div>\n<p>  \u0418\u043b\u0438 \u0441\u043e\u0432\u0441\u0435\u043c \u0430\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u043d\u043e:  <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u0421 \u043f\u043e\u0434\u0437\u0430\u043f\u0440\u043e\u0441\u043e\u043c<\/b><\/p>\n<div class=\"spoiler_text\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/40c\/982\/7ed\/40c9827ed8ff415fa111f7f3aba9c5df.png\"\/><\/div>\n<\/div>\n<p>  (\u0434\u0430\u043b\u0435\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u043d\u0435 \u0443\u0431\u0440\u0430\u043d\u044b \u043f\u043e\u0434 \u0441\u043f\u043e\u0439\u043b\u0435\u0440\u044b) <\/p>\n<h3> \u041f\u0440\u043e\u0432\u043e\u0434\u0438\u043c \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u044e \u043c\u0435\u0436\u0434\u0443 SQL \u0438 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u043e\u0439<\/h3>\n<p>  \u041d\u0430 \u0432\u0442\u043e\u0440\u043e\u043c \u0440\u0435\u0448\u0435\u043d\u0438\u0438 \u043c\u044b \u0432\u0438\u0434\u0438\u043c \u043e\u0442\u0447\u0435\u0442\u043b\u0438\u0432\u0443\u044e \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u044e c \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u043e\u0439:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/003\/4e6\/a03\/0034e6a034714952bf4b24b53edb9b09.png\"\/><br \/>  \u0422\u0435\u043f\u0435\u0440\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c \u0440\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u043e \u0434\u043b\u044f join \u0438 \u0443\u0432\u0438\u0434\u0438\u043c \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u044e \u043c\u0435\u0436\u0434\u0443 SQL \u0438 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u043e\u0439 \u0432 \u043f\u0435\u0440\u0432\u043e\u043c \u0440\u0435\u0448\u0435\u043d\u0438\u0438<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/d3c\/4e6\/d23\/d3c4e6d23bae4618afd19a5000b5caa3.png\"\/><br \/>  \u041a\u0430\u043a \u0431\u044b \u044d\u0442\u043e \u043d\u0435 \u0431\u044b\u043b\u043e \u0438\u0440\u043e\u043d\u0438\u0447\u043d\u043e, \u043d\u043e SELECT \u0432 SQL \u2014 \u044d\u0442\u043e project (\u03c0; \u043f\u0440\u043e\u0435\u043a\u0446\u0438\u044f) \u0432 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u0435.<\/p>\n<p>  \u0422\u0435\u043f\u0435\u0440\u044c \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0437\u0430\u0434\u0430\u0447\u0443 \u0441 \u0430\u0433\u0440\u0435\u0433\u0430\u0446\u0438\u0435\u0439 \u0438 \u0441\u0440\u0430\u0432\u043d\u0438\u043c \u0435\u0451 \u0441 \u0440\u0435\u0448\u0435\u043d\u0438\u0435\u043c \u043d\u0430 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u0435:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/c13\/71b\/f86\/c1371bf86c494faf80d0cca61fe5c88c.png\"\/><br \/>  \u0411\u043e\u043b\u0435\u0435 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b\u0435 \u0437\u0430\u0434\u0430\u0447\u0438 \u043c\u044b \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0434\u0430\u043b\u0435\u0435 \u0432 \u0441\u0442\u0430\u0442\u044c\u0435 (\u0442\u0430\u043a\u0436\u0435 \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u0430\u044f \u043f\u043e\u0434\u0431\u043e\u0440\u043a\u0430 <a href=\"https:\/\/dl.dropboxusercontent.com\/u\/12373089\/Paramonov_SQL.pdf\">\u0437\u0434\u0435\u0441\u044c<\/a>), \u0430 \u0441\u0435\u0439\u0447\u0430\u0441 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0435\u0449\u0435 \u043e\u0434\u0438\u043d \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432.<\/p>\n<p>  <a name=\"relational_calculus\"><\/a><\/p>\n<h1>\u0420\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0435 \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435<\/h1>\n<p>  \u0412\u043d\u0438\u043c\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044c \u0441\u0435\u0439\u0447\u0430\u0441 \u043c\u043e\u0433 \u0431\u044b \u0432\u043e\u0441\u043a\u043b\u0438\u043a\u043d\u0443\u0442\u044c: \u0434\u043b\u044f \u0447\u0435\u0433\u043e \u043a\u043e\u0437\u0435 \u0431\u0430\u044f\u043d? \u041d\u0430\u043c \u0442\u0443\u0442 \u0447\u0442\u043e \u043d\u0435 \u0445\u0432\u0430\u0442\u0430\u0435\u0442 \u0434\u0432\u0443\u0445 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u043e\u0432 \u0434\u043b\u044f \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432, \u043a \u0447\u0435\u043c\u0443 \u0442\u0440\u0435\u0442\u0438\u0439?<\/p>\n<p>  \u0420\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0435 \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u2014 \u044d\u0442\u043e \u0430\u0434\u0430\u043f\u0442\u0430\u0446\u0438\u044f \u043b\u043e\u0433\u0438\u043a\u0438 \u043f\u0435\u0440\u0432\u043e\u0433\u043e \u043f\u043e\u0440\u044f\u0434\u043a\u0430 (FOL: first order logic) \u0434\u043b\u044f \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432. FOL \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043e\u0434\u043d\u0438\u043c \u0438\u0437 \u0441\u0430\u043c\u044b\u0445 \u0445\u043e\u0440\u043e\u0448\u043e \u0438\u0437\u0443\u0447\u0435\u043d\u043d\u044b\u0445 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u043e\u0432 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0438 \u0438 \u0434\u0430\u0451\u0442 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0443\u0436\u0435 \u0441\u043e\u0437\u0434\u0430\u043d\u043d\u044b\u0439 \u0442\u0435\u043e\u0440\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043f\u043f\u0430\u0440\u0430\u0442 \u0438 \u043a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0434\u043b\u044f \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u0438 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432.<\/p>\n<p>  \u041c\u043d\u043e\u0433\u0438\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0432 \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u0438, (\u043d\u0435)\u0432\u044b\u0440\u0430\u0437\u0438\u043c\u043e\u0441\u0442\u0438 \u0438 \u0444\u043e\u0440\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432 \u043f\u0440\u0438\u0448\u043b\u0438 \u0432 \u0431\u0430\u0437\u044b \u0434\u0430\u043d\u043d\u044b\u0445 \u0438\u0437 \u043b\u043e\u0433\u0438\u043a\u0438, \u0438\u043c\u0435\u043d\u043d\u043e \u0431\u043b\u0430\u0433\u043e\u0434\u0430\u0440\u044f \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u043c\u0443 \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044e, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0438 \u0441\u0442\u043e\u0438\u0442 \u043e\u0437\u043d\u0430\u043a\u043e\u043c\u0438\u0442\u044c\u0441\u044f \u0441 \u0434\u0430\u043d\u043d\u044b\u043c \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u043e\u043c. <\/p>\n<p>  \u0414\u043b\u044f \u0440\u0430\u0437\u0431\u043e\u0440\u0430 \u0438 \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u0430 \u043e \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u043c \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0438 \u043d\u0430\u043c \u043f\u043e\u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f \u043b\u043e\u0433\u0438\u043a\u0430 \u043f\u0435\u0440\u0432\u043e\u0433\u043e \u043f\u043e\u0440\u044f\u0434\u043a\u0430, \u043e\u0441\u0432\u0435\u0436\u0438\u0442\u044c \u0437\u043d\u0430\u043d\u0438\u044f \u043e \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u043c\u043e\u0436\u043d\u043e <a href=\"https:\/\/ddll.inf.tu-dresden.de\/w\/images\/d\/d3\/Fol2015.pdf\">\u0442\u0443\u0442<\/a>.<\/p>\n<p>  \u041f\u0443\u0441\u0442\u044c \u03c6(\u0425) \u2014 \u0444\u043e\u0440\u043c\u0443\u043b\u0430 \u043f\u0435\u0440\u0432\u043e\u0433\u043e \u043f\u043e\u0440\u044f\u0434\u043a\u0430, \u0430 X \u2014 \u044d\u0442\u043e \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u044b\u0435 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435, \u0442.\u0435., \u043e\u043d\u0438 \u043d\u0435 \u043a\u0432\u0430\u043d\u0442\u0438\u0444\u0438\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u044b (\u2200 \u2013 \u043a\u0432\u0430\u043d\u0442\u043e\u0440 \u0432\u0441\u0435\u043e\u0431\u0449\u043d\u043e\u0441\u0442\u0438, \u2203 \u2013 \u043a\u0432\u0430\u043d\u0442\u043e\u0440 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u044f), \u0442\u043e\u0433\u0434\u0430 \u0437\u0430\u043f\u0440\u043e\u0441 \u0432 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u043c \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0438 \u0437\u0430\u0434\u0430\u0435\u0442 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e:<\/p>\n<p>  { X | \u03c6(\u0425) }<\/p>\n<p>  \u0420\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043f\u0440\u043e\u0441\u0442\u044b\u0435 \u043f\u0440\u0438\u043c\u0435\u0440\u044b, \u043d\u0430 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0438 \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c:<\/p>\n<p>  \u041f\u0443\u0441\u0442\u044c R \u2013 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 \u0441 \u0442\u0440\u0435\u043c\u044f \u0430\u0442\u0440\u0438\u0431\u0443\u0442\u0430\u043c\u0438 a,b,c; \u0442\u043e\u0433\u0434\u0430 \u043f\u0435\u0440\u0435\u043f\u0438\u0448\u0435\u043c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0437\u0430\u043f\u0440\u043e\u0441 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u044b:<\/p>\n<p>  <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%20%5Csigma_%7Ba%3Db%7D(R(a%2Cb%2Cc))%20\" alt=\"\\sigma_{a=b}(R(a,b,c))\"\/> \u0432 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u043c \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0438 \u043a\u0430\u043a:<\/p>\n<p>  { r.a, r.b, r.c | R and r.a = r.c }<\/p>\n<p>  \u041f\u0435\u0440\u0435\u0432\u043e\u0434\u044f \u043d\u0430 \u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u044f\u0437\u044b\u043a r \u2014 \u044d\u0442\u043e \u043a\u043e\u0440\u0442\u0435\u0436 \u0432 R (\u0442\u043e \u0435\u0441\u0442\u044c \u0441\u0442\u0440\u043e\u043a\u0430 \u0441 \u0430\u0442\u0440\u0438\u0431\u0443\u0442\u0430\u043c\u0438, \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0447\u0435\u0440\u0435\u0437 \u0442\u043e\u0447\u043a\u0443 \u043f\u043e \u0438\u043c\u0435\u043d\u0438, i.e., r.a \u2014 \u0430\u0442\u0440\u0438\u0431\u0443\u0442 \u0430 \u043a\u043e\u0440\u0442\u0435\u0436\u0430 r (\u0441\u0442\u0440\u043e\u043a\u0438) \u0432 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0438 R (\u0442\u0430\u0431\u043b\u0438\u0446\u0435)). \u041a\u0430\u043a \u043c\u044b \u0432\u0438\u0434\u0438\u043c \u043d\u0438\u043a\u0430\u043a\u0438\u0445 \u043a\u0432\u0430\u043d\u0442\u043e\u0440\u043e\u0432 \u0437\u0434\u0435\u0441\u044c \u043d\u0435\u0442, \u0442\u0430\u043a \u043a\u0430\u043a r \u2014 \u043d\u0430 \u0432\u044b\u0445\u043e\u0434\u0435 \u0437\u0430\u043f\u0440\u043e\u0441\u0430 \u0438 \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u044b\u043c \u043a\u0430\u0440\u0442\u0435\u0436\u0435\u043c.<\/p>\n<p>  \u0420\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0435\u0449\u0435 \u043e\u0434\u0438\u043d \u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u043f\u0440\u0438\u043c\u0435\u0440: R(a,b,c) \u2217 S(c,d,e), \u0433\u0434\u0435 * \u2014 \u044d\u0442\u043e natural join, \u0442.\u0435. join \u043f\u043e \u0438\u043c\u0435\u043d\u0438 \u2013 \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u044f \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u044f \u0431\u0435\u0440\u0443\u0442 \u0430\u0442\u0440\u0438\u0431\u0443\u0442\u044b \u0441 \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u044b\u043c \u0438\u043c\u0435\u043d\u0435\u043c.<\/p>\n<p>  { r.A, r.B, r.C, s.D, s.E | R and S(s) and r.C = s.C}<\/p>\n<p>  \u0415\u0441\u043b\u0438 \u0431\u044b s.D \u0438 S.e \u043d\u0435 \u0431\u044b\u043b\u043e \u0441\u0440\u0435\u0434\u0438 \u0432\u044b\u0445\u043e\u0434\u043d\u044b\u0445 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432, \u0437\u0430\u043f\u0440\u043e\u0441 \u0431\u044b \u0438\u043c\u0435\u043b \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0432\u0438\u0434:<\/p>\n<p>  { r.A, r.B, r.C | R and \u2203s: S(s) and r.C = s.C}<\/p>\n<p>  \u041c\u044b \u0431\u044b\u043b\u0438 \u0431\u044b \u043e\u0431\u044f\u0437\u0430\u043d\u044b \u043f\u043e\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u043a\u0432\u0430\u043d\u0442\u043e\u0440 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u044f, \u0442\u0430\u043a \u043a\u0430\u043a S \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442\u0441\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u0432 \u00ab\u0442\u0435\u043b\u0435\u00bb \u0437\u0430\u043f\u0440\u043e\u0441\u0430.<\/p>\n<p>  \u0421\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u044f \u043f\u043e\u0434\u043e\u0431\u043d\u044b\u0435 \u0437\u0430\u043f\u0440\u043e\u0441\u044b \u0432\u0441\u0435\u0433\u0434\u0430 \u0441\u043b\u0435\u0434\u0443\u0435\u0442 \u0431\u044b\u0442\u044c \u0432\u043d\u0438\u043c\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u043c \u0441 \u043a\u0432\u0430\u043d\u0442\u043e\u0440\u043e\u043c \u0432\u0441\u0435\u043e\u0431\u0449\u043d\u043e\u0441\u0442\u0438, \u0435\u0441\u043b\u0438 \u043c\u044b \u0437\u0430\u043f\u0438\u0448\u0435\u043c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0435 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 (\u0438\u0441\u043a\u043b\u044e\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0438\u043b\u043b\u044e\u0441\u0442\u0440\u0430\u0446\u0438\u0438):<\/p>\n<p>  { r.A | R and \u2200s: S(s) and r.C = s.C and s.E = \u00ab\u0431\u0430\u043d\u0430\u043d\u00bb}<\/p>\n<p>  \u0422\u043e, \u0434\u0430\u043d\u043d\u044b\u0439 \u0437\u0430\u043f\u0440\u043e\u0441 \u0432\u0441\u0435\u0433\u0434\u0430 \u0431\u0443\u0434\u0435\u0442 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0442\u044c \u043f\u0443\u0441\u0442\u043e\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e, \u0442\u0430\u043a \u043a\u0430\u043a \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0443\u0441\u043b\u043e\u0432\u0438\u044f \u0437\u0430\u043f\u0440\u043e\u0441\u0430 \u0431\u044b\u043b\u043e \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u043e \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e, \u0447\u0442\u043e\u0431\u044b \u043a\u0430\u0436\u0434\u044b\u0439 \u043a\u043e\u0440\u0442\u0435\u0436 \u0432 \u043c\u0438\u0440\u0435 \u0434\u043b\u0438\u043d\u044b \u0442\u0440\u0438 \u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u0430\u043b S \u0438 \u0438\u043c\u0435\u043b \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0433\u043e \u0430\u0442\u0440\u0438\u0431\u0443\u0442\u0430 \u00ab\u0431\u0430\u043d\u0430\u043d\u00bb.<\/p>\n<p>  \u041e\u0431\u044b\u0447\u043d\u043e \u0432\u043c\u0435\u0441\u0442\u0435 \u0441 \u043a\u0432\u0430\u043d\u0442\u043e\u0440\u043e\u043c \u0432\u0441\u0435\u043e\u0431\u0449\u043d\u043e\u0441\u0442\u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442 \u0438\u043c\u043f\u043b\u0438\u043a\u0430\u0446\u0438\u044e \u00ab=&gt;\u00bb, \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u0442\u044c \u0437\u0430\u043f\u0440\u043e\u0441 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c:<\/p>\n<p>  { r.A | R and \u2200s: (S(s) and r.C = s.C) =&gt; s.E = \u00ab\u0431\u0430\u043d\u0430\u043d\u00bb}<\/p>\n<p>  \u0415\u0441\u043b\u0438 s \u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u0438\u0442 S \u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f C \u0441\u043e\u0432\u043f\u0430\u0434\u0430\u0435\u0442 \u0441 C \u0432 R, \u0442\u043e\u0433\u0434\u0430 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0439 \u0430\u0442\u0440\u0438\u0431\u0443\u0442 \u0434\u043e\u043b\u0436\u0435\u043d \u0438\u043c\u0435\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u00ab\u0431\u0430\u043d\u0430\u043d\u00bb.<\/p>\n<p>  <a href=\"https:\/\/dl.dropboxusercontent.com\/u\/12373089\/Paramonov_Relational_Calculus.pdf\">\u0417\u0434\u0435\u0441\u044c<\/a> \u043c\u043e\u0436\u043d\u043e \u043d\u0430\u0439\u0442\u0438 \u043a\u0440\u0430\u0442\u043a\u0443\u044e \u043f\u043e\u0434\u0431\u043e\u0440\u043a\u0443 \u0437\u0430\u0434\u0430\u0447 \u043d\u0430 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0435 \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0441 \u0440\u0435\u0448\u0435\u043d\u0438\u044f\u043c\u0438.<\/p>\n<p>  <a name=\"codd_theorem\"><\/a><\/p>\n<h1>\u0420\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u043e \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u043e\u0432 (\u0442\u0435\u043e\u0440\u0435\u043c\u0430 \u041a\u043e\u0434\u0434\u0430)<\/h1>\n<p>  \u0413\u043e\u0432\u043e\u0440\u044f \u043f\u0440\u043e\u0441\u0442\u044b\u043c \u044f\u0437\u044b\u043a\u043e\u043c, \u0442\u0435\u043e\u0440\u0435\u043c\u0430 \u041a\u043e\u0434\u0434\u0430 \u0437\u0432\u0443\u0447\u0438\u0442 \u0442\u0430\u043a: \u0432\u0441\u0435 \u0442\u0440\u0438 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u0430 SQL, \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u0430\u044f \u0430\u043b\u0433\u0435\u0431\u0440\u0430 \u0438 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0435 \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0440\u0430\u0432\u043d\u044b. \u0412\u043e\u0442 <a href=\"http:\/\/www.dbai.tuwien.ac.at\/staff\/pichler\/dbt\/slides\/dbt03.pdf\">\u0442\u0443\u0442<\/a> \u043c\u043d\u043e\u0433\u043e \u0442\u0435\u043e\u0440\u0438\u0438 \u0434\u043b\u044f \u0437\u0430\u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043e\u0432\u0430\u0432\u0448\u0438\u0445\u0441\u044f<\/p>\n<p>  \u0422\u043e \u0435\u0441\u0442\u044c \u043b\u044e\u0431\u043e\u0439 \u0437\u0430\u043f\u0440\u043e\u0441 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u043d\u044b\u0439 \u043d\u0430 \u043e\u0434\u043d\u043e\u043c \u044f\u0437\u044b\u043a\u0435 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u0435\u0440\u0435\u0444\u043e\u0440\u043c\u0443\u043b\u0438\u0440\u043e\u0432\u0430\u043d \u043d\u0430 \u0434\u0440\u0443\u0433\u043e\u043c. \u0414\u0430\u043d\u043d\u044b\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043f\u0440\u0435\u0436\u0434\u0435 \u0432\u0441\u0435\u0433\u043e \u0443\u0434\u043e\u0431\u0435\u043d \u0442\u0435\u043c, \u0447\u0442\u043e \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043d\u0430\u0438\u0431\u043e\u043b\u0435\u0435 \u0443\u0434\u043e\u0431\u043d\u044b\u0439 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c \u0434\u043b\u044f \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u0437\u0430\u043f\u0440\u043e\u0441\u0430, \u0430 \u0432\u043e \u0432\u0442\u043e\u0440\u044b\u0445 \u043e\u043d \u0441\u0432\u044f\u0437\u044b\u0432\u0430\u0435\u0442 \u0434\u0435\u043a\u043b\u0430\u0440\u0430\u0442\u0438\u0432\u043d\u044b\u0435 \u044f\u0437\u044b\u043a\u0438 SQL \u0438 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0435 \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0441 \u0438\u043c\u043f\u0435\u0440\u0430\u0442\u0438\u0432\u043d\u043e\u0439 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u043e\u0439. \u0422\u043e \u0435\u0441\u0442\u044c, \u0442\u0440\u0430\u043d\u0441\u043b\u0438\u0440\u0443\u044f \u0437\u0430\u043f\u0440\u043e\u0441 \u0438\u0437 SQL \u0432 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u0443\u044e \u0430\u043b\u0433\u0435\u0431\u0440\u0443, \u043c\u044b \u0443\u0436\u0435 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0441\u043f\u043e\u0441\u043e\u0431 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u0437\u0430\u043f\u0440\u043e\u0441\u0430 (\u0438 \u0435\u0433\u043e \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438).<\/p>\n<p>  <a name=\"conjunctive_queries\"><\/a><\/p>\n<h1>Conjunctive Queries (CQ)<\/h1>\n<p>  \u0417\u0430\u043f\u0440\u043e\u0441\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u0442 \u0438\u0437 select(\u03c3)-project(\u03c0)-join(\u22c8) \u0441\u0435\u0433\u043c\u0435\u043d\u0442\u0430 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u044b \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442 conjunctive queries (\u043e\u043a, \u044f \u043e\u043f\u0443\u0441\u0442\u0438\u043b \u043f\u0435\u0440\u0435\u0438\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u0438\u0435, \u0441\u0447\u0438\u0442\u0430\u0435\u043c \u0435\u0433\u043e \u043d\u0435\u044f\u0432\u043d\u043e \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u043c).<\/p>\n<p>  \u0415\u0441\u043b\u0438 \u0432\u044b \u0434\u043e\u0447\u0438\u0442\u0430\u043b\u0438 \u0434\u043e \u044d\u0442\u043e\u0439 \u0441\u0442\u0440\u043e\u043a\u0438 \u043f\u043e\u043f\u0440\u043e\u0431\u0443\u0439\u0442\u0435 \u0440\u0435\u0448\u0438\u0442\u044c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0443\u044e \u0437\u0430\u0434\u0430\u0447\u0443 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u044d\u0442\u0438 \u0442\u0440\u0438 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 (\u043d\u0443 \u0438 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f \u043a\u043e\u043d\u0435\u0447\u043d\u043e \u0436\u0435):<\/p>\n<p>  <strong>\u0417\u0430\u0434\u0430\u0447\u0430.<\/strong> <em>\u0412\u044b\u0432\u0435\u0434\u0438\u0442\u0435 \u0438\u043c\u0435\u043d\u0430 \u0432\u0441\u0435\u0445 \u0440\u0430\u0431\u043e\u0442\u043d\u0438\u043a\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u043d\u0430\u0434 \u043a\u0430\u0436\u0434\u044b\u043c \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u043c.<\/em><\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u0420\u0435\u0448\u0435\u043d\u0438\u0435<\/b><\/p>\n<div class=\"spoiler_text\">\u042d\u0442\u043e \u043d\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e. \u041f\u043e\u0447\u0435\u043c\u0443 \u0447\u0438\u0442\u0430\u0435\u043c \u0434\u0430\u043b\u0435\u0435.  <\/div>\n<\/div>\n<p>  \u041f\u043e\u0434\u0443\u043c\u0430\u0439\u0442\u0435 \u043a\u0430\u043a\u043e\u043c\u0443 \u0441\u0435\u0433\u043c\u0435\u043d\u0442\u0443 SQL \u0438 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0433\u043e \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u043e\u0442\u043d\u043e\u0441\u0438\u0442\u0441\u044f \u0434\u0430\u043d\u043d\u044b\u0439 \u043a\u043b\u0430\u0441\u0441 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u044b.<\/p>\n<p>  <a name=\"complexity\"><\/a><\/p>\n<h1>\u0412\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u0430\u044f \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c<\/h1>\n<p>  \u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u0445 \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u0432 \u0438\u0437\u043c\u0435\u0440\u0438\u0442\u044c \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u0443\u044e \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u0437\u0430\u043f\u0440\u043e\u0441\u0430, \u043c\u0435\u0436\u0434\u0443 \u043d\u0438\u043c\u0438 \u0447\u0430\u0441\u0442\u043e \u043f\u0443\u0442\u0430\u044e\u0442\u0441\u044f \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0432\u044b\u043f\u0438\u0448\u0435\u043c \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u0438 \u0438\u0445 \u043d\u0430\u0437\u0432\u0430\u043d\u0438\u044f:<\/p>\n<p>  \u041f\u0443\u0441\u0442\u044c Q \u2014 \u0437\u0430\u043f\u0440\u043e\u0441, D \u2014 \u0431\u0430\u0437\u0430 \u0434\u0430\u043d\u043d\u044b\u0445, \u0438 \u043d\u0443\u0436\u043d\u043e \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u044c Q(D)  <\/p>\n<ul>\n<li>\u0415\u0441\u043b\u0438 Q \u2014 \u0444\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0430\u043d\u043e, \u0442\u043e \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f f(D) \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c\u044e \u043f\u043e \u0434\u0430\u043d\u043d\u044b\u043c (data complexity)<\/li>\n<li>\u0415\u0441\u043b\u0438 D \u2014 \u0444\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0430\u043d\u043e, \u0442\u043e \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f f(Q) \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c\u044e \u0437\u0430\u043f\u0440\u043e\u0441\u0430 (query complexity)<\/li>\n<li>\u0415\u0441\u043b\u0438 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0444\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0430\u043d\u043e, \u0442\u043e \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c f(Q,D) \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u043a\u043e\u043c\u0431\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0439 \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c\u044e (combined complexity)<\/li>\n<\/ul>\n<p>  \u0412\u0430\u0436\u043d\u044b\u0435 \u0444\u0430\u043a\u0442\u044b: \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c SQL <em>\u043f\u043e \u0434\u0430\u043d\u043d\u044b\u043c<\/em> (\u0438 \u0432\u0441\u0435\u0445 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0445) \u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u0438\u0442 \u043a\u043b\u0430\u0441\u0441\u0443 AC0 \u2013 \u044d\u0442\u043e \u043e\u0447\u0435\u043d\u044c \u0445\u043e\u0440\u043e\u0448\u0438\u0439 \u043a\u043b\u0430\u0441\u0441 \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u0438, \u0442.\u0435., \u0437\u0430\u043f\u0440\u043e\u0441\u044b \u043c\u043e\u0436\u043d\u043e \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0442\u044c \u043e\u0447\u0435\u043d\u044c \u044d\u0444\u0444\u0435\u043a\u0442\u0438\u0432\u043d\u043e.<\/p>\n<p>  \u0421 \u0442\u0435\u043e\u0440\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u0442\u043e\u0447\u043a\u0438 \u0437\u0440\u0435\u043d\u0438\u044f \u043c\u043e\u0436\u043d\u043e \u0432\u0437\u0433\u043b\u044f\u043d\u0443\u0442\u044c \u043d\u0430 \u0432\u043e\u0442 \u044d\u0442\u0443 \u043a\u0430\u0440\u0442\u0438\u043d\u043a\u0443:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/47a\/3ee\/c9e\/47a3eec9e0d5ee675f6f63dbc991ae76.png\"\/><\/p>\n<p>  AC0 \u043b\u0435\u0436\u0438\u0442 \u0432\u043d\u0443\u0442\u0440\u0438 NL (\u0442\u043e\u0447\u043d\u0435\u0435 \u0434\u0430\u0436\u0435 \u0432\u043d\u0443\u0442\u0440\u0438 \u043e\u0434\u043d\u043e\u0433\u043e \u0438\u0437 \u00ab\u0441\u043b\u043e\u0451\u0432\u00bb NC \u0432\u043d\u0443\u0442\u0440\u0438 NL).<\/p>\n<p>   \u0420\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b\u0439 \u0432\u043e\u043f\u0440\u043e\u0441, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0439 \u0441 \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0439 \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c\u044e: \u043f\u0443\u0441\u0442\u044c f \u2013 \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u043c\u043e\u0441\u0442\u0438 \u0444\u043e\u0440\u043c\u0443\u043b\u044b, \u0442\u043e \u0435\u0441\u0442\u044c \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0437\u0430\u043f\u0440\u043e\u0441\u0430 \u043e\u043d\u0430 \u0433\u043e\u0432\u043e\u0440\u0438\u0442, \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u043b\u0438 \u0431\u0430\u0437\u0430 \u0434\u0430\u043d\u043d\u044b\u0445 \u0442\u0430\u043a\u0430\u044f, \u0447\u0442\u043e Q(D) \u0438\u0441\u0442\u0438\u043d\u043d\u043e. \u0418\u0437 \u0442\u0435\u043e\u0440\u0435\u043c\u044b \u041a\u043e\u0434\u0434\u0430 \u043c\u044b \u0437\u043d\u0430\u0435\u043c, \u0447\u0442\u043e \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u0430\u044f \u0430\u043b\u0433\u0435\u0431\u0440\u0430 \u0438 SQL \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u044b \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u043c\u0443 \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044e. \u0410 \u0437\u043d\u0430\u0447\u0438\u0442, \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 f \u2013 \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u043e \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0435 \u043e\u0441\u0442\u0430\u043d\u043e\u0432\u0430 (SAT \u0434\u043b\u044f \u043b\u043e\u0433\u0438\u043a\u0438 \u043f\u0435\u0440\u0432\u043e\u0433\u043e \u043f\u043e\u0440\u044f\u0434\u043a\u0430 \u043d\u0435\u0432\u044b\u0447\u0438\u0441\u043b\u0438\u043c). \u041e\u0442\u0441\u044e\u0434\u0430: \u043d\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0442 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0431\u044b \u0434\u043b\u044f \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u043e\u0433\u043e SQL \u0437\u0430\u043f\u0440\u043e\u0441\u0430 \u043c\u043e\u0433 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c \u0435\u0433\u043e \u043d\u0435\u043f\u0440\u043e\u0442\u0438\u0432\u043e\u0440\u0435\u0447\u0438\u0432\u043e\u0441\u0442\u044c.<\/p>\n<p>  \u0414\u043b\u044f \u0437\u0430\u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043e\u0432\u0430\u0432\u0448\u0438\u0445\u0441\u044f \u0442\u0430\u043a\u0436\u0435 \u0440\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u044e: <a href=\"https:\/\/en.wikipedia.org\/wiki\/Trakhtenbrot%27s_theorem\">\u0442\u0435\u043e\u0440\u0435\u043c\u0430 \u0422\u0440\u0430\u0445\u0442\u0435\u043d\u0431\u0440\u043e\u0442\u0430<\/a><\/p>\n<h3>\u0421\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c Conjunctive Queries<\/h3>\n<p>  CQ \u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u043e\u0434\u043d\u0438\u043c \u0438\u0437 \u0441\u0430\u043c\u044b\u0445 \u0438\u0437\u0443\u0447\u0435\u043d\u043d\u044b\u0445 \u043a\u043b\u0430\u0441\u0441\u043e\u0432 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432 \u0442\u0430\u043a \u043a\u0430\u043a \u043e\u043d\u0438 \u0441\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0442 \u0432\u0441\u044e \u043e\u0441\u043d\u043e\u0432\u043d\u0443\u044e \u043c\u0430\u0441\u0441\u0443 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432 \u043a \u0431\u0430\u0437\u0430\u043c \u0434\u0430\u043d\u043d\u044b\u0445 (\u044f \u0432\u0438\u0434\u0435\u043b \u043d\u0430 \u043e\u0434\u043d\u043e\u0439 \u043f\u0440\u0435\u0437\u0435\u043d\u0442\u0430\u0446\u0438\u0438 \u0446\u0438\u0444\u0440\u0443 \u0432 90%, \u043d\u043e \u043d\u0435 \u043c\u043e\u0433\u0443 \u0441\u0435\u0439\u0447\u0430\u0441 \u043d\u0430\u0439\u0442\u0438 \u0438\u0441\u0442\u043e\u0447\u043d\u0438\u043a). \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u0435\u0435 \u0438\u0445 \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0438 \u0434\u043e\u043a\u0430\u0436\u0435\u043c, \u0447\u0442\u043e \u043d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435 \u0438\u0445 \u043a\u043e\u043c\u0431\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0430\u044f \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0440\u0430\u0432\u043d\u0430 NP, \u0442.\u0435. \u0437\u0430\u0434\u0430\u0447\u0430 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f NP \u043f\u043e\u043b\u043d\u043e\u0439. (\u041f\u0440\u043e NP \u043f\u043e\u043b\u043d\u043e\u043c\u0443 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u0432\u043e\u0442 <a href=\"http:\/\/habrahabr.ru\/post\/207112\/\">\u0442\u0443\u0442<\/a> \u0438 <a href=\"http:\/\/habrahabr.ru\/post\/208774\/\">\u0442\u0443\u0442<\/a>.) <\/p>\n<p>  \u0414\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0437\u0430\u043f\u0438\u0448\u0435\u043c \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u044b\u0439 CQ \u0437\u0430\u043f\u0440\u043e\u0441 \u0432 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u043c \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0438 \u0432 \u0432\u0438\u0434\u0435:<\/p>\n<p>  {X | [\u2203X0:] p0(X0) and [\u2203X1:] p1(X1) and [\u2203X1:] p(X2) \u2026 }<\/p>\n<p>  \u0413\u0434\u0435 [.] \u2013 \u043e\u043f\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u043a\u0432\u0430\u043d\u0442\u043e\u0440\u0430. \u041f\u043e\u0447\u0435\u043c\u0443 \u0442\u0430\u043a\u043e\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0432\u0441\u0435\u0433\u0434\u0430 \u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c\u043e? \u041f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e project \u0437\u0434\u0435\u0441\u044c \u0432\u0441\u0435\u0433\u0434\u0430 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0432\u044b\u0440\u0430\u0436\u0435\u043d \u0447\u0435\u0440\u0435\u0437 X \u0442.\u0435. <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%20X%20%0A%5Csubseteq%20%5Ccup_i%20X_i\" alt=\"X  \\subseteq \\cup_i X_i\"\/>, join \u0432\u044b\u0440\u0430\u0436\u0435\u043d \u0447\u0435\u0440\u0435\u0437 \u0440\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u043e \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u0432 <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/X_i\" alt=\"X_i\"\/>, \u0430 select \u0447\u0435\u0440\u0435\u0437 \u0443\u0441\u043b\u043e\u0432\u0438\u044f \u043d\u0430 <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/X_i\" alt=\"X_i\"\/> \u0432 \u0442\u0435\u043b\u0435 \u0437\u0430\u043f\u0440\u043e\u0441\u0430.<\/p>\n<p>  \u0427\u0442\u043e\u0431\u044b \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c, \u0447\u0442\u043e \u0437\u0430\u0434\u0430\u0447\u0430 \u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u0438\u0442 \u043a\u043b\u0430\u0441\u0441\u0443 NP-\u043f\u043e\u043b\u043d\u044b\u0445, \u043d\u0443\u0436\u043d\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0434\u0432\u0435 \u0432\u0435\u0449\u0438  <\/p>\n<ul>\n<li>\u041f\u043e\u043a\u0430\u0437\u0430\u0442\u044c, \u0447\u0442\u043e \u0437\u0430\u0434\u0430\u0447\u0430 \u0432\u043d\u0443\u0442\u0440\u0438 NP \u043a\u043b\u0430\u0441\u0441\u0430<\/li>\n<li>\u041f\u043e\u043a\u0430\u0437\u0430\u0442\u044c, \u0447\u0442\u043e NP \u043f\u043e\u043b\u043d\u0430\u044f \u0437\u0430\u0434\u0430\u0447\u0430 \u0441\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u043a \u0434\u0430\u043d\u043d\u043e\u0439<\/li>\n<\/ul>\n<p>  \u041f\u0435\u0440\u0432\u043e\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f \u0442\u0440\u0438\u0432\u0438\u0430\u043b\u044c\u043d\u043e: \u0442\u0430\u043a \u043a\u0430\u043a \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0439 \u043a\u043e\u043d\u0435\u0447\u043d\u044b (\u0442.\u0435. \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0432\u0441\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439), \u0442\u043e \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e \u00ab\u0443\u0433\u0430\u0434\u0430\u0442\u044c\u00bb \u0444\u0443\u043d\u043a\u0446\u0438\u044e <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%5Calpha\" alt=\"\\alpha\"\/> \u0442\u0430\u043a\u0443\u044e, \u0447\u0442\u043e \u0434\u0435\u043b\u0430\u0435\u0442 \u0438\u0441\u0442\u0438\u043d\u043d\u044b\u043c\u0438 \u043a\u0430\u0436\u0434\u043e\u0435 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 \u043f\u043e\u0434 \u043a\u0432\u0430\u043d\u0442\u043e\u0440\u0430\u043c\u0438 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u044f.<\/p>\n<p>  \u041f\u043e\u043a\u0430\u0436\u0435\u043c, \u0447\u0442\u043e \u0437\u0430\u0434\u0430\u0447\u0430 <a href=\"https:\/\/ru.wikipedia.org\/wiki\/%D0%A0%D0%B0%D1%81%D0%BA%D1%80%D0%B0%D1%81%D0%BA%D0%B0_%D0%B3%D1%80%D0%B0%D1%84%D0%BE%D0%B2\">\u043e \u0440\u0430\u0441\u043a\u0440\u0430\u0441\u043a\u0435 \u0433\u0440\u0430\u0444\u0430<\/a> \u0441\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u043a \u0437\u0430\u0434\u0430\u0447\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u043c\u043e\u0441\u0442\u0438 CQ \u0437\u0430\u043f\u0440\u043e\u0441\u0430.<\/p>\n<p>  \u041f\u0443\u0441\u0442\u044c D \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0438\u0437 \u043e\u0434\u043d\u043e\u0433\u043e \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f edge = {(red,green),(green,red), (blue, red), (green,blue) \u2026 } \u2014 \u0432\u0441\u0435\u0445 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u0445 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0445 \u0440\u0430\u0441\u043a\u0440\u0430\u0441\u043e\u043a \u0433\u0440\u0430\u0444\u0430, \u0442\u0430\u043a\u0438\u0445 \u0447\u0442\u043e \u043d\u0438\u043a\u0430\u043a\u0438\u0435 \u0434\u0432\u0435 \u0432\u0435\u0440\u0448\u0438\u043d\u044b \u043d\u0435 \u0438\u043c\u0435\u044e\u0442 \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u043e\u0433\u043e \u0446\u0432\u0435\u0442\u0430.<\/p>\n<p>  \u041f\u0443\u0441\u0442\u044c \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u0433\u0440\u0430\u0444 \u0437\u0430\u0434\u0430\u043d \u0432 \u0432\u0438\u0434\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430 \u0440\u0435\u0431\u0435\u0440 <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%5Ctextit%7Bedge%7D%3D%5C%7B(v_i%2Cv_j)%5C%7D\" alt=\"\\textit{edge}=\\{(v_i,v_j)\\}\"\/><\/p>\n<p>  \u0422\u043e\u0433\u0434\u0430, \u0437\u0430\u043f\u0438\u0448\u0435\u043c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0437\u0430\u043f\u0440\u043e\u0441<\/p>\n<p>  { () | \u2203X0\u2026 \u2203XN: edge(V1,V2) and \u2026 edge(V_i, V_j)\u2026 }<\/p>\n<p>  \u0422\u043e \u0435\u0441\u0442\u044c \u043a\u0430\u0436\u0434\u043e\u0439 \u0434\u0443\u0433\u0435 \u0432 \u0438\u0441\u0445\u043e\u0434\u043d\u043e\u043c \u0433\u0440\u0430\u0444\u0435 \u0432 \u0437\u0430\u043f\u0440\u043e\u0441\u0435 \u0431\u0443\u0434\u0435\u0442 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u043e\u0432\u0430\u0442\u044c \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 edge \u0441 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u043c\u0438 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430\u043c\u0438. \u0415\u0441\u043b\u0438 \u0437\u0430\u043f\u0440\u043e\u0441 \u0432\u0435\u0440\u043d\u0443\u043b \u043f\u0443\u0441\u0442\u043e\u0439 \u043a\u0430\u0440\u0442\u0435\u0436, \u0442\u043e \u0437\u043d\u0430\u0447\u0438\u0442, \u0447\u0442\u043e \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0442\u0430\u043a\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%5Calpha\" alt=\"\\alpha\"\/>, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043e\u0442\u043e\u0431\u0440\u0430\u0436\u0430\u0435\u0442 <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/V_i%20%5Cmapsto%20%5C%7Bred%2Cgreen%2Cblue%5C%7D\" alt=\"V_i \\mapsto \\{red,green,blue\\}\"\/>, \u043f\u0440\u0438\u0447\u0435\u043c \u043d\u0438\u043a\u0430\u043a\u0438\u0435 \u0434\u0432\u0435 \u0432\u0435\u0440\u0448\u0438\u043d\u044b \u043d\u0435 \u0431\u0443\u0434\u0443\u0442 \u0438\u043c\u0435\u0442\u044c \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u0443\u044e \u0440\u0430\u0441\u0446\u0432\u0435\u0442\u043a\u0443 (\u0441\u043b\u0435\u0434\u0443\u0435\u0442 \u0438\u0437 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f D). \u0427.\u0422.\u0414.<\/p>\n<p>  \u0412\u043e\u043f\u0440\u043e\u0441 \u0441\u043e \u0437\u0432\u0451\u0437\u0434\u043e\u0447\u043a\u043e\u0439: \u0438\u0437 \u0441\u0435\u0433\u043c\u0435\u043d\u0442\u0430 select-project-join \u0432\u044b\u043a\u0438\u0434\u044b\u0432\u0430\u0435\u043c project, \u043a\u0430\u043a \u0438\u0437\u043c\u0435\u043d\u0438\u0442\u0441\u044f \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u0430\u044f \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c?<\/p>\n<h3> \u0422\u0440\u0430\u043d\u0437\u0438\u0442\u0438\u0432\u043d\u043e\u0435 \u0437\u0430\u043c\u044b\u043a\u0430\u043d\u0438\u0435 <\/h3>\n<p>  \u041e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u043f\u043e \u0434\u0430\u043d\u043d\u044b\u043c\u0438 \u0438 \u043f\u043e \u0437\u0430\u043f\u0440\u043e\u0441\u0443 \u0442\u0430\u043a\u0436\u0435 \u043f\u0440\u043e\u043b\u0438\u0432\u0430\u044e\u0442 \u0441\u0432\u0435\u0442 \u043d\u0430 \u043e\u0434\u0438\u043d \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u044b\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u2014 \u0432 \u043a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u043c SQL (\u0431\u0435\u0437 with) <a href=\"https:\/\/en.wikipedia.org\/wiki\/Transitive_closure\"> \u0442\u0440\u0430\u043d\u0437\u0438\u0442\u0438\u0432\u043d\u043e\u0435 \u0437\u0430\u043c\u044b\u043a\u0430\u043d\u0438\u0435<\/a> \u043d\u0435\u0432\u044b\u0440\u0430\u0437\u0438\u043c\u043e \u043f\u0440\u0438 \u0444\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u043c \u0437\u0430\u043f\u0440\u043e\u0441\u0435 \u0442.\u0435. \u043d\u0435\u043b\u044c\u0437\u044f \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043e\u0434\u0438\u043d \u0437\u0430\u043f\u0440\u043e\u0441 \u0442\u0430\u043a\u043e\u0439, \u0447\u0442\u043e \u0434\u043b\u044f \u043b\u044e\u0431\u043e\u0439 \u0431\u0430\u0437\u044b \u0434\u0430\u043d\u043d\u044b\u0445 \u043e\u043d \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u043b \u0431\u044b \u0437\u0430\u043c\u044b\u043a\u0430\u043d\u0438\u0435 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u0430. \u0422\u043e \u0435\u0441\u0442\u044c, \u0435\u0441\u043b\u0438 \u0443 \u043d\u0430\u0441 \u0435\u0441\u0442\u044c \u0433\u0440\u0430\u0444 \u0441\u043e\u0445\u0440\u0430\u043d\u0435\u043d\u043d\u044b\u0439 \u0432 \u0432\u0438\u0434\u0435 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f edge, \u0442\u043e \u043d\u0435\u043b\u044c\u0437\u044f \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043e\u0434\u0438\u043d \u0444\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0437\u0430\u043f\u0440\u043e\u0441, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0431\u044b \u0434\u043b\u044f \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u043e\u0433\u043e \u0433\u0440\u0430\u0444\u0430 \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u043b \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 \u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u043e\u0441\u0442\u0438. \u0425\u043e\u0442\u044f \u0438\u043d\u0442\u0443\u0438\u0442\u0438\u0432\u043d\u043e \u043a\u0430\u0436\u0435\u0442\u0441\u044f, \u0447\u0442\u043e \u0442\u0430\u043a\u043e\u0439 \u0437\u0430\u043f\u0440\u043e\u0441 \u044f\u0432\u043d\u043e \u0434\u043e\u043b\u0436\u0435\u043d \u043b\u0435\u0436\u0430\u0442\u044c \u0432 \u043a\u043b\u0430\u0441\u0441\u0435 \u0421Q.<\/p>\n<p>  \u042d\u0442\u043e \u043c\u043e\u0436\u043d\u043e \u0437\u0430\u043c\u0435\u0442\u0438\u0442\u044c \u043b\u0438\u0431\u043e \u0438\u0437 \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0439 \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u00ab\u043f\u043e \u0434\u0430\u043d\u043d\u044b\u043c\u00bb, \u043b\u0438\u0431\u043e \u0433\u043e\u0440\u0430\u0437\u0434\u043e \u0431\u043e\u043b\u0435\u0435 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u0438\u0432\u043d\u043e \u0438 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e \u044d\u0442\u043e \u0441\u043b\u0435\u0434\u0443\u0435\u0442 \u0438\u0437 <a href=\"https:\/\/en.wikipedia.org\/wiki\/Compactness_theorem\">\u0442\u0435\u043e\u0440\u0435\u043c\u044b \u043e \u043a\u043e\u043c\u043f\u0430\u043a\u0442\u043d\u043e\u0441\u0442\u0438<\/a> \u0438 \u0442\u0435\u043e\u0440\u0435\u043c\u044b \u041a\u043e\u0434\u0434\u0430 (SQL = First Order Logic).<\/p>\n<p>  \u0414\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e \u043d\u0435\u0442\u0440\u0438\u0432\u0438\u0430\u043b\u044c\u043d\u043e \u0438 \u0435\u0433\u043e \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u043e\u043f\u0443\u0441\u0442\u0438\u0442\u044c \u0431\u0435\u0437 \u043f\u043e\u0442\u0435\u0440\u0438 \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u044f \u0434\u0430\u043b\u044c\u043d\u0435\u0439\u0448\u0435\u0433\u043e \u043c\u0430\u0442\u0435\u0440\u0438\u0430\u043b\u0430.  <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u041d\u0430\u0431\u0440\u043e\u0441\u043e\u043a \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430<\/b><\/p>\n<div class=\"spoiler_text\"><b>\u0422\u0435\u043e\u0440\u0435\u043c\u0430 \u043e \u043a\u043e\u043c\u043f\u0430\u043a\u0442\u043d\u043e\u0441\u0442\u0438:<\/b> \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0444\u043e\u0440\u043c\u0443\u043b \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u043c\u043e (\u0438\u043c\u0435\u0435\u0442 \u043c\u043e\u0434\u0435\u043b\u044c \u2014 \u0438\u043d\u0442\u0435\u0440\u043f\u0440\u0435\u0442\u0430\u0446\u0438\u044e, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0432\u0441\u0435 \u0444\u043e\u0440\u043c\u0443\u043b\u044b \u0432\u0435\u0440\u043d\u044b), \u0442\u043e\u0433\u0434\u0430 \u0438 \u0442\u043e\u043b\u044c\u043a\u043e \u0442\u043e\u0433\u0434\u0430 \u043a\u043e\u0433\u0434\u0430 \u043b\u044e\u0431\u043e\u0435 \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0435 \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u044d\u0442\u043e\u0433\u043e \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430 \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u043c\u043e.<\/p>\n<p>  <b>\u0413\u0451\u0434\u0435\u043b\u044c:<\/b> \u043b\u043e\u0433\u0438\u043a\u0430 \u043f\u0435\u0440\u0432\u043e\u0433\u043e \u043f\u043e\u0440\u044f\u0434\u043a\u0430 \u043a\u043e\u043c\u043f\u0430\u043a\u0442\u043d\u0430. <br \/>  <b>\u041a\u043e\u0434\u0434:<\/b> SQL \u2014 \u043b\u043e\u0433\u0438\u043a\u0430 \u043f\u0435\u0440\u0432\u043e\u0433\u043e \u043f\u043e\u0440\u044f\u0434\u043a\u0430<\/p>\n<p>  \u0414\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e \u043e\u0442 \u043f\u0440\u043e\u0442\u0438\u0432\u043d\u043e\u0433\u043e, \u043f\u0443\u0441\u0442\u044c T(a,b) \u2014 \u0435\u0441\u0442\u044c \u043f\u0443\u0442\u044c \u0438\u0437 \u0430 \u0432 \u0431. P_n(a,b) \u2014 \u044d\u0442\u043e \u043f\u0443\u0442\u044c \u0438\u0437 \u0430 \u0432 b \u0434\u043b\u0438\u043d\u044b n. \u0422\u043e\u0433\u0434\u0430 ~P_n(a,b) \u2014 \u0438\u0437 \u0430 \u043d\u0435\u0442 \u043f\u0443\u0442\u0438 \u0432 b \u0434\u043b\u0438\u043d\u044b n.<\/p>\n<p>  \u0412\u043e\u0437\u044c\u043c\u0435\u043c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0435 \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e {T(a,b), ~P_1(a,b), ~P_2(a,b)\u2026 ~P_k(a,b)} \u2014 \u043e\u043d\u043e \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u043c\u043e, \u0442\u0430\u043a \u043a\u0430\u043a \u0432\u043e\u0437\u044c\u043c\u0435\u043c \u043f\u0443\u0442\u044c \u0434\u043b\u0438\u043d\u044b k+1 \u0438 T(a,b) \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u043e \u0438 \u0432\u0441\u0435 ~P_1\u2026 ~P_k \u0442\u043e\u0436\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u044b. \u0411\u043e\u043b\u0435\u0435 \u0442\u043e\u0433\u043e \u043b\u044e\u0431\u043e\u0435 \u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0442\u0430\u043a\u043e\u0433\u043e \u0432\u0438\u0434\u0430 \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u043c\u043e, \u0430 \u0437\u043d\u0430\u0447\u0438\u0442 \u043f\u043e \u0442\u0435\u043e\u0440\u0435\u043c\u0435 \u043e \u043a\u043e\u043c\u043f\u0430\u043a\u0442\u043d\u043e\u0441\u0442\u0438 \u0438 \u0438\u0445 \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0435 \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0435 \u0434\u043e\u043b\u0436\u043d\u043e \u0431\u044b\u0442\u044c \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u043c\u043e.<\/p>\n<p>  \u041e\u0434\u043d\u0430\u043a\u043e, ~P_k \u2014 \u0434\u043e\u043b\u0436\u043d\u043e \u0431\u044b\u0442\u044c \u0432\u0435\u0440\u043d\u043e \u0434\u043b\u044f \u041b\u042e\u0411\u041e\u0413\u041e k, \u0442\u043e \u0435\u0441\u0442\u044c \u043d\u0435 \u0434\u043e\u043b\u0436\u043d\u043e \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u0442\u044c \u043f\u0443\u0442\u0438 \u043d\u0438\u043a\u0430\u043a\u043e\u0439 \u0434\u043b\u0438\u043d\u044b \u0438\u0437 \u0430 \u0432 b, \u0430 \u0434\u043b\u044f \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f T(a,b) \u0442\u0430\u043a\u043e\u0439 \u043f\u0443\u0442\u044c \u0434\u043e\u043b\u0436\u0435\u043d \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u0442\u044c. \u041f\u0440\u043e\u0442\u0438\u0432\u043e\u0440\u0435\u0447\u0438\u0435. Q.E.D.<\/p><\/div>\n<\/div>\n<p>  \u0415\u0441\u043b\u0438 \u0437\u0430\u043f\u0440\u043e\u0441 \u043d\u0435 \u0444\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0430\u043d, \u0442\u043e \u0437\u0430\u0434\u0430\u0447\u0430 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u0442\u0440\u0438\u0432\u0438\u0430\u043b\u044c\u043d\u043e \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043c\u043e\u0439. \u041f\u0443\u0441\u0442\u044c \u0443 \u043c\u0435\u043d\u044f \u0432\u0441\u0435\u0433\u043e k \u0440\u0435\u0431\u0435\u0440 \u0432 \u0431\u0430\u0437\u0435 \u0434\u0430\u043d\u043d\u044b\u0445, \u0437\u043d\u0430\u0447\u0438\u0442 \u0441\u0430\u043c\u044b\u0439 \u0431\u043e\u043b\u044c\u0448\u043e\u0439 \u043f\u0443\u0442\u044c \u043d\u0435 \u0431\u043e\u043b\u0435\u0435 k, \u0437\u043d\u0430\u0447\u0438\u0442 \u043c\u043e\u0436\u043d\u043e \u0432 \u044f\u0432\u043d\u043e\u043c \u0432\u0438\u0434\u0435 \u0437\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0437\u0430\u043f\u0440\u043e\u0441, \u043a\u0430\u043a \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0435 \u043f\u0443\u0442\u0435\u0439 \u0434\u043b\u0438\u043d\u044b 1, 2,\u2026 k \u0438 \u0442\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0437\u0430\u043f\u0440\u043e\u0441 \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u044e\u0449\u0438\u0439 \u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u043e\u0441\u0442\u044c \u0432 \u0433\u0440\u0430\u0444\u0435.<\/p>\n<p>  <a name=\"query_analysis\"><\/a><\/p>\n<h1>\u0421\u0432\u043e\u0439\u0441\u0442\u0432\u0430 \u0438 \u0430\u043d\u0430\u043b\u0438\u0437 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432<\/h1>\n<p>  \u0422\u0435\u043f\u0435\u0440\u044c \u0432\u0435\u0440\u043d\u0435\u043c\u0441\u044f \u043a \u0437\u0430\u0434\u0430\u0447\u0435 \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u043d\u043e\u0439 \u0440\u0430\u043d\u0435\u0435:<\/p>\n<p>  <em>\u0412\u044b\u0432\u0435\u0434\u0438\u0442\u0435 \u0438\u043c\u0435\u043d\u0430 \u0432\u0441\u0435\u0445 \u0440\u0430\u0431\u043e\u0442\u043d\u0438\u043a\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u043d\u0430\u0434 \u043a\u0430\u0436\u0434\u044b\u043c \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u043c.<\/em><\/p>\n<p>  \u041f\u043e\u0447\u0435\u043c\u0443 \u044d\u0442\u0430 \u0437\u0430\u0434\u0430\u0447\u0430 \u043d\u0435 \u0438\u043c\u0435\u0435\u0442 \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0432 \u043a\u043b\u0430\u0441\u0441\u0435 CQ \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u043e\u043d\u044f\u0442\u044c, \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0432 \u043a\u043b\u044e\u0447\u0435\u0432\u044b\u0435 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430 \u0441\u0430\u043c\u043e\u0433\u043e \u0437\u0430\u043f\u0440\u043e\u0441\u0430 \u0438 \u043a\u043b\u0430\u0441\u0441\u0430 CQ.<\/p>\n<p>  \u041e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435, \u0437\u0430\u043f\u0440\u043e\u0441 Q \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043c\u043e\u043d\u043e\u0442\u043e\u043d\u043d\u044b\u043c, \u0442\u043e\u0433\u0434\u0430 \u0438 \u0442\u043e\u043b\u044c\u043a\u043e \u0442\u043e\u0433\u0434\u0430 \u043a\u043e\u0433\u0434\u0430, \u0434\u043b\u044f \u043b\u044e\u0431\u044b\u0445 \u0434\u0432\u0443\u0445 \u0431\u0430\u0437 \u0434\u0430\u043d\u043d\u044b\u0445 <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/D_1%20%5Csubseteq%20D_2\" alt=\"D_1 \\subseteq D_2\"\/> \u0432\u0435\u0440\u043d\u043e, \u0447\u0442\u043e <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/Q(D_1)%20%5Csubseteq%20Q(D_2)\" alt=\"Q(D_1) \\subseteq Q(D_2)\"\/>. \u0422\u043e \u0435\u0441\u0442\u044c \u0443\u0432\u0435\u043b\u0438\u0447\u0435\u043d\u0438\u0435 \u0431\u0430\u0437\u044b \u0434\u0430\u043d\u043d\u044b\u0445 \u043c\u043e\u0436\u0435\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u0443\u0432\u0435\u043b\u0438\u0447\u0438\u0442\u044c \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u043a\u0430\u0440\u0442\u0435\u0436\u0435\u0439 \u043d\u0430 \u0432\u044b\u0445\u043e\u0434\u0435 \u0438\u043b\u0438 \u043e\u0441\u0442\u0430\u043d\u0435\u0442\u0441\u044f \u043f\u0440\u0435\u0436\u043d\u0438\u043c.<\/p>\n<p>  \u041d\u0430\u0431\u043b\u044e\u0434\u0435\u043d\u0438\u0435: CQ \u2014 \u043a\u043b\u0430\u0441\u0441 \u043c\u043e\u043d\u043e\u0442\u043e\u043d\u043d\u043e \u0432\u043e\u0437\u0440\u0430\u0441\u0442\u0430\u044e\u0449\u0438\u0445 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432. \u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043c \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u044b\u0439 CQ \u0437\u0430\u043f\u0440\u043e\u0441 Q \u2014 \u043e\u043d \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0438\u0437 select-project-join. \u041f\u043e\u043a\u0430\u0436\u0435\u043c, \u0447\u0442\u043e \u043a\u0430\u0436\u0434\u044b\u0439 \u0438\u0437 \u043d\u0438\u0445 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043c\u043e\u043d\u043e\u0442\u043e\u043d\u043d\u044b\u043c \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u043c:<\/p>\n<p>  \u041f\u0443\u0441\u0442\u044c \u043c\u044b \u0434\u043e\u0431\u0430\u0432\u0438\u043b\u0438 \u0435\u0449\u0435 \u043e\u0434\u043d\u0443 \u0437\u0430\u043f\u0438\u0441\u044c \u0432 D  <\/p>\n<ul>\n<li>select \u2014 \u0444\u0438\u043b\u044c\u0442\u0440\u0443\u0435\u0442 \u0437\u0430\u043f\u0438\u0441\u0438 \u043f\u043e \u0432\u0435\u0440\u0442\u0438\u043a\u0430\u043b\u0438, \u0435\u0441\u043b\u0438 \u043d\u043e\u0432\u0430\u044f \u0437\u0430\u043f\u0438\u0441\u044c \u0443\u0434\u043e\u0432\u043b\u0435\u0442\u0432\u043e\u0440\u044f\u0435\u0442 \u0437\u0430\u043f\u0440\u043e\u0441\u0443, \u0442\u043e \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u043e\u0442\u0432\u0435\u0442\u043e\u0432 \u0443\u0432\u0435\u043b\u0438\u0447\u0438\u0432\u0430\u0435\u0442\u0441\u044f, \u0435\u0441\u043b\u0438 \u043d\u0435\u0442 \u043e\u0441\u0442\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u0435\u0436\u043d\u0438\u043c.  <\/li>\n<li>project \u2014 \u043d\u0435 \u0432\u043b\u0438\u044f\u0435\u0442 \u043d\u0430 \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043a\u0430\u0440\u0442\u0435\u0436  <\/li>\n<li>join \u2014 \u0435\u0441\u043b\u0438 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0430\u044f \u0437\u0430\u043f\u0438\u0441\u044c \u0438\u043c\u0435\u0435\u0442\u0441\u044f \u0438 \u0432\u043e \u0432\u0442\u043e\u0440\u043e\u043c \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0435, \u0442\u043e \u043e\u0442\u0432\u0435\u0442\u043d\u043e\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0440\u0430\u0441\u0448\u0438\u0440\u0438\u0442\u0441\u044f, \u0438\u043d\u0430\u0447\u0435 \u043e\u0441\u0442\u0430\u043d\u0435\u0442\u0441\u044f \u043f\u0440\u0435\u0436\u043d\u0438\u043c.  <\/li>\n<\/ul>\n<p>  \u0421\u0443\u043f\u0435\u0440\u043f\u043e\u0437\u0438\u0446\u0438\u044f \u043c\u043e\u043d\u043e\u0442\u043e\u043d\u043d\u044b\u0445 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432 \u043c\u043e\u043d\u043e\u0442\u043e\u043d\u043d\u0430 =&gt; CQ \u2014 \u043a\u043b\u0430\u0441\u0441 \u043c\u043e\u043d\u043e\u0442\u043e\u043d\u043d\u044b\u0445 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432.<\/p>\n<p>  \u0412\u043e\u043f\u0440\u043e\u0441: \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043b\u0438 \u0438\u0441\u0445\u043e\u0434\u043d\u0430\u044f \u0437\u0430\u0434\u0430\u0447\u0430 \u043c\u043e\u043d\u043e\u0442\u043e\u043d\u043d\u043e\u0439? \u041d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435 \u043d\u0435\u0442. \u041f\u0443\u0441\u0442\u044c \u0443 \u043d\u0430\u0441 \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0434\u0438\u043d \u0440\u0430\u0431\u043e\u0442\u043d\u0438\u043a \u041f\u0435\u0442\u044f, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043d\u0430\u0434 \u0434\u0432\u0443\u043c\u044f \u043f\u0440\u043e\u0435\u043a\u0442\u0430\u043c\u0438 \u0410 \u0438 \u0411, \u0438 \u0432\u0441\u0435\u0433\u043e \u0443 \u043d\u0430\u0441 2 \u043f\u0440\u043e\u0435\u043a\u0442\u0430 \u0410 \u0438 \u0411, \u0437\u043d\u0430\u0447\u0438\u0442 \u041f\u0435\u0442\u044f \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c \u0432 \u0432\u044b\u0434\u0430\u0447\u0435 \u0437\u0430\u043f\u0440\u043e\u0441\u0430. \u041f\u0443\u0441\u0442\u044c \u043c\u044b \u0434\u043e\u0431\u0430\u0432\u0438\u043b\u0438 \u0442\u0440\u0435\u0442\u0438\u0439 \u043f\u0440\u043e\u0435\u043a\u0442 C =&gt; \u0442\u0435\u043f\u0435\u0440\u044c \u041f\u0435\u0442\u0438 \u043d\u0435\u0442 \u0432 \u043e\u0442\u0432\u0435\u0442\u0435 \u0438 \u043e\u0442\u0432\u0435\u0442\u043d\u043e\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u043f\u0443\u0441\u0442\u043e, \u0430 \u0437\u043d\u0430\u0447\u0438\u0442 \u0437\u0430\u043f\u0440\u043e\u0441 \u043d\u0435 \u043c\u043e\u043d\u043e\u0442\u043e\u043d\u0435\u043d.<\/p>\n<p>  \u041e\u0442\u0441\u044e\u0434\u0430 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438 \u0441\u043b\u0435\u0434\u0443\u0435\u0442 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0432\u043e\u043f\u0440\u043e\u0441: \u0447\u0442\u043e \u043d\u0443\u0436\u043d\u043e \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u043a select-project-join, \u0447\u0442\u043e\u0431\u044b \u0437\u0430\u0434\u0430\u0447\u0430 \u0440\u0435\u0448\u0430\u043b\u0430\u0441\u044c? \u042d\u0442\u043e \u0447\u0442\u043e-\u0442\u043e \u0434\u043e\u043b\u0436\u043d\u043e \u0431\u044b\u0442\u044c \u043d\u0435\u043c\u043e\u043d\u043e\u0442\u043e\u043d\u043d\u044b\u043c!<\/p>\n<p>  \u041a\u0430\u043a \u043a\u043e\u043d\u0435\u0447\u043d\u043e \u0436\u0435 \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044c \u0434\u043e\u0433\u0430\u0434\u0430\u043b\u0441\u044f \u2014 \u0440\u0430\u0437\u043d\u0438\u0446\u0430 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432. \u0415\u0433\u043e \u043d\u0435\u0441\u0438\u043c\u043c\u0435\u0442\u0440\u0438\u0447\u043d\u043e\u0441\u0442\u044c \u043a\u0430\u043a \u0431\u044b \u043f\u043e\u0434\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u043b\u0430 \u043d\u0430\u043c \u0438 \u0432\u044b\u0434\u0435\u043b\u044f\u043b\u0430 \u0435\u0433\u043e \u0441 \u0441\u0430\u043c\u043e\u0433\u043e \u043d\u0430\u0447\u0430\u043b\u0430.<\/p>\n<p>  \u041e\u0434\u043d\u0430\u043a\u043e \u043f\u0440\u0435\u0436\u0434\u0435, \u0447\u0435\u043c \u043f\u0438\u0441\u0430\u0442\u044c \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u0441\u0434\u0435\u043b\u0430\u0435\u043c \u0435\u0449\u0435 \u043e\u0434\u043d\u043e \u043d\u0430\u0431\u043b\u044e\u0434\u0435\u043d\u0438\u0435: \u0435\u0441\u043b\u0438 \u043a\u043e\u043d\u0442\u0440-\u043f\u0440\u0438\u043c\u0435\u0440\u0430 \u043a \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u044e \u043d\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0442, \u0442\u043e \u044d\u0442\u043e \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435 \u0432\u0441\u0435\u0433\u0434\u0430 \u0432\u0435\u0440\u043d\u043e. \u0424\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e:<\/p>\n<p>  <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%20%5Cforall%20x%3A%20p(x)%20%5Cequiv%20%5Clnot%20%5Cexists%20x%3A%20%5Clnot%20p(x)%20\" alt=\"\\forall x: p(x) \\equiv \\lnot \\exists x: \\lnot p(x)\"\/> \u2014 \u043d\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0445, \u0442\u0430\u043a\u043e\u0439 \u0447\u0442\u043e p(x) \u043d\u0435\u0432\u0435\u0440\u0435\u043d.<\/p>\n<p>  \u0412 \u0437\u0430\u0434\u0430\u0447\u0435 \u043c\u044b \u0432\u0438\u0434\u0438\u043c \u0432 \u044f\u0432\u043d\u043e\u043c \u0432\u0438\u0434\u0435 \u043a\u0432\u0430\u043d\u0442\u043e\u0440 \u00ab\u0434\u043b\u044f \u0432\u0441\u0435\u0445\u00bb \u0438 \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0435\u0433\u043e \u044d\u043c\u0443\u043b\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044f \u0434\u0432\u043e\u0439\u043d\u043e\u0435 \u043e\u0442\u0440\u0438\u0446\u0430\u043d\u0438\u0435, \u0442\u043e \u0435\u0441\u0442\u044c \u043f\u0435\u0440\u0435\u0444\u0440\u0430\u0437\u0438\u0440\u0443\u0435\u043c \u0437\u0430\u043f\u0440\u043e\u0441 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c: <em>\u0432\u044b\u0432\u0435\u0441\u0442\u0438 \u0438\u043c\u0435\u043d\u0430 \u0432\u0441\u0435\u0445 \u0441\u043e\u0442\u0440\u0443\u0434\u043d\u0438\u043a\u043e\u0432 \u0434\u043b\u044f \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043d\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0442 \u043f\u0440\u043e\u0435\u043a\u0442\u0430, \u043d\u0430\u0434 \u043a\u043e\u0442\u043e\u0440\u044b\u043c \u043e\u043d\u0438 \u0431\u044b \u043d\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u043b\u0438<\/em><br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/183\/2ac\/59d\/1832ac59db03420d91ca1358e3d9d276.png\"\/><br \/>  \u042d\u0442\u043e\u0442 \u0436\u0435 \u0437\u0430\u043f\u0440\u043e\u0441 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u043d\u0435\u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e \u043f\u0440\u043e\u0441\u0442\u043e, \u0435\u0441\u043b\u0438 \u0431\u044b \u0443 \u043d\u0430\u0441 \u0431\u044b\u043b <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%5Cforall\" alt=\"\\forall\"\/> (\u0430 \u043e\u043d \u0435\u0441\u0442\u044c \u0432 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u043c \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0438):<\/p>\n<p>  { e.fname, e.lname | EMP(e) and <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%5Cforall%20p%3A\" alt=\"\\forall p:\"\/> PRJ(p) <img decoding=\"async\" src=\"http:\/\/tex.s2cms.ru\/svg\/%5Cimplies%20%20%5Cexists%20w%3A\" alt=\"\\implies  \\exists w:\"\/> WORKS_ON(w) and w.Pno = p.Pnumber and e.Ssn = w.Essn}<\/p>\n<p>  <a name=\"query_optimization\"><\/a><\/p>\n<h1>\u041f\u0440\u0438\u043c\u0435\u0440 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f RA \u0434\u043b\u044f \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432<\/h1>\n<p>  \u0422\u0430\u043a\u0436\u0435 \u0442\u0440\u0430\u043d\u0441\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044f SQL \u0432 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u0443\u044e \u0430\u043b\u0433\u0435\u0431\u0440\u0443 \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435 \u0437\u0430\u043f\u0440\u043e\u0441\u0430. \u0420\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u043f\u0440\u0438\u043c\u0435\u0440:<\/p>\n<p>  <strong>\u0417\u0430\u0434\u0430\u0447\u0430<\/strong><br \/>  <em>\u0412\u044b\u0432\u0435\u0441\u0442\u0438 \u0432\u0441\u0435 \u043d\u043e\u043c\u0435\u0440\u0430 \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u0432, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0431\u044b \u0440\u0430\u0431\u043e\u0442\u0430\u043b \u0441\u043e\u0442\u0440\u0443\u0434\u043d\u0438\u043a \u0441 \u0444\u0430\u043c\u0438\u043b\u0438\u0435\u0439 \u0428\u043c\u0438\u0434\u0442 \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u043c\u0435\u043d\u0435\u0434\u0436\u0435\u0440\u0430 \u0434\u0435\u043f\u0430\u0440\u0442\u0430\u043c\u0435\u043d\u0442\u0430, \u0443\u043f\u0440\u0430\u0432\u043b\u044f\u044e\u0449\u0435\u0433\u043e \u044d\u0442\u0438\u043c \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u043c.<\/em>  <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u044c\u043d\u0430\u044f \u0444\u043e\u0440\u043c\u0443\u043b\u0438\u0440\u043e\u0432\u043a\u0430<\/b><\/p>\n<div class=\"spoiler_text\"><em>List all project numbers for projects that involve an employee whose last name is Smith as a manager of the department that controls the project<\/em><\/div>\n<\/div>\n<p>  \u041f\u0440\u043e\u0441\u0442\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/469\/eb6\/f1a\/469eb6f1a586490599b7397a8e895e72.png\"\/><\/p>\n<p>  \u041a\u043e\u0442\u043e\u0440\u043e\u0435 \u043c\u043e\u0436\u043d\u043e \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u0442\u044c \u0432 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u0443\u044e \u0430\u043b\u0433\u0435\u0431\u0440\u0443 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/e4d\/351\/0a7\/e4d3510a7da547468456df516b006e65.png\"\/><br \/>  \u041f\u0435\u0440\u0432\u0430\u044f \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044f \u2014 \u043d\u0443\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c select \u043a\u0430\u043a \u043c\u043e\u0436\u043d\u043e \u0440\u0430\u043d\u044c\u0448\u0435, \u0442\u043e\u0433\u0434\u0430 \u0414\u0435\u043a\u0430\u0440\u0442\u043e\u0432\u043e \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u043f\u043e\u043b\u0443\u0447\u0438\u0442 \u043d\u0430 \u0432\u0445\u043e\u0434 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f \u043c\u0435\u043d\u044c\u0448\u0435\u0433\u043e \u0440\u0430\u0437\u043c\u0435\u0440\u0430:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/0aa\/a44\/f6f\/0aaa44f6f28c4ec69eedabd3b1fa1e87.png\"\/><\/p>\n<p>  Select c \u0440\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u043e\u043c \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u0435 \u0441\u0438\u043b\u044c\u043d\u043e\u0435 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0435\u0433\u043e \u043d\u0443\u0436\u043d\u043e \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0442\u044c \u0438 \u0441\u043e\u0435\u0434\u0438\u043d\u044f\u0442\u044c \u043a\u0430\u043a \u043c\u043e\u0436\u043d\u043e \u0440\u0430\u043d\u044c\u0448\u0435:<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/0cc\/f9e\/a9e\/0ccf9ea9e8424d0d9aa38b0cb5c28694.png\"\/><\/p>\n<p>  \u0421\u0432\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0435\u043c \u0414\u0435\u043a\u0430\u0440\u0442\u043e\u0432\u043e \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u0438 select \u0432 join (\u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d \u044d\u0444\u0444\u0435\u043a\u0442\u0438\u0432\u043d\u043e \u0441 \u0438\u043d\u0434\u0435\u043a\u0441\u0430\u043c\u0438 \u0438 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u043c\u0438 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430\u043c\u0438 \u0434\u0430\u043d\u043d\u044b\u0445)<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/07f\/e76\/a04\/07fe76a0456d4972856e2dafc385e62b.png\"\/><\/p>\n<p>  \u041e\u043f\u0443\u0441\u043a\u0430\u0435\u043c project \u043a\u0430\u043a \u043c\u043e\u0436\u043d\u043e \u043d\u0438\u0436\u0435, \u0447\u0442\u043e\u0431\u044b \u0442\u043e\u043b\u044c\u043a\u043e \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u0430\u044f \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044f \u0431\u044b\u043b\u0430 \u043f\u0435\u0440\u0435\u0434\u0430\u043d\u0430 \u043d\u0430\u0432\u0435\u0440\u0445 \u043f\u043e \u0434\u0435\u0440\u0435\u0432\u0443<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/d94\/2fb\/efc\/d942fbefcbe740c1943027a9fe172f2f.png\"\/><\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u041c\u0438\u043d\u0443\u0442\u043a\u0430 \u0441\u0430\u043c\u043e\u0440\u0435\u043a\u043b\u0430\u043c\u044b<\/b><\/p>\n<div class=\"spoiler_text\">\u0415\u0441\u0442\u044c \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b\u0435 \u0437\u0430\u0434\u0430\u0447\u0438 \u043f\u043e data science, big data, machine learning, data mining \u2014 <a href=\"http:\/\/www.sergey-paramonov.com\/cv.pdf\">\u043f\u0438\u0448\u0438\u0442\u0435<\/a>.<\/div>\n<\/div>\n<p>  <a name=\"literature\"><\/a><\/p>\n<h1>\u041b\u0438\u0442\u0435\u0440\u0430\u0442\u0443\u0440\u0430, \u043c\u0430\u0442\u0435\u0440\u0438\u0430\u043b\u044b \u0438 \u0441\u043b\u0430\u0439\u0434\u044b<\/h1>\n<p>  <a href=\"https:\/\/lagunita.stanford.edu\/courses\/Home\/Databases\/Engineering\/about\">Stanford online course \u2014 Jennifer Widom<\/a> \u2013 \u043e\u0442\u043b\u0438\u0447\u043d\u044b\u0439 \u043a\u0443\u0440\u0441, \u0440\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u044e<\/p>\n<p>  <a href=\"http:\/\/webdam.inria.fr\/Alice\/\">Alice\u2019s book \u2014 Serge Abiteboul<\/a> \u2014 \u043a\u043b\u0430\u0441\u0441\u0438\u043a\u0430 \u0436\u0430\u043d\u0440\u0430<\/p>\n<p>  <a href=\"http:\/\/rutracker.org\/forum\/viewtopic.php?t=3296600\">\u041c\u0430\u0440\u0442\u0438\u043d \u0413\u0440\u0430\u0431\u0435\u0440 \u2014 SQL<\/a> \u2014 \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u043e \u043f\u0440\u043e\u0441\u0442\u044b\u0435 \u0438 \u0434\u0435\u0442\u0430\u043b\u044c\u043d\u044b\u0435 \u043e\u0431\u044a\u044f\u0441\u043d\u0435\u043d\u0438\u044f \u0440\u0430\u0431\u043e\u0442\u044b \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u043e\u0432 \u0438 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441\u0430 SQL<\/p>\n<p>   \u0425\u0430\u0431\u0440\u0430-\u0441\u0442\u0430\u0442\u044c\u0438 \u043f\u0440\u043e P-NP \u2014 \u043e\u0437\u043d\u0430\u043a\u043e\u043c\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043c\u0430\u0442\u0435\u0440\u0438\u0430\u043b \u0447\u0430\u0441\u0442\u044c <a href=\"http:\/\/habrahabr.ru\/post\/207112\/\">\u043f\u0435\u0440\u0432\u0430\u044f<\/a> \u0438 <a href=\"http:\/\/habrahabr.ru\/post\/208774\/\">\u0432\u0442\u043e\u0440\u0430\u044f<\/a> <\/p>\n<p>  <a href=\"https:\/\/dl.dropboxusercontent.com\/u\/12373089\/Slides_Queries.tar.gz\">\u041c\u043e\u0438 \u0441\u043b\u0430\u0439\u0434\u044b \u043f\u043e \u0442\u0435\u043c\u0435<\/a> (\u0438\u0441\u043a\u043b\u044e\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u043e\u043b\u0435\u0437\u043d\u043e \u0438\u0437-\u0437\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432 \u0440\u0435\u0448\u0435\u043d\u0438\u0439 \u0437\u0430\u0434\u0430\u0447 \u0432 \u0440\u0430\u0437\u043d\u044b\u0445 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u0430\u0445 \u2014 \u043c\u0435\u0441\u0442\u0430\u043c\u0438 \u0441\u043c\u0435\u0441\u044c \u0433\u043e\u043b\u043b\u0430\u043d\u0434\u0441\u043a\u043e\u0433\u043e \u0438 \u0430\u043d\u0433\u043b\u0438\u0439\u0441\u043a\u043e\u0433\u043e)<\/p>\n<p>   <a href=\"https:\/\/dl.dropboxusercontent.com\/u\/12373089\/werner_slides.tar.gz\">\u041d\u0435\u043f\u043b\u043e\u0445\u0438\u0435 \u0441\u043b\u0430\u0439\u0434\u044b \u043f\u043e \u0442\u0435\u043e\u0440\u0438\u0438<\/a> (\u043d\u0435\u0442\u0440\u0438\u0432\u0438\u0430\u043b\u044c\u043d\u044b\u0439 \u0442\u0435\u043e\u0440\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u043c\u0430\u0442\u0435\u0440\u0438\u0430\u043b)                <\/p>\n<div class=\"clear\"><\/div>\n<p> \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"http:\/\/habrahabr.ru\/post\/275251\/\"> http:\/\/habrahabr.ru\/post\/275251\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>       <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/files\/0db\/fb4\/d0d\/0dbfb4d0d4dd40fa9d12e9287e2cdc9a.png\"\/><\/p>\n<p>  \u041d\u0430 \u0425\u0430\u0431\u0440\u0435 \u0438 \u0437\u0430 \u0435\u0433\u043e \u043f\u0440\u0435\u0434\u0435\u043b\u0430\u043c\u0438 \u0447\u0430\u0441\u0442\u043e <a href=\"http:\/\/habrahabr.ru\/post\/145381\/\">\u043e\u0431\u0441\u0443\u0436\u0434\u0430\u044e\u0442<\/a> \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u0443\u044e \u0430\u043b\u0433\u0435\u0431\u0440\u0443 \u0438 SQL, \u043d\u043e \u0434\u0430\u043b\u0435\u043a\u043e \u043d\u0435 \u0442\u0430\u043a \u0447\u0430\u0441\u0442\u043e \u0430\u043a\u0446\u0435\u043d\u0442\u0438\u0440\u0443\u044e\u0442 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435 \u043d\u0430 \u0441\u0432\u044f\u0437\u0438 \u043c\u0435\u0436\u0434\u0443 \u044d\u0442\u0438\u043c\u0438 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u0430\u043c\u0438. \u0412 \u0434\u0430\u043d\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u043c\u044b \u043e\u0442\u043f\u0440\u0430\u0432\u0438\u043c\u0441\u044f \u043a \u0441\u0430\u043c\u044b\u043c \u043a\u043e\u0440\u043d\u044f\u043c \u0442\u0435\u043e\u0440\u0438\u0438 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432: \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u043c\u0443 \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044e, \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u0435 \u0438 \u044f\u0437\u044b\u043a\u0443 SQL. \u041c\u044b \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u0438\u0445 \u043d\u0430 \u043f\u0440\u043e\u0441\u0442\u044b\u0445 \u043f\u0440\u0438\u043c\u0435\u0440\u0430\u0445, \u0430 \u0442\u0430\u043a\u0436\u0435 \u0443\u0432\u0438\u0434\u0438\u043c, \u0447\u0442\u043e \u0431\u044b\u0432\u0430\u0435\u0442 \u043f\u043e\u043b\u0435\u0437\u043d\u043e \u043f\u0435\u0440\u0435\u043a\u043b\u044e\u0447\u0430\u0442\u044c\u0441\u044f \u043c\u0435\u0436\u0434\u0443 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u0430\u043c\u0438 \u0434\u043b\u044f \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u0438 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432. <\/p>\n<p>  \u0417\u0430\u0447\u0435\u043c \u044d\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043d\u0443\u0436\u043d\u043e \u0441\u0435\u0433\u043e\u0434\u043d\u044f? \u041d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0441\u0442\u0430\u043c \u043f\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0443 \u0434\u0430\u043d\u043d\u044b\u0445 \u0438 \u0430\u0434\u043c\u0438\u043d\u0438\u0441\u0442\u0440\u0430\u0442\u043e\u0440\u0430\u043c \u0431\u0430\u0437 \u0434\u0430\u043d\u043d\u044b\u0445 \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441 \u0434\u0430\u043d\u043d\u044b\u043c\u0438, \u0444\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u043c\u0430\u043b\u043e \u043a\u043e\u043c\u0443 \u043d\u0435 \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0447\u0442\u043e-\u0442\u043e \u0438\u0437\u0432\u043b\u0435\u043a\u0430\u0442\u044c \u0438\u0437 (\u043f\u043e\u043b\u0443-)\u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 \u0438\u043b\u0438 \u0442\u0440\u0430\u043d\u0441\u0444\u043e\u0440\u043c\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0443\u0436\u0435 \u0438\u043c\u0435\u044e\u0449\u0438\u0435\u0441\u044f. \u0414\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0438\u043c\u0435\u0442\u044c \u0445\u043e\u0440\u043e\u0448\u0435\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043f\u043e\u0447\u0435\u043c\u0443 \u044f\u0437\u044b\u043a\u0438 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432 \u0443\u0441\u0442\u0440\u043e\u0435\u043d\u044b \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u044b\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u0438 \u043e\u0441\u043e\u0437\u043d\u0430\u043d\u043d\u043e \u0438\u0445 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043d\u0443\u0436\u043d\u043e \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u0442\u044c\u0441\u044f \u0441 \u044f\u0434\u0440\u043e\u043c, \u043b\u0435\u0436\u0430\u0449\u0438\u043c \u0432 \u043e\u0441\u043d\u043e\u0432\u0435. \u041e\u0431 \u044d\u0442\u043e\u043c \u043c\u044b \u0441\u0435\u0433\u043e\u0434\u043d\u044f \u0438 \u043f\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u043c.<\/p>\n<p>  \u0411\u043e\u043b\u044c\u0448\u0443\u044e \u0447\u0430\u0441\u0442\u044c \u0441\u0442\u0430\u0442\u044c\u0438 \u0441\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0442 \u043f\u0440\u0438\u043c\u0435\u0440\u044b \u0441 \u0432\u043a\u0440\u0430\u043f\u043b\u0435\u043d\u0438\u044f\u043c\u0438 \u0442\u0435\u043e\u0440\u0438\u0438. \u0412 \u043a\u043e\u043d\u0446\u0435 \u0440\u0430\u0437\u0434\u0435\u043b\u043e\u0432 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u044b \u0441\u0441\u044b\u043b\u043a\u0438 \u043d\u0430 \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u043c\u0430\u0442\u0435\u0440\u0438\u0430\u043b\u044b, \u0430 \u0434\u043b\u044f \u0437\u0430\u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043e\u0432\u0430\u0432\u0448\u0438\u0445\u0441\u044f \u0438 \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u0430\u044f \u043f\u043e\u0434\u0431\u043e\u0440\u043a\u0430 \u043b\u0438\u0442\u0435\u0440\u0430\u0442\u0443\u0440\u044b \u0438 \u043a\u0443\u0440\u0441\u043e\u0432 \u0432 \u043a\u043e\u043d\u0446\u0435.<\/p>\n<p>  \u0421\u043e\u0434\u0435\u0440\u0436\u0430\u043d\u0438\u0435<\/p>\n<ul>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#relational_algebra\">\u0420\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u0430\u044f \u0430\u043b\u0433\u0435\u0431\u0440\u0430<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#SQL\">SQL<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#relational_calculus\">\u0420\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0435 \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#codd_theorem\">\u0420\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u043e \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u043e\u0432 (\u0442\u0435\u043e\u0440\u0435\u043c\u0430 \u041a\u043e\u0434\u0434\u0430)<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#conjunctive_queries\">Conjunctive Queries (CQ)<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#complexity\">\u0412\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u0430\u044f \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#query_analysis\">\u0421\u0432\u043e\u0439\u0441\u0442\u0432\u0430 \u0438 \u0430\u043d\u0430\u043b\u0438\u0437 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#query_optimization\">\u041f\u0440\u0438\u043c\u0435\u0440 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f RA \u0434\u043b\u044f \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432<\/a><\/li>\n<li><a href=\"http:\/\/habrahabr.ru\/post\/275251\/#literature\">\u041b\u0438\u0442\u0435\u0440\u0430\u0442\u0443\u0440\u0430, \u043c\u0430\u0442\u0435\u0440\u0438\u0430\u043b\u044b \u0438 \u0441\u043b\u0430\u0439\u0434\u044b<\/a><\/li>\n<\/ul>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-272335","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/272335","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=272335"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/272335\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=272335"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=272335"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=272335"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}