Лекция. Тақырыбы: Форма мәні, құрылымы, құру тәсілдері. Жоспары



бет11/12
Дата19.04.2023
өлшемі88,29 Kb.
#174952
түріЛекция
1   ...   4   5   6   7   8   9   10   11   12
Байланысты:
Лекция. Та ырыбы Форма м ні, рылымы, ру т сілдері. Жоспары

лекция тақырыбы: Дедуктивті мәліметтер қоры

Дедуктивті дерекқорлар, дедуктивті дерекқор екі бөліктен тұрады: экстенциональды фактілер бар және қасақана, экстенциональды және пайдаланушы сұраудың негізінде жаңа фактілерді шығару ережелерін қамтитын. Ол SQL-бағдарланған реляциялық деректер базасын басқару жүйесін осындай жалпы анықтауда дедуктивті жүйесін жатқызуға болады, бұл көруге оңай. Шынында да, деректер базасын жоқ қасақана бөлігі ретінде реляциялық деректер базасын өкілдік белгілі бір үлгі бар. Ақыр аяғында, бұл шын мәнінде нақты механизмі қолданыстағы жаңа фактілерді анықтау үшін пайдаланылған қандай маңызды емес. үлгідегі нәтижесі операторы кестеде қалыптасады, өйткені өкілдік анықтау SQL негізгі элементі жағдайда, әбден табиғи болып SQL мәлімдеме үлгісі болып табылады. тұсаукесері
базалық кестелер, сонымен қатар идеялар ғана емес анықталуы мүмкін, себебі мен, қажетті ауқымдылығы ұсынды. нақты дедуктивті Реляциялық деректер базасы негізгі айырмашылығы ережелер мен деректер базасын қасақана бөлігі, және пайдаланушы сұраулар Рекурсия қамтуы мүмкін. Бірі, ол әрқашан жақсы Рекурсия деп айтуға болады. Алайда, рекурсивті сұрау ережесін айқындау және мүмкіндігі реляциялық жүйелерінде үлкен проблемалар (қарабайыр компоненттері бойынша күрделі бөлшектерді, мысалы, бөлшектеу проблемалар) тудыруы дедуктивті дерекқор проблемаларды оңай шешімін береді. Екінші жағынан, Рекурсия мүмкіндігі дедуктивті деректер базасын іске асыру өте күрделі және көптеген жағдайларда тиімді шешілмейтін проблема болып табылады құрайды. Біз толығырақ шектеулер мен дедуктивті жүйелерінде пайдаланылатын әдістерді қолдануға нақты мәселелерін қарастыру мүмкін емес. Біз тек осы әдетте тілдерді сұрау және қасақана бөліктерін анықтау атап логикалық дерекқор (DB дедуктивті сондықтан жиі логикалық деп аталатын) болып табылады. білім негіздерімен тікелей байланыс дедуктивті дерекқор (деректер базасын қасақана бөлігі білім базасы ретінде қарастыруға болады) бар. Сонымен қатар, ол осы екі тұлғалар ажырата қиын; кем дегенде, осы мәселе бойынша жалпы пікір жоқ. Реляциялық деректер базасымен дедуктивті деректер базасын байланыс реляциялық деректер базасын ұстап қалуының бір нұқсанды ерекше жағдайда екенін, сонымен қатар, қандай? Негізгі бұл дедуктивті деректер базасын іске асыру үшін таралған реляциялық жүйесі болып табылады. Бұл жүйе дедуктивті деректер базасын деңгейіне түсетін фактілер мен суретші сұрау сақтаушысы ретінде әрекет етеді. Айтпақшы, реляциялық деректер базасын осы пайдалану күрт жаһандық сұрауы оңтайландыру өзекті мәселені. типтік реляциялық деректер базасы өтінішті әдетте бір өңдеу бірі келіп, сондықтан олардың жаһандық (mezhzaprosnoy) оңтайландыру үшін ешқандай себеп жоқ. бір пайдаланушы сұрау, әдетте, бірге оңтайландырылған мүмкін реляциялық ДҚБЖ үшін сұрау пакетін жасайды дедуктивті дерекқор. дедуктивті деректер базасын ережелер жиынтығы үлкен болып, және олар жадында орналастырылуы мүмкін емес, онда, әрине, жағдайда, сыртқы жадта оларға сақтау және қол басқару проблемасы бар. Мұнда тағы да, реляциялық жүйесі қолданылуы мүмкін, бірақ бұл өте тиімді болып табылады. Ол неғұрлым күрделі деректер құрылыстар мен өзге де таңдау шарттарын талап етеді. әлі бұл мәселені, бірақ жалпы шешімін шешуге белгілі жеке әрекеттері.
Жалпы жағдайда пайымдаудың келесі түрлері қарастырылады:

  • индуктивті- жекешеліктен жалпыламалыққа;

  • анық немесе дедуктивті- жалпыламалықтан жекешеге;

  • шындықты- жекешеден жекешеге.

Индуктивті (жекешеден жалпыламалыққа) пайымдау қоршаған ортаны тану жолын бейнелейді.
Дедуктивті ойша пайымдау- ол ойша пайымдаудың мұндай формасы, тиесілі анықталған белгінің қорытындысы объектіге таза логикалық тәсілмен ( яғни логика заңымен) обектінің класстар жөнінде жалпы білім негізінде жүзеге асыру.


Достарыңызбен бөлісу:
1   ...   4   5   6   7   8   9   10   11   12




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет