Relační počet - Relational calculus

The Relační počet se skládá ze dvou kamenů, n-tický relační počet a relační počet domén, které jsou součástí relační model pro databáze a poskytnout deklarativní způsob zadávání databázových dotazů.

The relační počet je podobný relační algebra, který je také součástí relačního modelu: Zatímco relační počet je míněn jako deklarativní jazyk, který nepředepisuje žádný exekuční příkaz na podvýrazy výrazu relačního počtu, relační algebra je míněn jako imperativní jazyk: podvýrazy relačních algebraických výrazů mají být prováděny zleva doprava a zevnitř ven po jejich vnoření.

A relační algebra výraz může předepsat následující kroky k načtení telefonních čísel a názvů knihkupectví, které dodávají Nějaký vzorník:

  1. Připojte se do knihkupectví a titulů přes BookstoreID.
  2. Výsledek tohoto spojení omezte na n-tice pro knihu Nějaký vzorník.
  3. Výsledek tohoto omezení promítněte na StoreName a StorePhone.

Relační výraz kalkulu by formuloval tento dotaz následujícím popisným nebo deklarativním způsobem:

Získejte StoreName a StorePhone pro knihkupectví, takže existuje název BK se stejnou hodnotou BookstoreID as hodnotou BookTitle Nějaký vzorník.

Relační algebra a relační počet jsou logicky ekvivalentní: pro jakýkoli algebraický výraz existuje ekvivalentní výraz v počtu a naopak. Tento výsledek je znám jako Coddova věta.

Raison d'être relačního počtu je formalizace optimalizace dotazu. Optimalizace dotazu spočívá v určení nejúčinnějšího způsobu (nebo způsobů) provedení dotazu z dotazu. Optimalizace dotazu může být formalizována jako překlad výrazu relačního počtu poskytující odpověď A do efektivních relačních algebraických výrazů poskytujících stejnou odpověď A.

Reference

  • Datum, Christopher J. (2004). Úvod do databázových systémů (8. vydání). Addison Wesley. ISBN  0-321-19784-4.