Funksjonele ôfhinklikheid en relational databases

Ynformaasje hat altyd west in adekwate dynamyk fan belang. Untjouwing, relational databases en ynformaasje technology programmearring talen dramatysk feroare de ynhâld en struktuer fan belang. Der is in bepaalde strang fertsjintwurdiging systeem. Formalization, de eksakte rekkenjen en binêre relaasjes hawwe wurden in súksesfol en fluch groeiende, gebiet fan saakkundigens en ûnderfining.

De natuerlike wrâld fan ynformaasje is net feroare syn dynamyk en ûntwikkeljen fan de ynhâld en struktuer, klommen nei nije hichten. It hat in glêde foarm, en yn de natuer is der neat "rjochthoekich". Ynformaasje, fansels, wurde offisjeel fêstlein, mar it hat in dynamyske, feroarjend net allinne de gegevens en algoritmen fan harren ferwurking, it feroarjen fan de taken harsels en har fjilden fan tapassing.

Information> formalization fan gegevens >>

De ynformaasje wurdt omset yn 'e gegevens (data model, ynformaasje struktuer, gegevens basis ...) as it sjocht programmeur. Der is gjin inkele garânsje dat dy fisy is korrekt, mar as it programma lost it probleem, de gegevens waard dêrnei presintearre adekwaat mooglike manier.

De fraach fan hoe goed offisjeel fêstlein ynformaasje - in kwestje fan tiid. Oant no ta, it konsept fan dynamyk (sels-oanpassing oan feroarjende omstannichheden fan gebrûk) - allinne mar dreame fan de programmearring.

Tapasbere ôfhinklikheid: "it rjocht beslút = programma (programmeur)" en de tastân fan "trochgeande neikommen probleem" binne jildich yn de measte gefallen, mar allinnich byinoar. Mar dit is gjin wiskundige basis, dy't brûkt wurdt om te meitsjen databanken.

Direct útspraak: natuerlike en trochrinnende dynamyk fan ynformaasje en probleem-oplossen fan algoritmen echt altyd. In relational databank is in binêr relaasje + + strange wiskunde krekte formele design + ...

Gegevens, triemmen en databanken

Hoe gegevens wurdt opslein foar langere tiid makket neat út, wêze it ûnthâld of in eksterne apparaat. Hardware komponint hat berikt in fêst tempo fan ûntwikkeling en soargje foar goede kwaliteit yn grutte dielen.

Main opslach opsjes, ferskate embodiments út brûken:

• triemen;
• databank.

It earste wurdt jûn oan de genede fan 'e programmeur (dat rekôr, yn hokker formaat, hoe om te dwaan is, hoe om te lêzen ...), it twadde daliks bringt it ferlet fan kennis fan simpele funksjonele Ofhinklikens.

De sampling taryf en it opnimmen ynformaasje oer triemmen (fan reedlik grutte en net astronomyske) is hiel hastich, en de faasje fan ferlykbere databank operaasjes kinne soms wêze gâns stadiger.

Persoanlike ûnderfining en kollektyf wiisheid

Yn de skiednis hawwe der besocht te gean fierder as de limyt berikt is, mar oant hjoed de dei dominearje relational databases. In rykdom fan teoretyske potinsje, de praktyk fan útwreide en ûntwikkelers - kwalifisearre.

It begryp funksjoneel ôfhinklikens fan de databank ûntwikkelers oplizze in programmeur, ek as er net fan doel om de rykdom fan matematysk-logysk ûnderfining fan it bouwen fan komplekse ynformaasje struktueren, prosessen, wurk mei harren, sampling en opnimmen ynformaasje.

Sels yn 'e simpelste gefal, de programmeur hinget ôf fan de databank logika, gjin saak wat er derfoar kiest om te wurkjen. Der is gjin winsk ta folgje de canons, kinne jo gebrûk meitsje fan de triemmen dy 'krije in soad triemmen, en in soad persoanlike ûnderfining. in protte persoanlike tiid wurdt bestege, en it probleem wurdt oplost foar in lange tiid.

Gjin saak hoe dreech meie ferskine foarbylden fan funksjoneel ôfhinklikheid, net needsaaklikerwize sinke yn 'e djipte fan de betsjutting en de logika. Faak, dan moat wurde erkend dat it kollektyf yntelliginsje by steat te meitsjen ferskillende databases, ferskillende grutte en funksjonaliteit:

• bêst Oracle;
• fergjen de MS de SQL-tsjinner ;
• populêre MySQL.

- poerbêst relational databases mei in goede reputaasje, maklik te brûken, fluch yn betûft hannen. Harren gebrûk sparret tiid en elimineert de needsaak om te skriuwen it folgjende wurkblêd helptiidwurd koade.

Funksjes Programming en Gegevens

Yn programmearring hat lang in sykte dy't hieltyd nij skreaun, werhelje it wurk fan foargongers, dy't ien of oare wize wat oan te passen oan de feroare ynformaasje, taak, of de betingsten fan syn brûken.

De nuverheden fan de funksjonele ôfhinklikheid is dat, as yn de programmearring flater kin wêze hiel djoer. De taak is selden simpel. Meastal, tidens de formalization fan de ynformaasje krigen troch de komplekse fertsjintwurdiging fan 'e gegevens. harren eleminten wurde meastal identifisearre, dan se binne keppele oan bepaalde kaai relaasjes, dan wurdt oprjochte algoritmen foarm fan tabellen, fragen, ynformaasje opheljen algoritmen.

Faak grutte wearde is bûn oan de kodearring. Net alle databanken biede mobile oplossingen kinne faak wurde konfrontearre mei hoe goed skieringer MySQL, wêrop leit in tsiental databases, poerbêste en stabile wurkjen en drukte de projektûntwikkelder om de alfde basis fergelykber mei dy al dêr.

Der binne tiden doe't in dielde hosting limitearret hoefolle funksjonaliteit fan PHP en beynfloedet de programmearring fan databank tagong.

Yn de hjoeddeiske Programming ferantwurdlikheid foar it lykweardich ferantwurdlikens programma algoritme foar it oprjochtsjen fan in gegevens model. Alle moatte wurkje, mar jo moatte altyd stoute skuon yn it doalhôf fan 'e teory.

DB: simple relaasje yn 'e gegevens

Earst fan alle, it begryp database - dy databank as behear systeem databanken (bgl, MySQL), en guon ynformaasje struktuer reflecting de gegevens objekten en relaasjes tusken harren. Ien databank MySQL «hold» op himsels as in protte ynformaasje struktueren foar ferskate tapassings. Ien Oracle databank kin foarsjen ynformaasje prosessen fan in grut bedriuw of bank om de feiligens en de gegevens yntegriteit op it heechste nivo, dat leit op in set fan kompjûters dy't op ferskillende ôfstannen yn ferskillende ark fermiddens.

Accepted der fan út dat de ferhâlding is de basis relational model. In elementary relaasje - is in set fan kolommen en rigen mei de nammen fan wearden. Classic "box" (sjoch tabel) - in ienfâldige en effektive foarútgong. De kompleksiteit en de funksjonele ôfhinklikens fan de databank begjint as de "doazen" begjint mei it oangean fan in relaasje mei elkoar.

De namme fan elke kolom yn elke tabel moat unyk wêze yn it ramt fan it probleem. Itselde kin net jûn wurde yn twa tafels. Kenne de betsjutting fan 'e begripen:

• "Fuortset de essinsje";
• "Utslute ûntslach";
• "Fêste relaasje";
• "Om de krektens."

- in legere moatte brûke in databank en it bouwen fan in gegevens model foar in spesifike taak.

Striid mei ien fan dy begripen - de lege effisjinsje fan 'e algoritme, stadige gegevens sampling, gegevens ferlies en oare problemen.

Tapasbere ôfhinklikheid: de logika en betsjutting

Jo kinne net lêze oer de tuples fan relaasjes, oer it feit dat de funksje - in set fan arguminten matching set fan wearden en funksje - is net allinne in formule of skema, mar kin jûn in set fan wearden - tafel.

Net needsaaklik, mar it docht net sear te fertsjintwurdigjen de funksjonele relaasje as:

F (x1, x2, ..., XN) = (y1, y2, ..., yN).

Mar wês der wis fan te begripen, dat by de yngong - de tafel, de útfier is ek in tafel of in spesifyk beslút. Typysk, de funksjonele relaasje stelt de logika fan 'e relaasje tusken de tafels, fragen, privileezjes, aktivearret, opslein prosedueres en oare stuiten (ûnderdielen) databank.

Normaal, de tafels omset wurde nei elkoar, dan nei it resultaat. Mar it gebrûk fan funksjonele ôfhinklikens is net beheind ta sa'n idee. De programmeur bout de fertsjintwurdiging fan 'e foto gegevens, it domein model, ynformaasje struktuer ... hoe te neame it, mar as it wurket foar in spesifike databank, dat moat op grûn fan syn logika, om rekken hâlde har sin en dialekt fan' e taal brûkt wurdt, as in regel, SQL.

It kin oanfierd dat de funksjonele eigenskippen fan de databank Ofhinklikens binne beskikber fia it dialekt brûkt troch de SQL taal. Mar folle wichtiger om te begripen, dat nei alle it wol en wee fan 'e ûntwikkeling, net sa folle databases oerlibbe, mar in soad dialekten fan de taal en specifics fan ynterne struktueren yn de databanken, te.

Oh de goede âlde Excel

As de kompjûter hat sjen litten himsels oan de positive kant, de wrâld wurdt ienris ûnderferdield yn programmeurs en brûkers. As regel, de earste brûken:

• PHP, Perl, JavaSkript, C ++, Delphi.
• MySQL, Oracle, MS SQL-tsjinner, Visual FoxPro.

second:

• Wurd.
• Excel.

Guon brûkers beheare te meitsje harren eigen (sûnder de help fan programmeurs) yn Word Database - een echte ûnsin.

De ûnderfining fan brûkers yn Excel te meitsjen fan in database - praktysk en nijsgjirrich. It wichtichste is dat Excel, troch himsels, is funksjoneel, kleurrike en praktysk.

Tabular idee hat definearre it begryp funksjoneel ôfhinklikens sichtberens en tagonklikens, mar de nuânses binne by eltse databank. Eltsenien hat harren eigen "gesicht", mar út Excel nei Oracle manipulate ienfâldige pleinen, dws wetstafels.

As wy beskôgje dat Excel - dit is gjin databank, mar in protte, brûkers (net ûntwikkelers) It wurdt sa brûkt, en de Oracle - is kompleks en krêftich om te kommen ta in grut team fan ûntwikkelers is op it mêd fan databanken, wurdt natuerlike te admit - de databank is in fertsjintwurdiging bepaalde programmeur (team) fan 'e spesifike probleem en de oplossing.

Wat is de funksjonele relaasje, mei wat, wêr, wêrom ... blykber allinnich nei de skriuwer of groep dêrfan.

Oer dêr't relational opfettings binne

Wittenskiplike en technologyske foarútgong - een hiel pynlik proseduere, en soms wreed. As jo bring wêr't de databank begûn, wat de * .dbf, beide branded cybernetics, doe rekke fereale kompjûter wittenskip en begûn te regeljen obstakels oan de beweging fan de hege-tech op it lân nivo, wurdt dúdlik wêrom't relational databases binne sa fêsthaldend en goed. Wêrom is it klassike styl oant hjoed de dei live programmearring, en object-rjochte programmearring is gewoan wurdearre, mar hat noch net hearske.

Gjin saak hoe moai de funksjonele relaasje yn it ramt fan de wiskunde:

Dit is gjin binaire relaasje, of leaver, it is in oanlieding om te rethink it idee fan it lizzen fan ferbannen tusken de mearfâldichheid fan attributen, te ûndersykjen it "ien-nei-protte" kommunikaasje, "in protte op ien", "in protte mei in protte" of "in protte dwaan, en ien yn it bysûnder."

Opsjes relaasjes kinne komme mei grutte ferskaat. Dat de wiskunde foar logika, en it is strang! Ynformaasje - It hat syn eigen wiskunde, spesjaal. It kin allinne wêze in hammerstik te sizzen mei in hiel grutte efterstân.

Jo kinne konkreet foarm it wurk fan 'e personielsbelied ôfdieling, skriuwe ACS foar it winnen fan oalje of de produksje fan molke, brea, meitsje in seleksje yn in grutte basis fan Google, Yandex en Rambler, mar it resultaat sil altyd wêze statyske, en elts punt op' e tiid is itselde!

As de funksjonele relaasje = strang logika en wiskunde = basis foar de databank, hokfoar dynamika kinne wy prate. Any beslút sil formeel, eltse formele data model + = strang algoritme sekuere en unambiguous beslút. Ynformaasje en omfang fan in programma feroaret yn alle tiden.

Sample sykmasine op deselde sykterm kin net itselde wêze nei in oere of twa, en, dúdlik, yn in dei - as de sykterm ferwiist nei it ynformaasje gebiet wêryn in oantal plakken, middels, kennis, en oare eleminten wurde kontinu feroaret .

Oer linen en objekten

Ek as it programma is suver wiskundige, en syn databank is net iens tinken oer de dynamyk fan alles der is altyd in line. En der is in lange line. En it is ûneinige kin net wêze. It kin net iens wêze in fariabele, de fariabele allinnich conditionally. Dêrneist alle databank fan harren wiskundich en binary-burokrasy opleit in soad formaliteiten, en dizze snelheid + kwaliteit sampling en ynformaasje ferwurkjen.

строки условно-переменной длины с массой бинарных формальностей и строгих математических ограничений. As dizze of oare fjilden yn de database fan de gegevens, benammen echt yn de beheining wurdt tafoege: de bytsje nûmer, de oanwêzigens fan 'e brief' e ', presintaasje format - koartsein oeral en altyd hawwe de wichtige eigenskippen fan funksjoneel databank Ofhinklikens: string conditional variable lingte mei in massa fan binêre formaliteiten en strang wiskundige beheinings.

As jo feroarje de toan en harkje nei de pols fan 'e dynamyk, alle objekten kinne wurde skildere op. Yn de earste ûnderlinge oanpassing, de kolom namme yn de tabel - is in foarwerp, in list fan nammen - deselde foarwerp, koartsein tabel - in foarwerp fan koptekst en dat nammen fan 'e kolommen yn' e kop. En caps koe net wêze ...

Lykwols, snaren kin in tafel. En yn 'e line kin wêze fan de wearde. En wêrom hja moatte altyd wêze itselde nûmer. Full fjouwerkante tafel - dy bysûndere, en yn de measte gefallen, privee.

As jo foarstelle alle ûntwerpen yn de databank foarwerpen, dan, miskien, hast net te bouwen in strang binêre relaasjes. Dit is in natuerlike en in echte gefoel, as allinne omdat it in doelstelling fan (seker net wiskundige) logika wjerspegelet de dynamyk fan de ynformaasje en de omjouwing dêr't der binne taken.