23.6.27-23.6.30. Не может быть выполнено без функций группирования и функций обобщения.

23.6.31. RES ( jn ) J ( j, jn, jc ) AND

SPJ ( Sl, p, j, q ) ? <= RES ( jn )

23.6.32. RES ( pi ) <= P ( p, рл, pi, w, pc ) AND

SPJ ( Sl, p, j, q ) ?<= RES ( pi )

23.6.33. RES ( p )<= P ( p, pn, pi, w, pc ) AND

SPJ ( s, p, j, q ) AND J ( j, jn, London )

? <= RES ( p )

23.6.34. RES ( ; ) SPJ ( s, p, j, g ) AND

S ( Sl, p, j2, q2 )

? RES ( j )

23.6.35. RES ( s ) SPJ ( s, p, j, g ) AND

SPJ ( s2, p, j2, q2 ) AND

SPJ ( s2, p2, j3, qS ) AND

P ( p2, pn, Red, w, с ) ? <= RES ( s )

23.6.36. RES ( s ) <= S ( s, sn, st, с ) AND

S ( Sl, snl, stl, cl ) AND st < stl ? <= RES { s )

23.6.37-23.6.39. He может быть выполнено без функций группирования и функций обобщения.

23.6.40-23.6.44. Не может быть выполнено без операции отрицания.

23.6.45. RES ( с ) <= S ( S, sn, st, с ) RES ( с ) Р ( р, рл, pi, V, с ) RES ( с ) <= J ( j, jn, с )

? <= RES ( с )

23.6.46. RES ( р ) <= SPJ ( s, p, j, q ) AND

S ( s, sn, st, London ) RES ( p ) SPJ ( s, p, j, q ) AND

J ( j, jn, London ) ? <= RES ( p )

23.6.47-23.6.48. He может быть выполнено без операции отрицания. 23.6.49-23.6.50. Не может быть выполнено без операций группирования. 23.7. Покажем ограничения как обычные следствия, вместо того чтобы применять обратный стиль, используемый в языке Datalog. а) CITY ( London ) CITY ( Paris ) CITY ( Rome )

cm ( Athens )

cm ( Oslo )

CITY ( Stockholm ) CITY ( Madrid ) CITY ( Amsterdam )

S ( s, sn, st, с ) => CITY ( с ) P ( p, pn, pc, pw, с ) => CITY ( с ) J ( j, jn, с ) => CITY ( с )

б) He может быть выполнено без соответствующих скалярных операторов.

в) Р ( р, рл, Red, pw, с ) = pw < 50

г) Не может быть выполнено без операторов отрицания и обобщения.

д) S ( sJ, snl, Stl, Athens ) AND

S ( s2, sn2, st2, Athens ) sJ = s2

е) He может быть выполнено без операторов группирования и обобщения.

ж) Не может быть выполнено без операторов группирования и обобщения.

з) J ( j/ j, с ) S ( s, sn, st, с )

и) J ( j, jn, с ) => SPJ ( s, p, j, j ) AND S ( s, sn, st, с )

к) P ( pJ, pnl, pll, pwl, pel ) => ? ( p2, pn2, Red, pw2, pc2 )

л) He может быть выполнено без операторов обобщения.

м) S ( S, sn, st, London ) => SP ( s, Р2, g )

h) P ( pJ, pnl, pll, pwl, pel)

P ( p2, pn2, Red, pw2, pc2 ) AND pw2 < 50

o) He может быть выполнено без операторов обобщения.

п) Не может быть выполнено без операторов обобщения.

р) Не может быть выполнено (это ограничение перехода).

с) Не может быть выполнено (это ограничение перехода).

Часть VI

Объектные и объектно-реляционные базы данных

Объектная технология является важной областью в сфере разработки программного обеспечения в целом. Поэтому возникает естественный вопрос, важна ли эта технология, в частности, в сфере управления базами данных, и если важна, то какова ее значимость для этой сферы. Единого мнения, однако, по этому вопросу пока нет! Одни авторитетные источники считают, что в недалеком будущем объектные системы баз данных получат признание во всем мире и полностью заменят реляционные системы. Другие же полагают, что объектные системы подходят лишь для определенного, очень ограниченного круга задач и никогда не займут сколько-нибудь значительную часть рынка баз данных. Совсем недавно начали появляться системы, поддерживающие третий путь : они объединяют объектную и реляционную технологии и пытаются везде поспеть. В двух главах этой заключительной части книги приведенный выше вопрос рассматривается достаточно глубоко: в главе 24 обсуждаются чисто объектные системы, а в главе 25 - более новые объектно-реляционные системы.