дедуктивті және индуктивті
түйіндемелер түсіністік орын және логика теориялық
сұрақтардың меңгеру. Бұл логикалық деп, сондай-ақ атап өткен жөн ауа іспетті, тыныс
сияқты, табиғи таныс және көрінбейтін. Ол көтереді адамзат мәдениетінің әлемде
қанаттарының бізге әрбір әкеледі бірегейлігін түсіну үшін бірегей,
жеке тұлғаның ұғыну,
Айналамыздағы әлем, өзі үйлесімділік сезімін, әлі күнге дейін ярости. Интуитивті барлығына
белгілі дәлелдер логика мен теориясы. Дәлелдер Кез келген процесс логика заңдары мен
оның қызметінің пайдалануға негізделген. Өзгелерді сендіре дәлелдер теориясы
қағидаттарына негізделген адамдар.
15
лекция тақырыбы:
Темперальді мәліметтер қоры.
Дәстүрлі дерекқорлар домен моделін суретін сақтауға. объектінің уақыттың кез келген
өзгеріс алдыңғы уақытта объектінің мемлекет болмаған әкеледі. шын мәнінде,
нысанның
дамыған дерекқор алдыңғы күйіне көптеген өзгерістер журналына ең қызықты сақталады
деп, бірақ пайдаланушы қол жеткізу үшін мүмкіндіктер жоқ. Әрине, сіз анық сақталған
қарым- қатынас айқын уақытша атрибуты енеді және қолданбалы деңгейде оның мәні сақтай
алады. Сонымен қатар, көп жағдайда, олар келеді. Емес стандартты SQL деректер түрлері
ештеңе үшін арнайы күн мен уақыт болды. Бірақ бұл тәсіл бірнеше кемшіліктері бар:
дерекқор уақытша қарым-қатынас саласындағы семантикасын білмейді,
және оның
құндылықтары дұрыстығын бақылау мүмкін емес; қосымша сақтау резервтеу (алдыңғы
мемлекеттік және деректер нысаны негізгі дерекқор және өзгерістер журналына сақталады)
бар; сұрауы тілдері, реляциялық дерекқорлар уақыт бойы жұмыс істеу үшін арналмаған.
уақытша деректер базасын саласындағы зерттеулер мен әзірлемелер жеке ауданы бар. Бұл
аймақ және т.б. деректер модельдеу мәселелерін, сұрау тілдерін, сыртқы жадта деректерді
ұйымдастыру, зерттейді негізгі тезис уақытша жүйелері уақыт аралығы кез келген деректер
нысаны үшін кезінде t1 құрылды және кезде t2 қираған, деректер базасында сақталған, бұл
(және пайдаланушыларға қол жетімді), оның мемлекет барлық. уақытша деректер базасын
зерттеу және прототиптер құрастыру әдетте Реляциялық деректер базасын негізінде жүзеге
асырылады. Реляциялық жүйесін қондырма - дедуктивті дерекқор уақытша деректер базасын
жағдайда ретінде. Әрине, бұл тиімділік тұрғысынан іске асыру үшін ең жақсы тәсілі болып
табылады, бірақ ол қарапайым және сіз жеткілікті терең зерттеулер жүргізуге мүмкіндік
береді. іргелі (бірақ, бәлкім, шала) мысал уақытша деректер
базасын проблема дерекқор
Postgres бола алады шешу. Бұл жүйе Беркли университетінде студенттердің ғылыми-зерттеу
және оқыту үшін M.Stounbrekera әзірленген, және ол ең батыл қауіпсіз оған жүрді болды
эксперименттер. Postgres жады басқару жүйесінің негізгі ерекшеліктері, ол кәдімгі каротаж
дерекқор өзгерістер жүргізілді, және бірден жоғалту perevyzova жүйесі мемлекеттік RAM
кейін деректер базасын дұрыс жағдайын
қамтамасыз емес екенін, біріншіден, болып
табылады.
Екіншіден, жады басқару жүйесі тарихи деректерді сақтайды. Сұрау салулар объектілерін
уақытша сипаттамаларын қамтуы мүмкін. Өткізудің, осы екі аспектілері байланысты. Негізгі
шешім кортеж өзгерістер нұсқалары туралы-сайт сақтау құрады, және өзгертілуі өрістер
орналастырылады
жаңа рекорд, іске екенін. табылады Бұл жазба бар, сонымен қатар,
деректер (оның аяқталу уақытын қоса алғанда) өзгерістер енгізуге мәмілені сипаттайтын,
және тізімде берілген мәндер өзгереді. жүйе мәміле бірегей сәйкестендіру қолдау және
тұрақты жадында сақталған арнайы операция үстелдер бар. Осылайша,
апаттан кейін ғана
толық мәмілелерге байланысты құйрық жазба тізімдерге көңіл аудармаймын. Қадамдастыру
кәдімгі екі фазалық хаттама қысқыштары негізделген сақталады. жүйенің жеке компоненті
дерекқор нысандарын мұрағаттау орындайды. Ол кортежи өзгеріп отырады және мұрағаттау
саласындағы оларды жазып қопасының тізімдерін жинайды. Бұл аймақ, сондай-ақ, бірақ тек
оқу үшін, сұрау жолданған болады. жүйе бірыңғай ескере отырып, оптикалық дискілер
пайдалану және тұрақты жады (кем дегенде шағын сомасы) бағытталған болатын. Мұндай
техникалық құралдарды қатысуымен ол логинмен схема салыстырғанда, дәстүрлі режимінде
жұмыс істейтін, тіпті тиімділігін жеңеді. жүйесінің тиімділігін дәстүрлі
схемаларын аздап
кем, ал Алайда, ол, дәстүрлі жабдықта жұмыс істеуге болады. Тиісті Postquel тілінде
енгізілген тарихи деректермен жұмыс істеу үшін мүмкіндіктері (және осы Quel соңғы
нұсқаларын оның негізгі айырмашылығы болып табылады) және т.б. көрсетілген уақыт
аралығында көрсетілген уақытта деректер базасында сақталған ақпаратты .A үлгісі, Сонымен
қатар, ол қарым-қатынас нұсқасын жасауға болады, ал
кейіннен өзгерістер негізгі
параметрлерін көрсету үшін өзгертілуі мүмкін.
