{"id":85,"date":"2009-01-08T16:06:11","date_gmt":"2009-01-08T13:06:11","guid":{"rendered":"http:\/\/studentpmr.ru\/?p=85"},"modified":"2009-01-08T16:06:11","modified_gmt":"2009-01-08T13:06:11","slug":"%d0%bb%d0%b5%d0%ba%d1%86%d0%b8%d0%b8-%d0%bf%d0%be-%d0%b1%d0%b4-%d1%80%d0%b5%d0%bb%d1%8f%d1%86%d0%b8%d0%be%d0%bd%d0%bd%d1%8b%d0%b5-%d0%b8%d1%81%d1%87%d0%b8%d1%81%d0%bb%d0%b5%d0%bd%d0%b8%d1%8f","status":"publish","type":"post","link":"http:\/\/studentpmr.ru\/?p=85","title":{"rendered":"\u041b\u0435\u043a\u0446\u0438\u0438 \u043f\u043e \u0411\u0414. \u0420\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u044b\u0435 \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f."},"content":{"rendered":"

\u041f\u0440\u0438\u0432\u0435\u0434\u0435\u043c \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0443 \u0434\u043b\u044f \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u043a\u043e\u0440\u0442\u0435\u0436\u0435\u0439 \u0432 \u0444\u043e\u0440\u043c\u0435 \u0411.\u041d.\u0424. \u043a\u0432\u0430\u0434\u0440\u0430\u0442\u043d\u044b\u0435 \u0441\u043a\u043e\u0431\u043a\u0438 \u0437\u0434\u0435\u0441\u044c \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u043d\u0430 \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u043e\u043f\u0443\u0449\u0435\u043d\u044b.
\nRange-variable-definition
\n::=RANGE OF VARIABLE is range item-commalist
\nrange-item
\n::= relation | expression
\nexpression
\n::= (target-item-commalist)[WHERE wff]
\ntarget-item
\n::= variable | variable-attribute [AS attribute]
\nwff
\n::= condition
\n| NOT wff
\n|condition AND wff
\n|condition OR wff
\n|IF condition THEN wff
\n|EXISTS variable (wff)
\n|FORALL variable (wff)
\n|(wff)
\n\u041a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u044f condition (\u0443\u0441\u043b\u043e\u0432\u0438\u0435) \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0438\u043b\u0438 \u0444\u043e\u0440\u043c\u0443\u043b\u0443 wff \u0437\u0430\u043a\u043b\u044e\u0447\u0435\u043d\u043d\u0443\u044e \u0432 \u0441\u043a\u043e\u0431\u043a\u0438, \u0438\u043b\u0438 \u043f\u0440\u043e\u0441\u0442\u043e\u0435 \u0441\u043a\u0430\u043b\u044f\u0440\u043d\u043e\u0435 \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435 \u0442\u0438\u043f\u0430 comporant comporant. \u0417\u0434\u0435\u0441\u044c \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u043b\u044e\u0431\u043e\u0439 \u0441\u043a\u0430\u043b\u044f\u0440\u043d\u044b\u0439 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u044f \u0438 \u043a\u0430\u0436\u0434\u044b\u0439 comporant \u044d\u0442\u043e \u043b\u0438\u0431\u043e \u0441\u043a\u0430\u043b\u044f\u0440\u043d\u0430\u044f \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u0430, \u043b\u0438\u0431\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0430\u0442\u0440\u0438\u0431\u0443\u0442\u0430 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u043e\u0433\u043e \u0441 c\u0441\u044b\u043b\u043a\u043e\u0439 \u043d\u0430 \u0430\u0442\u0440\u0438\u0431\u0443\u0442 \u0432 \u0444\u043e\u0440\u043c\u0435 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u0430\u044f.\u0430\u0442\u0440\u0438\u0431\u0443\u0442. \u041a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u044f wff \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0441\u043e\u0431\u043e\u0439 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0443\u044e \u0444\u043e\u0440\u043c\u0443\u043b\u0443 (WFF formulated formulate).
\n\u041f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u0438 \u043a\u043e\u0440\u0442\u0435\u0436\u0438.
\n\u041f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u043a\u043e\u0440\u0442\u0435\u0436\u0438 (\u0438\u043b\u0438 \u043e\u0431\u043b\u0430\u0441\u0442\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439) \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u044e\u0442\u0441\u044f \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c:
\nRANGE OF T IS X1,X2,\u2026.,Xn.
\n\u0417\u0434\u0435\u0441\u044c \u0422 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u043c\u0430\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f \u043a\u043e\u0440\u0442\u0435\u0436\u0430, \u0430 Xi \u2013(i=1\u2026n) \u043b\u0438\u0431\u043e \u0438\u043c\u044f \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f, \u043b\u0438\u0431\u043e \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u043a\u043e\u0440\u0442\u0435\u0436\u0435\u0439. \u041f\u0443\u0441\u0442\u044c Xi \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435\u043c Ri (i=1\u2026n). \u041e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 R1,R2,\u2026Rn. \u0414\u043e\u043b\u0436\u043d\u044b \u0431\u044b\u0442\u044c \u0441\u043e\u0432\u043c\u0435\u0441\u0442\u0438\u043c\u044b \u043f\u043e \u0442\u0438\u043f\u0443 \u0442.\u0435. \u043e\u043d\u0438 \u0434\u043e\u043b\u0436\u043d\u044b \u0438\u043c\u0435\u0442\u044c \u0438\u0434\u0435\u043d\u0442\u0438\u0447\u043d\u044b\u0435 \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043a\u0438, \u0442\u043e\u0433\u0434\u0430 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f \u043a\u043e\u0440\u0442\u0435\u0436\u0430 \u0438\u0437\u043c\u0435\u043d\u044f\u0435\u0442\u0441\u044f \u043d\u0430 \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0438 \u044d\u0442\u0438\u0445 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0439, \u0442.\u0435. \u0435\u0451 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0432 \u043b\u044e\u0431\u043e\u0435 \u0437\u0430\u0434\u0430\u043d\u043d\u043e\u0435 \u0432\u0440\u0435\u043c\u044f \u0431\u0443\u0434\u0435\u0442 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u043c \u0442\u0435\u043a\u0443\u0449\u0438\u043c \u043a\u043e\u0440\u0442\u0435\u0436\u0435\u043c, \u043f\u043e \u043a\u0440\u0430\u0439\u043d\u0435\u0439 \u043c\u0435\u0440\u0435 \u043e\u0434\u043d\u043e\u0433\u043e \u0438\u0437 \u044d\u0442\u0438\u0445 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0439.
\n\u041f\u0440-\u0440.
\nRANGE OF SX IS S;
\nRANGE OF SPX IS SP;
\nRANGE OF SY IS (SX) WHERE SX,CITY = \u2018London\u2019
\n(SX) WHERE (SPX,S# = SX,S# AND SPX,P# = \u2018P1\u2019)
\n\u041f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f \u043a\u043e\u0440\u0442\u0435\u0436\u0430 SY \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0438\u0437 \u043c\u043d-\u0432\u0430 \u043a\u043e\u0440\u0442\u0435\u0436\u0435\u0439 S \u0434\u043b\u044f \u043f\u043e\u0441\u0442\u0430\u0432\u0449\u0438\u043a\u043e\u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0438\u043b\u0438 \u0440\u0430\u0437\u043c\u0435\u0449\u0430\u044e\u0442\u0441\u044f \u0432 \u041b\u043e\u043d\u0434\u043e\u043d\u0435, \u0438\u043b\u0438 \u043f\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0442 \u0434\u0435\u0442\u0430\u043b\u044c P1,\u0438\u043b\u0438 \u0438 \u0442\u043e \u0438 \u0434\u0440\u0443\u0433\u043e\u0435.
\n\u0421\u0432\u043e\u0431\u043e\u0434\u043d\u044b\u0435 \u0438 \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0435 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435.
\n\u041a\u0430\u0436\u0434\u044b\u0439 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 \u043a\u043e\u0440\u0442\u0435\u0436\u0430 \u0432 \u0444\u043e\u0440\u043c\u0443\u043b\u0435 WFF \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0438\u043b\u0438 \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u044b\u043c, \u0438\u043b\u0438 \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u043c. \u041f\u043e\u0434 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u043e\u043c \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043e\u0439 \u043a\u043e\u0440\u0442\u0435\u0436\u0430 \u0432 \u0444\u043e\u0440\u043c\u0443\u043b\u0435 WFF \u0431\u0443\u0434\u0435\u043c \u043f\u043e\u0434\u0440\u0430\u0437\u0443\u043c\u0435\u0432\u0430\u0442\u044c \u043d\u0430\u043b\u0438\u0447\u0438\u0435 \u0438\u043c\u0435\u043d\u0438 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043e\u0439 \u0432 \u0444\u043e\u0440\u043c\u0443\u043b\u0435 WFF: \u0430)\u0432 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0435 \u0441\u0441\u044b\u043b\u043a\u0438 \u0430\u0442\u0440\u0438\u0431\u0443\u0442\u0430 \u0422.\u0410. \u0431)\u043a\u0430\u043a \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0439 \u043d\u0435\u043f\u043e\u0441\u0440\u0435\u0434\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u0437\u0430 \u043e\u0434\u043d\u0438\u043c \u0438\u0437 \u043a\u0432\u0430\u043d\u0442\u043e\u0440\u043e\u0432 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u044f EXISTS \u0438\u043b\u0438 \u0432\u0441\u0435\u043e\u0431\u0449\u043d\u043e\u0441\u0442\u0438 FORALL. \u041f\u0440\u0438\u0432\u0435\u0434\u0435\u043c \u0443\u0441\u0442\u0430\u043d\u0430\u0432\u043b\u0438\u0432\u0430\u044e\u0449\u0435\u0435, \u043a\u0430\u043a\u0438\u043c \u0431\u0443\u0434\u0435\u0442 \u0434\u0430\u043d\u043d\u044b\u0439 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 \u0432 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 \u043a\u043e\u0440\u0442\u0435\u0436\u0430, \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u044b\u043c \u0438\u043b\u0438 \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u043c.
\n1)\u0432 \u043f\u0440\u043e\u0441\u0442\u043e\u043c \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0438 \u0442\u0438\u043f\u0430 \u0422.\u0410.<U.A. \u0432\u0441\u0435 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u044b \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u044b. 2) \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u044b \u0432 \u0444\u043e\u0440\u043c\u0443\u043b\u0430\u0445 WFF(f) \u0438 (NOT f) \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u044b \u0438\u043b\u0438 \u0441\u0432\u044f\u0437\u0430\u043d\u044b, \u0432 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438 \u043e\u0442 \u0442\u043e\u0433\u043e \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u044b \u0438\u043b\u0438 \u0441\u0432\u044f\u0437\u0430\u043d\u044b \u043e\u043d\u0438 \u0432 \u201cf\u201d. \u042d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u044b \u0432 \u0444\u043e\u0440\u043c\u0443\u043b\u0430\u0445 WFF \u0442\u0438\u043f\u0430: fandg\u201d; \u201cforg\u201d; \u201ciff THENG\u201d. \u0421\u0432\u043e\u0431\u043e\u0434\u043d\u044b \u0438\u043b\u0438 \u0441\u0432\u044f\u0437\u0430\u043d\u044b,\u0432 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438 \u043e\u0442 \u0442\u043e\u0433\u043e \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u044b \u0438\u043b\u0438 \u0441\u0432\u044f\u0437\u0430\u043d\u044b \u043e\u043d\u0438 \u0432 \u201cf\u201d \u0438 \u201cg\u201d .
\n3) \u042d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u044b \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 \u0422 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u044b \u0432 \u0444\u043e\u0440\u043c\u0443\u043b\u0435 \u201cf\u201d \u0441\u0432\u044f\u0437\u0430\u043d\u044b \u0432 \u0444\u043e\u0440\u043c\u0443\u043b\u0430\u0445 WFF \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u0432\u0438\u0434\u0430: \u201cEXIXTS T (f) \u201c; \u201cFORALL T (f)\u201d.
\n\u0414\u0440\u0443\u0433\u0438\u0435 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u044b \u0432 \u0444\u043e\u0440\u043c\u0443\u043b\u0435 f \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u044b \u0438\u043b\u0438 \u0441\u0432\u044f\u0437\u0430\u043d\u044b \u0432 \u0442\u0430\u043a\u0438\u0445 \u0444\u043e\u0440\u043c\u0443\u043b\u0430\u0445 WFF \u0432 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u0438 \u0441 \u0442\u0435\u043c, \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u044b \u0438\u043b\u0438 \u0441\u0432\u044f\u0437\u0430\u043d\u044b \u0432 \u201cf\u201d.
\nSX.S# = \u201cS1\u201d; SX.S# = SPX.S#
\n\u041f\u0440-\u0440\u044b \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0444\u043e\u0440\u043c\u0443\u043b WFF.
\nPX.WEIGHT<15 OR PX.WEIGHT >25
\nSX.S# = SPX.S# AND SPX.P# PX.P#
\nIF PX COLOR = \u2018RED\u2019 THEN PX.CITY =\u2019London\u2019.
\n\u041a\u0432\u0430\u043d\u0442\u043e\u0440\u044b.
\n\u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0442 \u0434\u0432\u0430 \u043a\u0432\u0430\u043d\u0442\u043e\u0440\u0430 EXISTS (\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442) \u0438 FORALL (\u0434\u043b\u044f \u0432\u0441\u0435\u0445).\u0415\u0441\u043b\u0438 \u201cf\u201d \u0444\u043e\u0440\u043c\u0443\u043b\u0430 WFF \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f X \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u0430, \u0442\u043e EXISTS x(f) \u0438 FORALL x(f) \u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c\u044b\u043c\u0438 \u0444\u043e\u0440\u043c\u0443\u043b\u0430\u043c\u0438 WFF. \u041f\u0435\u0440\u0432\u0430\u044f\u0444\u043e\u0440\u043c\u0443\u043b\u0430 \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442: \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u043f\u043e \u043a\u0440\u0430\u0439\u043d\u0435\u0439 \u043c\u0435\u0440\u0435 \u043e\u0434\u043d\u043e \u0442\u0430\u043a\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 x \u0447\u0442\u043e \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0444\u043e\u0440\u043c\u0443\u043b\u044b WFF f \u0434\u0430\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0438\u0441\u0442\u0438\u043d\u0430. \u0412\u0442\u043e\u0440\u0430\u044f \u0444\u043e\u0440\u043c\u0443\u043b\u0430 \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442: \u0434\u043b\u044f \u0432\u0441\u0435\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 x \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0444\u043e\u0440\u043c\u0443\u043b\u044b WFF f \u0434\u0430\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0438\u0441\u0442\u0438\u043d\u0430.
\n\u041f\u0440-\u0440 \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u043a\u0432\u0430\u043d\u0442\u043e\u0440 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u044f EXISTS.
\nEXISTS SPX (SPX.S# = SX.S# AND SPX.P# = ‘P2’)
\n\u042d\u0442\u0430 \u0444\u043e\u0440\u043c\u0443\u043b\u0430 WFF \u0447\u0438\u0442\u0430\u0435\u0442\u0441\u044f \u0442\u0430\u043a: \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u043a\u043e\u0440\u0442\u0435\u0436 EXISTS \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 SP \u0441\u043a\u0430\u0436\u0435\u043c SPX, \u0434\u043b\u044f \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 S# \u0440\u0430\u0432\u043d\u044f\u0435\u0442\u0441\u044f \u043a\u0430\u043a\u043e\u043c\u0443-\u043d\u0438\u0431\u0443\u0434\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e SX.S#, \u0430 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 P# \u0440\u0430\u0432\u043d\u044f\u0435\u0442\u0441\u044f P2.
\n\u041a\u0430\u0436\u0434\u044b\u0439 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 SPX \u0432 \u044d\u0442\u043e\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0441\u0432\u044f\u0437\u0430\u043d, \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u0439 \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440 SX \u0441\u0432\u043e\u0431\u043e\u0434\u0435\u043d.
\n\u041a\u0432\u0430\u043d\u0442\u043e\u0440 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u044f EXISTS \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e \u043a\u0430\u043a \u043f\u043e\u0432\u0442\u043e\u0440\u044f\u044e\u0449\u0438\u0439\u0441\u044f OR(\u0438\u043b\u0438). \u0414\u0440\u0443\u0433\u0438\u043c\u0438 \u0441\u043b\u043e\u0432\u0430\u043c\u0438 \u0435\u0441\u043b\u0438 R \u044d\u0442\u043e \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 \u0441 \u043a\u043e\u0440\u0442\u0435\u0436\u0430\u043c\u0438 T1,T2,\u2026Tm \u0433\u0434\u0435 \u0422 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f \u043a\u043e\u0440\u0442\u0435\u0436\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0438\u0437\u043c\u0435\u043d\u044f\u0435\u0442\u0441\u044f \u043d\u0430 \u044d\u0442\u043e\u043c \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0438, \u0430 f(T) \u044d\u0442\u043e \u0444\u043e\u0440\u043c\u0443\u043b\u0430 WFF \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0422 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u043a\u0430\u043a \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u0430\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f, \u0442\u043e \u0444\u043e\u0440\u043c\u0443\u043b\u0430 WFF: EXISTS T (f(T)) \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0440\u0430\u0432\u043d\u043e\u0441\u0438\u043b\u044c\u043d\u043e \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u0444\u043e\u0440\u043c\u0443\u043b\u0435 WFF: false OR(false OR(f(T1)OR f(T2)OR\u2026..f(Tm)).
\n\u0417\u0430\u043c\u0435\u0442\u0438\u043c, \u0447\u0442\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u043c \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u044d\u0442\u043e\u0433\u043e \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u0431\u0443\u0434\u0435\u0442 \u043b\u043e\u0436\u044c \u0435\u0441\u043b\u0438 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 R \u043f\u0443\u0441\u0442\u043e.
\n\u041f\u0440-\u0440 \u0442\u0435\u043f\u0435\u0440\u044c \u0440\u0430\u0437\u0431\u0435\u0440\u0451\u043c \u043a\u0432\u0430\u043d\u0442\u043e\u0440 \u043e\u0431\u0449\u043d\u043e\u0441\u0442\u0438 FORALL
\nFORALL PX (PX.COLOR = \u2018RED\u2019)
\n\u0414\u043b\u044f \u0432\u0441\u0435\u0445 \u043a\u043e\u0440\u0442\u0435\u0436\u0435\u0439 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 P \u0441\u043a\u0430\u0436\u0435\u043c PX ,\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0430\u0442\u0440\u0438\u0431\u0443\u0442\u0430 COLOR \u0432 \u044d\u0442\u0438\u0445 \u043a\u043e\u0440\u0442\u0435\u0436\u0430\u0445 \u0440\u0430\u0432\u043d\u043e RED.
\n\u041a\u0432\u0430\u043d\u0442\u043e\u0440 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u044f FORALL \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u043a\u0430\u043a \u043f\u043e\u0432\u0442\u043e\u0440\u044f\u044e\u0449\u0435\u0435\u0441\u044f AND. \u0414\u0440\u0443\u0433\u0438\u043c\u0438 \u0441\u043b\u043e\u0432\u0430\u043c\u0438 \u0435\u0441\u043b\u0438 R,T \u0438 f(T), \u0442\u0430\u043a\u0438\u0435\u0436\u0435 \u043a\u0430\u043a \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u043b\u043e\u0441\u044c \u0440\u0430\u043d\u043d\u0435\u0435, \u0442\u043e \u0444\u043e\u0440\u043c\u0443\u043b\u0430 WFF \u0431\u0443\u0434\u0435\u0442 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0433\u043e \u0432\u0438\u0434\u0430:
\nFORALL T (f(T)) \u0440\u0430\u0432\u043d\u043e\u0441\u0438\u043b\u044c\u043d\u0430 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u0444\u043e\u0440\u043c\u0443\u043b\u0435 WFF :
\nTrue AND (f(T1)ANDf(T2)AND\u2026..ANDf(Tm)).
\n\u0412 \u0447\u0430\u0441\u0442\u043d\u043e\u0441\u0442\u0438 \u0435\u0441\u043b\u0438 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f R \u043f\u0443\u0441\u0442\u043e\u0435 \u0442\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u043c \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u044d\u0442\u043e\u0433\u043e \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u0431\u0443\u0434\u0435\u0442 \u0438\u0441\u0442\u0438\u043d\u0430.
\n\u0412\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f
\n\u041d\u0430\u043f\u043e\u043c\u043d\u0438\u043c \u0447\u0442\u043e \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u043a\u043e\u0440\u0442\u0435\u0436\u0435\u0439 \u0438\u043c\u0435\u0435\u0442 \u0432\u0438\u0434:
\n(target-item-commalist)[where f]. \u041e\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u043c\u0441\u044f \u0432\u043d\u0430\u0447\u0430\u043b\u0435 \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u0435\u0435 \u043d\u0430 \u043f\u0435\u0440\u0432\u043e\u043c \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0435 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u043d\u043e\u0439 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438 \u0441\u043f\u0438\u0441\u043a\u0435 \u0446\u0435\u043b\u0435\u0432\u044b\u0445 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432. \u041a\u0430\u0436\u0434\u044b\u0439 \u0446\u0435\u043b\u0435\u0432\u043e\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u0441\u043f\u0438\u0441\u043a\u0430 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0438\u043b\u0438 \u0438\u043c\u0435\u043d\u0435\u043c \u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 \u0442\u0430\u043a\u043e\u0439 \u043a\u0430\u043a \u0422 \u0438\u043b\u0438 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435\u043c \u0432\u0438\u0434\u0430 T.A[AS X]. \u0417\u0434\u0435\u0441\u044c \u0422 \u044d\u0442\u043e \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f \u043a\u043e\u0440\u0442\u0435\u0436\u0430, \u0410- \u0430\u0442\u0440\u0438\u0431\u0443\u0442 \u0441\u043e\u043f\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u043c\u043e\u0433\u043e \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f, \u0447\u0430\u0441\u0442\u044c AS X \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043e\u043f\u0443\u0449\u0435\u043d\u0430, \u0438 \u0442\u043e\u0433\u0434\u0430 \u0430\u0442\u0440\u0438\u0431\u0443\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 \u0431\u0443\u0434\u0435\u0442 \u043d\u0430\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u044c \u0438\u043c\u044f \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0435\u0433\u043e \u0441\u043e\u043f\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u043c\u043e\u0433\u043e \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f.
\n\u041f\u0440\u0438\u043c\u0435\u0440\u044b \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0439: SX.S#, SX.S# AS SN0, SX.S#, SX.CITY AS SCITY,PX.P#, PX.CITY AS PCITY.
\n\u0420\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0432 \u043e\u0431\u0449\u0438\u0445 \u0447\u0435\u0440\u0442\u0430\u0445 \u0447\u0442\u043e \u0441\u043b\u0443\u0447\u0438\u0442\u0441\u044f \u043f\u0440\u0438 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0438 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0433\u043e \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f. \u041f\u0443\u0441\u0442\u044c \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u043a\u043e\u0440\u0442\u0435\u0436\u0435\u0439 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u044b\u0435 \u0432 \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u043e\u043c \u0441\u043f\u0438\u0441\u043a\u0435 \u0446\u0435\u043b\u0435\u0432\u044b\u0445 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0431\u0443\u0434\u0443\u0442 T,U,\u2026,V. \u041f\u0443\u0441\u0442\u044c \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f \u043d\u0430 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0438\u0437\u043c\u0435\u043d\u044f\u044e\u0442\u0441\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u043a\u043e\u0440\u0442\u0435\u0436\u0430 \u0431\u0443\u0434\u0443\u0442 TR,UR,VR. \u041f\u0443\u0441\u0442\u044c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0438\u0435 \u0430\u0442\u0440\u0438\u0431\u0443\u0442\u044b \u0438\u043c\u0435\u044e\u0442 \u0438\u043c\u0435\u043d\u0430 (\u044f\u0432\u043d\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u044b\u0435 \u0438\u043b\u0438 \u043d\u0430\u0441\u043b\u0435\u0434\u0443\u0435\u043c\u044b\u0435) X1,X2,\u2026,XR \u0442\u043e\u0433\u0434\u0430 1) \u0441\u0442\u0440\u043e\u0438\u0442\u0441\u044f \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u043d\u043e\u0435 \u0434\u0435\u043a\u0430\u0440\u0442\u043e\u0432\u043e \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u043d\u0438\u0435 TR TIMES UR TIMES\u2026TIMES VR.
\n2) \u043a\u043e\u0440\u0442\u0435\u0436\u0438 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0435 \u0443\u0434\u043e\u0432\u043b\u0435\u0442\u0432\u043e\u0440\u044f\u044e\u0442 \u0444\u043e\u0440\u043c\u0443\u043b\u0435 wff \u0432 \u0444\u0440\u0430\u0437\u0435 WHERE (\u0435\u0441\u043b\u0438 \u043e\u043d\u0430 \u0435\u0441\u0442\u044c) \u0438\u0441\u043a\u043b\u044e\u0447\u0430\u0435\u0442\u0441\u044f \u0438\u0437 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 \u0448\u0430\u0433\u0430 1. 3) \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0448\u0430\u0433\u0430 2 \u043f\u0440\u043e\u0435\u0446\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u043f\u043e \u0430\u0442\u0440\u0438\u0431\u0443\u0442\u0430\u043c X1,X2,\u2026,XR
\n\u041f\u0440\u0438\u043c\u0435\u0440\u044b:
\n(SX.S#)WHERE SX.CITY=\u2019London\u2019 (SX.S#,SX.CITY) WHERE EXISTS SPX (SPX.S#=SX.S# AND SPX.P#=\u2019P2\u2019)
\n\u041f\u0440\u0438\u043c\u0435\u0440\u044b \u0444\u043e\u0440\u043c\u0443\u043b\u0438\u0440\u043e\u0432\u043e\u043a \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432:
\n\u0420\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432 \u0440\u0435\u043b\u044f\u0446\u0438\u043e\u043d\u043d\u043e\u0433\u043e \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u043a\u043e\u0440\u0442\u0435\u0436\u0435\u0439 \u043f\u0440\u0438 \u0444\u043e\u0440\u043c\u0443\u043b\u0438\u0440\u043e\u0432\u043a\u0438 \u0437\u0430\u043f\u0440\u043e\u0441\u043e\u0432.<\/p>\n

1.\u041f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0432\u0441\u0435 \u0442\u0430\u043a\u0438\u0435 \u043f\u0430\u0440\u044b \u043d\u043e\u043c\u0435\u0440\u043e\u0432 \u043f\u043e\u0441\u0442\u0430\u0432\u0449\u0438\u043a\u043e\u0432 \u0447\u0442\u043e 2 \u043f\u043e\u0441\u0442\u0430\u0432\u0449\u0438\u043a\u0430 \u0440\u0430\u0437\u043c\u0435\u0449\u0430\u044e\u0442\u0441\u044f \u0432 \u043e\u0434\u043d\u043e\u043c \u0433\u043e\u0440\u043e\u0434\u0435
\n(SX.X# AS FIRSTS#, SY.Y# AS SECONDS#)
\nWHERE SX.CITY=SY.CITY AND SX.S#<SY.S#<\/p>\n

<\/a><\/div>
\u0441\u043a\u0430\u0447\u0430\u0442\u044c<\/a><\/div><\/div>
<\/div><\/p>\n","protected":false},"excerpt":{"rendered":"

\u041f\u0440\u0438\u0432\u0435\u0434\u0435\u043c \u0433\u0440\u0430\u043c\u043c\u0430\u0442\u0438\u043a\u0443 \u0434\u043b\u044f \u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u043a\u043e\u0440\u0442\u0435\u0436\u0435\u0439 \u0432 \u0444\u043e\u0440\u043c\u0435 \u0411.\u041d.\u0424. \u043a\u0432\u0430\u0434\u0440\u0430\u0442\u043d\u044b\u0435 \u0441\u043a\u043e\u0431\u043a\u0438 \u0437\u0434\u0435\u0441\u044c \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u043d\u0430 \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u043e\u043f\u0443\u0449\u0435\u043d\u044b.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[5],"tags":[],"_links":{"self":[{"href":"http:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/85"}],"collection":[{"href":"http:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=85"}],"version-history":[{"count":2,"href":"http:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/85\/revisions"}],"predecessor-version":[{"id":87,"href":"http:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/85\/revisions\/87"}],"wp:attachment":[{"href":"http:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=85"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=85"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=85"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}