10 vztahy: Bezesporná teorie, Cizí klíč, Indexace, Invariant (informatika), Matematická logika, Primární klíč, Programování, Proměnná, Relační databáze, Selekční jazyk.
Bezesporná teorie
Bezesporná teorie (také konzistentní teorie) je označení používané v matematické logice pro formální teorii, která neobsahuje spor; v opačném případě se používá označení sporná teorie.
Nový!!: Nekonzistence a Bezesporná teorie · Vidět víc »
Cizí klíč
Cizí klíč (FOREIGN KEY) definuje v prostředí relačních databází vztah mezi dvěma tabulkami, a to tak, že hodnota v určeném sloupci jedné tabulky musí existovat v jiném (primárním) klíči.
Nový!!: Nekonzistence a Cizí klíč · Vidět víc »
Indexace
Indexace (též indexování, heslování) je proces vyjádření obsahu dokumentu pomocí prvků selekčního jazyka, obvykle s cílem umožnit zpětné vyhledávání.
Nový!!: Nekonzistence a Indexace · Vidět víc »
Invariant (informatika)
Invariant je podmínka v algoritmu, která musí být splněna po celou dobu běhu programu.
Nový!!: Nekonzistence a Invariant (informatika) · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Nekonzistence a Matematická logika · Vidět víc »
Primární klíč
Primární klíč je nezávislou entitou, která jednoznačně identifikuje určitou instanci relace z databázové tabulky.
Nový!!: Nekonzistence a Primární klíč · Vidět víc »
Programování
Programování je v informatice proces od návrhu řešení problému pomocí výpočetní techniky ke spustitelnému počítačovému programu.
Nový!!: Nekonzistence a Programování · Vidět víc »
Proměnná
Proměnná je v matematice a programování způsob symbolické reprezentace objektů, který umožňuje zcela abstraktní manipulaci s nimi.
Nový!!: Nekonzistence a Proměnná · Vidět víc »
Relační databáze
Relační databáze je databáze založená na relačním modelu.
Nový!!: Nekonzistence a Relační databáze · Vidět víc »
Selekční jazyk
Selekční jazyk je uměle vytvořený informační jazyk, který je určený k vyjádření obsahu a formy informačního zdroje nebo informačního dotazu.
Nový!!: Nekonzistence a Selekční jazyk · Vidět víc »