Calcul apparenté

Le calcul apparenté se composent de deux calculs, du calcul apparenté de tuple de et du calcul apparenté de domaine de , qui font partie du modèle apparenté pour des bases de données et fournissent une manière déclarative de spécifier des questions de base de données. Ceci contrairement à l'algèbre apparentée qui est également une partie du modèle apparenté mais fournit une manière plus procédurale pour spécifier des questions.

L'algèbre apparentée pourrait suggérer ces étapes pour rechercher les numéros de téléphone et les noms des magasins de livre qui assurent le un certain livre témoin :

joignent des livres et des titres au-dessus du BookstoreID.

  • Limiter le résultat du ce joignent aux tuples pour le de livre un certain livre témoin.
  • Projeter le résultat de cette restriction au-dessus de StoreName et de StorePhone.

    Le calcul apparenté formulerait une manière descriptive et déclarative : le

    obtiennent StoreName et StorePhone pour des approvisionnements tels que là existe un titre BK avec la même valeur de BookstoreID et avec une valeur de BookTitle de un certain livre témoin.

    L'algèbre apparentée et le calcul apparenté sont logiquement équivalents : pour toute expression algébrique, il y a une expression équivalente dans le calcul, et vice versa.

    Random links:Colonisation espagnole des Amériques | Lisbonne, l'Illinois | La Savoie, le Massachusetts | Luis Ernesto Pérez | Susan Cummings (héritière) | Cálculo_emparentado