ГОСТ Емтиханга дайындалуга / Лекция / лекция 7 казакша
.docЕгер Р - болса предикат болса, онда Дения Рға суждың жанында төмендегiше жазып алу бейнелi түрдеу мүмкiн шын болып қалыптасады бейнелi түрдеу мүмкiн айнымалы холардың барлық мәндерiн жиын: {(холар ) Рдың холары Предикаттар логикалық операторлар көмегiмен жалғастыра алады ма?(AND ) ?? (OR ) (NOT ) және құрама предикаттардың бiлiмiмен. Реляциялық есептеу Реляциялық алгебра өрнектерiндегi белгiсiз рет әрдайым анық менменседi, сұрау салуды бағаның белгiсiз стратегиясы былайша жобаланады. Сұрау салуды бағаның ешқандай да сипаттамасы, реляциялық есептеудi сұрау салуда бар болмайды алу керек болатынын көрсетiлгенiнде емес, реляциялық есептеуде. Реляциялық есептеу деректер қоры контекстте екi формалардағы бар болады:
- шерулердi реляциялық есептеудi ұсынған Коддомды формада; - ұсынған Лакруаны формада және домендердiң реляциялық есептеуi пиро.
Бiрiншi дәреженiң логикасында немесе предикатпен предикаттардың есептеуiнiң теориялары дәлелдерi бар шындық функция жобаланады. Котоның функцияның мәндерiнiң бықығанының гументов ар орынына алмастырудың жанында бола алады. Есептiң шерулерiн реляциялық есептеуде жей предикат үшiн шын болып табылған корты табылуда тұрады. Қайта айырбас шерулерге бұл есептеулер негiзделген. Айнымалы шерулермен яғни ределениясы облысы оп көрcетiлген қатынас болып табылған айнымалы мүмкiн мәндер үшiн осы қатынастың тек қана шерулерi бола алатын айнымалы болып табылады.
Домендердiң реляциялық есептеуiнде мәнi домендерден алатын айнымалы қатынастардың шерулерiнен емес қолданылады. Домендердiң реляциялық есептеуiнде анықталу, көрcетiлген қатынасқа мәндер жату үшiн надлежностидың жанында шартты тексеруге көбiнесе керек болады. Ұсыныстар Негiздi қатынас - шерулерi деректер қорларына физикалық сақталатын схемаға концептуалънойға аты аталған қатынас, тиiстi мәндер. Ұсыныстың ұғымы негiздi қатынастардың негiзiнде анықталады. Ұсыныс - бұл басқа қатынастың мүйiзi онда жасаудың мақсаты бар негiздi қатынастарының үстiнде бiр немесе бiрнеше реляциялық операцияларының динамикалық нәтижесi.
Ұсыныс деректер қорына жүзеге асатындай бар болмайтын кию виртуалды болып табылады, бiрақ тороеге бұл талаптың түсуi жеке қолданушының талабы бойынша кезде жасалады.
Ұсыныстарға концептуалды схеманың Ция реорганизасы қолданушы изоляцияға қатысты мәлiметтен тәуелсiздiктердi маңызды түрден астам логиче ской да қол жеткiзуге мүмкiндiк бередi. Мәлiметтердiң негiздi қатынасындағы барлық жаңартулары негiздi қатынаспен бұл сабақтас барлық ұсыныстардағы дереу қайтаруы керек. Дәл осылай оның негiздi қатынасында енгiзiлген өзгерiстердiң мәлiметтердiң ұсынысында жаңартуда қайтаруы керек.
ДҚБЖ қашан реляциялық санауға болады Кодд (егер 0-шi iргелi ереженi есепке алынса айқынырақ 13) реляциялық жүйелердiң Ния определесiнiң 12 ережелерiн ұсынды. Бұл ережелер бойынша шындығында реляциялық жүйелердiң дәрежесiне ДҚБЖ лежность үстiнде анықтауға болған эталон өзiнiң түрi құрастырады, Бұл ережелер бес функционалдық топтарға бөлуге болады. 1. Iргелi ережелер. 2. Құрылымдық ережелер. 3. Бүтiндiктiң ережелерi. 4. Мәлiметтердiң басқаруының ережелерi. 5. Мәлiметтен тәуелсiздiктiң ережелерi. Негiзгi әдебиет: [105-145 ] 1 Бақылау сұрақтары: 1. Реляциялық тiлдер неткен бар болады? 2. Реляциялық алгебраның тағайындауы түсiндiрiңiз. Негiзгi операциялар неткен реляциялық алгебралар негiзiнде жатады? 3. Реляциялық есептеудi тағайындау түсiндiрiңiз. Түрлер неткен реляциялық есептеуде болады? 4. Ұсыныс, негiздi қатынас түсiнiк берiлiңiз және олар үшiн не арналған ба? 5. Реляциялық жүйелердiң Ния определесiнiң ережелерi неткен бар болады?