Fonksyonèl depandans ak baz done relasyon

Enfòmasyon te toujou yon dinamik ase nan enterè yo. Devlopman, baz done relasyon ak teknoloji enfòmasyon lang programmation dramatikman chanje kontni an ak estrikti nan enterè yo. Gen yon sèten sistèm reprezantasyon strik. Ofisyalize, te matematik an egzak ak relasyon binè vin yon siksè ak ap grandi byen vit, zòn nan ekspètiz ak eksperyans li.

mond natirèl la nan enfòmasyon pa te chanje dinamik li yo ak pou devlope kontni ak estrikti, moute ak wotè nouvo. Li te gen yon fòm lis, ak nan lanati pa gen anyen "rektangilè". Enfòmasyon, nan kou, dwe ofisyèlman, men li gen yon dinamik, chanje pa sèlman done yo ak algoritm nan pwosesis yo, chanje travay yo tèt yo ak jaden yo nan aplikasyon an.

Enfòmasyon> ofisyalize nan done >>

Enfòmasyon ki konvèti nan done yo (done modèl, estrikti enfòmasyon, baz done ...) kòm li wè pwogramè. Pa gen okenn garanti ke vizyon sa a ki kòrèk, men si pwogram nan rezoud pwoblèm nan, yo te done yo Lè sa a, prezante byen posib fason.

kesyon an sou fason byen ofisyèlman enfòmasyon - yon kesyon de tan. Jiska kounye a, konsèp nan dinamik (pwòp tèt ou-adaptasyon nan chanje kondisyon yo nan itilize) - sèlman nan rèv pwogramasyon.

Fonksyonèl depandans: "desizyon an dwa = pwogram (pwogramè)" ak kondisyon an nan "pwoblèm kontinyèl konfòmite" yo valab nan pifò ka yo, men se sèlman ansanm. Men sa se pa yon baz matematik, ki te itilize yo kreye baz done.

Dirèk deklarasyon: dinamik natirèl ak kontinyèl nan enfòmasyon ak pou rezoud pwoblèm algoritm reyèlman toujou. Yon baz done relasyon se yon relasyon binè + + matematik strik egzat konsepsyon fòmèl + ...

Done, dosye ak baz done

Ki jan done se ki estoke pou yon tan long pa gen pwoblèm, se pou li memwa oswa yon aparèy ekstèn. te eleman Materyèl rive nan yon rit regilye nan devlopman ak asire bon jan kalite bon nan komèsan gwo.

opsyon depo prensipal yo, reyalizasyon diferan de itilize:

• dosye;
• baz done.

Premye a yo bay nan gen pitye a pwogramè a (ki dosye, nan sa ki fòma, Ki jan yo fè l ', kouman li ...), dezyèm lan imedyatman pote bezwen an pou konesans nan Dependencies senp fonksyonèl.

Pousantaj nan pran echantiyon ak anrejistreman enfòmasyon sou dosye (nan gwosè ki rezonab epi yo pa astwonomik) se trè vit, ak vitès la nan operasyon baz done ki sanble ka pafwa gen anpil pi dousman.

Pèsonèl eksperyans ak bon konprann kolektif

Nan istwa te gen eseye ale pi lwen pase se limit la te rive jwenn, men nan jou sa a domine baz done relasyon. Yon richès nan potansyèl teyorik, pratik la nan devlopè vaste, ak - ki kalifye.

Nosyon de fonksyonèl depandans nan devlopè baz done enpoze yon pwogramè, menm si li pa gen entansyon itilize richès nan eksperyans nan matematik-lojik nan bilding estrikti enfòmasyon konplèks, pwosesis, travay ak yo, pran echantiyon ak anrejistreman enfòmasyon.

Menm nan ka a ki pi senp, pwogramè a depann sou lojik la baz done, pa gen pwoblèm sa li chwazi nan travay. Pa gen okenn dezi yo swiv artifisyèl yo, ou ka itilize dosye yo ki jwenn yon anpil nan dosye, ak yon anpil nan eksperyans pèsonèl. y ap fè yon anpil tan pèsonèl dwe pase, epi yo pral pwoblèm lan dwe rezoud pou yon tan long.

Pa gen pwoblèm ki jan difisil ka parèt egzanp depandans fonksyonèl, pa nesesèman antre nan fon lanmè yo nan siyifikasyon ak lojik. Anpil fwa, li ta dwe rekonèt ke entèlijans la kolektif kapab kreye baz done diferan, diferan gwosè ak fonctionnalités:

• solid Oracle;
• mande MS nan sèvè a SQL ;
• popilè MySQL.

- ekselan baz done relasyon ak yon bon repitasyon, fasil yo sèvi ak, vit nan men kalifye. sèvi ak yo sove tan ak elimine bezwen nan ekri fèy pwochen oksilyè kòd la.

Features Programmation ak Done

Nan pwogram ki depi lontan te yon maladi ki se toujou ap reekri, repete travay la ki te chèf anvan, ki yon jan kanmenm yon bagay pou adapte yo ak enfòmasyon an chanje, travay, oswa kondisyon sa yo nan sèvi ak li yo.

Singularité a nan depandans la fonksyonèl se ke, tankou nan erè a pwogram ka trè chè. Travay la se raman ki senp. Anjeneral, pandan ofisyalize an nan enfòmasyon yo jwenn lan pou pa reprezantasyon an konplèks nan done yo. eleman yo yo anjeneral idantifye, lè sa a yo yo lye nan sèten relasyon kle yo, Lè sa a, ke yo te etabli algoritm fòm tab, demann, algoritm enfòmasyon Rekipere.

Anpil fwa se gwo valè mare nan kodaj a. Se pa tout baz done ofri solisyon mobil ka souvan fè fas ak ki jan byen branche miskl, ki te sou bay manti yon baz done douzèn, ekselan ak ki estab k ap travay, fòse pwomotè a fè baz la onzyèm sanblab ak sa yo deja la.

Gen kèk fwa lè yon hosting pataje limite fonksyonalite a nan PHP ak li afekte pwogram lan nan aksè baz done.

Nan responsablite pwogram jodi a pou ekivalan algorithm nan pwogram responsablite pou kreyasyon an nan yon modèl done. Tout ta dwe travay, men ou dwe toujou plonje nan labirent a nan teyori a.

DB: relasyon senp nan done yo

Premye a tout, konsèp la nan baz done - baz done sa a kòm yon sistèm jesyon baz done (egzanp, miskl), ak kèk estrikti enfòmasyon reflete objè yo done ak relasyon ant yo. Youn baz done miskl «kenbe» sou tèt li kòm estrikti enfòmasyon anpil pou aplikasyon pou divès kalite. Youn Oracle baz done ka bay pwosesis enfòmasyon nan yon konpayi gwo, oubyen yon bank kontwole sekirite ak done entegrite nan nan nivo ki pi wo, yo te chita sou yon seri òdinatè ki nan distans diferan nan yon anviwonman zouti diferan.

Aksepte asime ke rapò a se debaz modèl la relasyon. Yon relasyon ELEMENTARY - se yon seri kolòn ak ranje ak non yo nan valè. Classic "bwat" (gade nan tablo) - yon pwogrè ki senp epi efikas. Konpleksite a ak depandans la fonksyonèl nan baz done a kòmanse lè "bwat yo" yo ap kòmanse antre nan yon relasyon ak youn ak lòt.

Non a nan chak kolòn nan chak tab dwe inik nan yon kontèks la nan pwoblèm nan. Menm bagay la tou pa ka bay nan de tab. Konnen siyifikasyon an nan konsèp yo:

• "Defini sans nan";
• "Eskli èkse";
• "Fiks relasyon";
• "Pou asire presizyon nan."

- yon primè bezwen sèvi ak yon baz done ak bati yon modèl done pou yon travay espesifik.

Vyolasyon nenpòt nan konsèp sa yo - efikasite la ki ba nan algorithm nan, ralanti pran echantiyon done, pèt done ak lòt pwoblèm.

Fonksyonèl depandans: lojik la ak siyifikasyon

Ou pa ka li sou tuples yo nan relasyon yo, sou lefèt ke fonksyon an - yon seri agiman matche seri valè ak fonksyon - se pa sèlman yon fòmil oswa orè, men yo ka bay yon seri valè - tab.

Pa nesesèman, men li pa fè mal yo reprezante relasyon ki fonksyonèl tankou:

F (x1, x2, ..., ksen) = (y1, y2, ..., WN).

Men, asire w ke ou konprann ke nan papòt la - tab la, pwodiksyon an se tou yon tab oswa yon desizyon espesifik. Tipikman, relasyon ki fonksyonèl kouche lojik nan relasyon ki genyen ant tab, demann, privilèj, deklanchman, pwosedi yo ki estoke ak lòt moman (eleman) baz done.

Nòmalman, tab yo yo konvèti nan youn ak lòt, Lè sa a, rezilta a. Men, itilize nan depandans fonksyonèl se pa sa sèlman sa yo lide yon. pwogramè a bati reprezantasyon an nan done yo foto, modèl nan domèn, estrikti enfòmasyon ... pa gen pwoblèm konbyen yo rele li, men si li ap travay pou yon baz done espesifik, li dwe baze sou lojik li yo, pran an kont siyifikasyon li yo ak dyalèk nan lang lan itilize, tankou yon règ, SQL.

Li kapab te diskite ke pwopriyete yo fonksyonèl nan Dependencies yo baz done ki disponib nan dyalèk la itilize pa lang nan SQL. Men, pi plis enpòtan ke ou konprann ke apre tout UPS yo ak Downs nan devlopman, pa baz done anpil siviv, men dyalèk anpil nan lang lan ak spesifik nan estrikti entèn nan baz done yo, tou.

Oh bon fin vye granmoun Excel a

Lè gen òdinatè a montre tèt li sou kote pozitif la, se mond lan yon fwa divize an pwogramasyon yo ak divinò. Kòm yon règ, itilize nan premye:

• PHP, pèrl, JavaScript, C ++, Delphi.
• Miskl, Oracle, MS SQL sèvè, vizyèl FoxPro.

dezyèm:

• Pawòl.
• Excel.

Gen kèk itilizatè jere fè pwòp yo (san yo pa èd nan pwogramasyon) nan baz done Pawòl - yon istwa san sans reyèl.

Eksperyans nan nan itilizatè nan Excel yo kreye yon baz done - pratik epi ki enteresan. Sa ki enpòtan se ke Excel, pou kont li, se fonksyonèl, kolore ak pratik.

te tabulaire lide defini konsèp nan fonksyonèl depandans nan vizibilite ak aksè, men nuans yo nan chak baz done. Tout moun gen pwòp yo "fè fas a", men nan Excel nan Oracle manipile kare senp, tab sa vle di.

Si nou konsidere ke Excel - sa a se pa yon baz done, men anpil, itilizatè (pa devlopè) li se konsa itilize, epi Oracle a - se konplèks ak pwisan reyalize yon gwo ekip nan devlopè se nan jaden an nan baz done, li vin natirèl nan admèt - baz done a se yon reprezantasyon pwogramè patikilye (ekip) nan pwoblèm nan espesifik ak solisyon li yo.

Ki relasyon ki fonksyonèl, ak sa, ki kote, poukisa ... aparamman sèlman nan otè a oswa yon gwoup ladan l '.

Sou kote atitid relasyon yo

Syantifik ak teknolojik pwogrè - yon pwosedi trè douloure, epi pafwa mechanste yo. Si ou sonje kote baz done a te kòmanse, ki sa * dbf a, tou de sibèrnetik marque, lè sa a tonbe nan renmen ak syans òdinatè ak te kòmanse pou fè aranjman pou obstak yo mouvman an nan gwo teknoloji nan nivo peyi a, li vin klè poukisa baz done relasyon yo, se pou obstiné epi li bon. Poukisa se style a klasik nan jou sa a pwogram ap viv, epi li se objè-oryante pwogram tou senpleman valè, men se pa gen ankò te dirije.

Pa gen pwoblèm ki jan bèl relasyon ki fonksyonèl nan yon kontèks la nan matematik:

Sa a se pa yon relasyon binè, ou pito, li se yon okazyon panse ankò lide a nan etabli relasyon ant plusieurs nan atribi, li mennen envestigasyon "yon sèl-a-anpil" kominikasyon an, "anpil nan yon sèl", "anpil nan anpil" oswa "anpil fè, ak yon an patikilye."

Opsyon relasyon ka vini ak gwo varyete. Sa a matematik ak lojik, epi li se strik! Enfòmasyon - li gen matematik pwòp li yo, espesyal. Li kapab fèt sèlman yon protokòl yo di ak yon gwo dezavantaj.

Ou ka formalizra travay la nan depatman an pèsonèl, ekri ACS pou fè ekstraksyon a nan lwil oliv oswa pwodiksyon an nan lèt, pen, fè yon seleksyon nan yon baz gwo nan Google, Yandex ak Rambler, men rezilta a ap toujou gen estatik, epi chak pwen nan tan se menm bagay la!

Si relasyon fonksyonèl = strik lojik la ak matematik = baz pou baz done a, ki kalite dinamik nou ka pale. Nenpòt desizyon pral fòmèl, nenpòt ki modèl fòmèl done + = solid algorithm egzak ak ékivok desizyon. Enfòmasyon ak sijè ki abòde nan nenpòt pwogram chanje nan tout tan.

Egzanp motè rechèch sou fraz rechèch la menm pa ka menm bagay la tou apre yon inèdtan oswa de, epi, byen klè, nan yon jou - si fraz la rechèch refere a zòn nan enfòmasyon ki nan ki yon nimewo nan sit, resous, konesans, ak lòt eleman yo kontinyèlman chanje .

Sou liy ak objè

Menm si pwogram lan se piman matematik, ak baz done li yo se pa menm panse sou dinamik yo nan tout gen se toujou yon liy. Apre sa, se yon long liy. Epi li se enfini pa kapab. Li pa ka menm gen yon varyab, varyab la sèlman kondisyon. Anplis de sa, nenpòt baz done nan matematik ak binè-biwokrasi yo enpoze yon anpil nan fòmalite, ak vitès sa a + bon jan kalite echantiyon ak enfòmasyon pwosesis.

строки условно-переменной длины с массой бинарных формальностей и строгих математических ограничений. Si sa yo oswa lòt jaden yo nan baz done a nan done yo, espesyalman reyèl nan limit la pral ajoute: kantite ti jan, prezans nan lèt la 'e', fòma prezantasyon - nan kout toupatou ak toujou gen pwopriyete yo enpòtan nan Dependencies baz done fonksyonèl: fisèl kondisyonèl longè varyab ak yon mas nan binè fòmalite ak strik kontrent matematik.

Si w chanje ton an epi koute batman kè a nan dinamik yo, tout bagay ka pentire sou. Nan apwoksimasyon a an premye, non an kolòn nan tablo a - se yon objè, yon lis non - objè a menm, nan tablo kout - yon header objè epi li non nan kolòn yo nan header a. Ak bouchon pa t 'kapab dwe ...

Sepandan, strings pouvwa gen yon tab. Ak nan liy lan kapab ki gen valè. Epi poukisa yo ta dwe toujou nimewo a menm. Tout tab kare - sa a an patikilye, ak nan pifò ka yo, prive.

Si ou imajine tout desen nan objè yo baz done, lè sa a, petèt, pa gen bati yon strik relasyon binè. Sa a se yon natirèl ak yon sans reyèl, si sèlman paske li se yon objektif nan (sètènman pa matematik) lojik reflete dinamik yo nan enfòmasyon an ak anviwònman an nan ki gen travay.