GLOBAL KNOWLEDGE ARK

Žinynas

Žinių pagrindai

Tyrinėkite sąvokas, dėsnius, lygtis ir metodus, jų taikymą ir šaltinius. Pasirinkite pažinimo sritį arba raskite konkretų žinyno įrašą.

Daugiau filtrų

Žinyno įrašai

Rodoma įrašų: 181–210 iš 1709

InformacijaBaigtiniai grafai ir medžiai

Grafai vaizduoja porinius ryšius; medžiams taikoma acikliškumo sąlyga.

ApibrėžimasInformacijaDuomenų struktūrų sąsajos ir operacijų sąnaudos

Sąsaja apibrėžia operacijas; įgyvendinimas lemia sąnaudas.

MetodasInformacijaCiklo invariantai ir visiškas korektiškumas

Invariantas nustato korektiškumą tik įvykdžius jam taikomas įrodymo pareigas.

MetodasInformacijaRikiavimo palyginimais apatinė riba

Skirtingų raktų palyginimams reikia pakankamai šakų, kad būtų galima atskirti jų išsidėstymo tvarkas.

Matematinis teiginysInformacijaPaieška platyn ir gilyn

Paieškos grafuose aplanko pasiekiamas viršūnes skirtinga tvarka.

MetodasInformacijaTrumpiausių kelių algoritmų taikymo sąlygos

Briaunų svoriai lemia, kuris trumpiausių kelių metodas tinka.

MetodasInformacijaTiuringo mašinos ir efektyvusis skaičiavimas

Baigtinis instrukcijų rinkinys gali valdyti veiksmus neribotoje įrašomojoje juostoje.

ApibrėžimasInformacijaSąryšiai ir lenteliniai duomenys

Sąryšis yra kortežų iš deklaruotų reikšmių sričių aibė.

ApibrėžimasFizikaMasės centro dinamika

Išorinė jėga lemia pagal mases pasverto centro pagreitį.

ModelisFizikaStandžiojo kūno inercijos tenzorius

Tenzorius susieja sukimąsi su judesio kiekio momentu.

ModelisFizikaStandžiojo kūno Oilerio lygtys

Kampinis pagreitis su kūnu susietų ašių atžvilgiu apima ir ašių sukimąsi.

ModelisFizika · Matematika ir logikaOilerio–Lagranžo lygtys

Veikimo stacionarumo sąlyga leidžia gauti judėjimo lygtis koordinatėms.

Matematinis teiginysFizika · Matematika ir logikaHamiltono kanoninės lygtys

Kanoninių koordinačių ir impulsų kitimą lemia Hamiltono funkcija.

Matematinis teiginysFizikaFluido masės tolydumas

Tankio pokytį atsveria masės srautas per srities ribą.

ModelisFizikaBernoulli sąryšis išilgai srovės linijos

Idealiajame stacionariajame sraute slėgis, judėjimas ir aukštis yra susiję energijos balansu.

ModelisFizikaNesuspaudžiamo srauto Navier–Stokes lygtis

Fluido inerciją atsveria slėgis, klampa ir gravitacija.

ModelisFizikaReinoldso skaičius

Palyginkite srauto inercinius ir klampos mastelius.

ModelisFizikaPriverstinis slopinamasis osciliatorius

Tiesinė grąžinamoji jėga, slopinimas ir periodinis žadinimas lemia atsaką.

ModelisFizikaIdealiosios stygos banginė lygtis

Lokali diferencialinė lygtis aprašo mažus stygos trikdžius.

ModelisFizika · Matematika ir logikaBangų superpozicija ir interferencija

Tiesiniai trikdžiai sumuojami; jų santykinė fazė lemia sustiprėjimą.

ModelisFizikaStygos su įtvirtintais galais modos

Kraštinės sąlygos lemia stovinčiųjų bangų dažnius.

ModelisFizikaSnelio lūžio dėsnis

Kampai ties terpių riba priklauso nuo lūžio rodiklių.

ModelisFizikaPlonojo lęšio atvaizdo lygtis

Paraksialinėje aproksimacijoje lęšis susieja daikto ir atvaizdo atstumus.

ModelisFizikaVieno plyšio difrakcijos minimumai

Baigtinis apertūros plotis lemia tamsias tolimojo lauko kryptis.

ModelisFizikaTiesinė poliarizacija ir Maliu dėsnis

Idealus analizatorius praleidžia lauko dedamąją, lygiagrečią jo ašiai.

ModelisFizikaElektromagnetiniai potencialai

Skaliarinis ir vektorinis potencialai aprašo elektrinį ir magnetinį laukus.

ModelisFizikaElektrinė talpa

Tiesinė dviejų laidininkų sistema kaupia atskirtą krūvį.

ApibrėžimasFizikaSaviindukcijos induktyvumas

Kintant srovei, kinta susietasis magnetinis srautas ir indukuotoji elektrovara.

ModelisFizikaElektromagnetinės energijos balansas

Lauko energijos kitimo sparta yra susieta balanso lygtimi su į išorę nukreiptu energijos srautu ir krūviams perduodama galia.

ModelisFizikaKirchhofo grandinių balansai

Sutelktųjų parametrų grandinių modeliuose taikomas mazgų srovių ir kontūrų įtampų balansas.

Modelis
ApibrėžimasPatikrinta pagal šaltinius

Sąryšiai ir lenteliniai duomenys

Informacija

Sąryšis yra kortežų iš deklaruotų reikšmių sričių aibė.

Esminės žinios

n-vietis sąryšis R⊆D₁×⋯×Dₙ yra kortežų aibė. Šį modelį galima pavaizduoti lentele: eilutės yra kortežai, o stulpelių reikšmės priklauso jų deklaruotoms reikšmių sritims.

Sąlygos ir taikymo ribos

  • Pagal aibių semantiką nepaisoma pasikartojančių eilučių ir eilučių tvarkos.
  • Vien šis matematinis modelis neapibrėžia SQL NULL reikšmių, multiaibių semantikos, duomenų bazės apribojimų ar transakcijų veikimo.
Šaltiniai · 1

Šaltiniai

Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.

  1. CS2800 2016, Lecture 30: RelationsCornell UniversityPaskaitų medžiagacs.cornell.eduSkaityti šaltinį

Pagrindimas ir peržiūra

Sąryšiai kaip Dekarto sandaugų poaibiai; duomenų bazės eilutės kaip kortežai, o stulpeliai kaip domenai.

2026-10-10 · Dekarto sandauga apibrėžtas sąryšis ir pagrindinė jo atitiktis duomenų bazės lentelei.

Susiję žinyno įrašai

Tyrinėkite ryšius šioje pažinimo srityje ir jos sąsajas su kitomis sritimis.

Rodomi 1–2 iš 2 ryšių

Mokslinių žinių ryšiai · 2 / 2

Ryšio tipas nusako santykį. Susieti teiginiai, šaltiniai ir sąlygos apibrėžia jo taikymo ribas.

  1. Remiasi apibrėžimu
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • n-vietis sąryšis R⊆D₁×⋯×Dₙ yra kortežų aibė. Šį modelį galima pavaizduoti lentele: eilutės yra kortežai, o stulpelių reikšmės priklauso jų deklaruotoms reikšmių sritims.
  2. Susiję su
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • Santykis yra kortežų aibė, apibrėžta pagal schemą. Atranka palieka predikatą tenkinančias eilutes, projekcija parenka atributus ir, taikant aibių semantiką, pašalina pasikartojimus, o jungimas sujungia nurodytą sąlygą tenkinančius kortežus. SQL paprastai taiko multiaibių semantiką ir trireikšmę NULL logiką, todėl algebriniai perrašymai turi išsaugoti prielaidas apie pasikartojimus, NULL ir tvarką. Algebrinis ekvivalentiškumas apibūdina rezultatus, o ne fiksuotas vykdymo sąnaudas.

    Schemas and tuples supply the underlying data model.

Įrašo informacijaNuolatinė nuoroda į šį įrašą ↗
Įrašo identifikatorius
info-relational-data
Versija
university-reference.1
Struktūruotas žinyno įrašas
Universitetinis žinynas