La différence entre l'Algèbre Relationnelle et calcul Relationnel

TL;DR: Requêtes d'appel RA (algèbre relationnelle) les opérateurs & requêtes des deux relationnel calculs (RCs) CDT (tuple RC) & RDC (domain RC) sont une syntaxe différente pour la même chose: une relation de la valeur ou de la propriété/condition qu'un rapport de la valeur de n-uplets. Comme SQL (un mélange(up)). Comme c'est le prédicat de calcul, la langue de précision dans les mathématiques, la logique, de la science (y compris l'informatique) & ingénierie (y compris génie logiciel). Et RA en tant que procédure vs RCs déclaratoire est un mythe.

---

Un rapport détient les tuples qui font que certains prédicat--modèle de déclaration de paramétrées par des attributs, dans un vrai proposition--déclaration.

/* tuples where employee PERSONNAME lives on STREET in CITY */
Employee
/* tuples where employee PERSONNAME works at COMPANY for $SALARY */
WorksFor

Un RA-style d'expression de requête comporte les noms d'attribut, la relation variable/constante noms, relation littéraux (impliquant des noms d'attribut & valeur) & relation des opérateurs. Les opérateurs de JOINTURE, UNION, MOINS, de PROJET, de RESTREINDRE, etc. Il dénote la relation de la valeur que vous obtenez par l'évaluation de l'expression. Mais il est aussi des besoins de la valeur pour répondre.

/* RA query for tuples where
    FOR SOME STREET & CITY [employee PERSONNAME lives on STREET in CITY]
AND NOT FOR SOME COMPANY & SALARY
        [employee PERSONNAME works at COMPANY for $SALARY AND COMPANY = 'FBC']
*/
    PROJECT PERSONNAME (Employee)
MINUS PROJECT PERSONNAME (RESTRICT COMPANY = 'FBC' (WorksFor))

Un RC expression est set-générateur de notation pour une valeur de relation. Elle implique un prédicat par rapport variable/constante des noms, des noms d'attribut & des valeurs, prédicat opérateurs & quantifiées (les noms logiques des variables). Les opérateurs ET, OU, PAS, POUR CERTAINS/TOUS et =. Il est généralement considéré que les exigences pour la valeur de répondre. Mais il indique aussi la valeur de relation que vous obtenez par l'évaluation de l'expression ou de type équivalent.

La RDC a quantifié les noms qui sont des attributs. Nous utilisons une notation abrégée pour les états avec un paramètre par attribut:

Employee(PERSONNAME, STREET, CITY)
    means (PERSONNAME, STREET, CITY) IN Employee
    means employee PERSONNAME lives on STREET in CITY
WorksFor(PERSONNAME, COMPANY, SALARY)
    means (PERSONNAME, COMPANY, SALARY) IN WorksFor
    means employee PERSONNAME works at COMPANY for $SALARY

/* DRC query for the same tuples as the RA query above */
tuples like (PERSONNAME) where
    FOR SOME STREET & CITY [Employee(PERSONNAME, STREET, CITY)]
AND NOT FOR SOME COMPANY & SALARY
        [WorksFor(PERSONNAME, COMPANY, SALARY) AND COMPANY = 'FBC']

La commission a quantifié les noms qui sont des n-uplets. Nous dot un nom pour obtenir la valeur associée à un nom d'attribut. (Comme pour un champ d'un langage de programmation d'enregistrement.) Nous utilisons une notation abrégée pour les états avec un paramètre (un tuple):

Employee(T)
    means T IN Employee
    means employee T.PERSONNAME lives on T.STREET in T.CITY
Worksfor(T)
    means T IN Worksfor
    means employee T.PERSONNAME works at T.COMPANY for $T.SALARY

/* TRC query for the same tuples as the RA query above */
tuples equal to some tuple T like (PERSONNAME) where
    FOR SOME E [Employee(E) AND E.PERSONNAME = T.PERSONNAME]
AND NOT FOR SOME W [
        WorksFor(W)
    AND W.COMPANY = 'FBC'
    AND E.PERSONNAME = T.PERSONNAME
    ]

(Quelques variantes sur les originaux de la RA et les RCs sont enseignées. Par exemple certains d'identifier les arguments avancés par l'ordre et d'autres par le nom. Parfois, les fonctionnalités supplémentaires sont ajoutés. Par exemple en permettant à un appel de fonction dans un RC est aussi expressive que permettant une certaine relation constante opérateur plus R RENOMMER UN À N dans un RA.)

Cependant, il y a une correspondance entre la pr opérateurs et RC opérateurs & entre RA expressions et RC expressions:

Si:

• R -- contient les tuples de R(...)

• S -- contient les tuples où S(...)

alors:

• R ADHÉRER S détient les tuples de R(...) ET S(...)

• R UNION S détient les tuples de R(...) OU S(...)

• R MOINS S détient les tuples de R(...) ET PAS de S(...)

• R PROJET colonnes de garder détient tuples où POUR CERTAINS colonnes de chute, R(...)

• R RESTREINDRE condition détient les tuples de R(...) ET condition

Un RA valeur de l'expression est la tuples qui satisfont à la correspondante RC expression.

Si nous voulons à la carte à partir d'un RC expression d'une AR expression sur un opérateur par opérateur, puis nous avons besoin d'étendre RA opérateurs: une généralisation de l'UNION & un pour PAS. Ce ne sont pas des opérateurs, nous aimerions utiliser dans une mise en œuvre--les relations valeurs retournées sont dans un certain sens, l'augmentation de gros. Mais chaque RC expression à l'aide d'entre eux peuvent être réarrangés mécaniquement à une forme normale qui utilise uniquement base RA opérateurs.

Donc: RA comme de procédure vs RCs déclaratoire est un mythe. Chaque RA opérateur dispose d'un correspondant RC opérateur, chaque RC exploitant (éventuellement prolongée), correspondant RA opérateur, et toute expression de a (de base et d'extension des sens) une expression correspondant à l'autre. Ils sont deux notations pour les mêmes choses. Une expression de l'une ou l'autre peut être pris comme un "acte de procédure", en l'exécutant en tant que analysée ou normalisée et que "déclaratif" par l'exécution du contraire. Le mythe est d'essayer de saisir l'idée qu'un RC expression n'est pas opérateur par opérateur comme une expression à l'aide de base RA opérateurs. Mais un RC expression ne identifier ses non évidente forme normale RA expression à l'aide d'opérateurs de base. Et il est opérateur par opérateur comme un RA expression, y compris les opérateurs.

(Le mythe peut être aidé par le fait que de l'histoire de la mots. "De l'algèbre moderne" a des expressions avec des opérateurs de prise de & donner les valeurs et peut être calculée. "Le calcul" aka--analyse de la différenciation & intégration--a des expressions décrivant les valeurs par impossibles à calculer l'infini les limites de & sommations. Nous calculons dans d'autres façons, en général seul le calcul des approximations.)

(Aussi, ironiquement: "Le prédicat de calcul" est considéré comme étant de préciser les choses "déclarative" sans égard à la façon dont ils peuvent être calculées ou estimées. Mais la norme sémantique/sens d'une expression est donnée par la suite un algorithme qui parcourt l'arborescence d'expression. Ainsi, il a une évidente "procédurale" de l'interprétation.)

OriginalL'auteur philipxy

Cette présentation à partir d'une université de new york de la classe a été très utile pour moi. Je suis en train d'apprendre ce que bien donc je ne peux pas être de trop de l'aide, mais je sais au moins que l'algèbre relationnelle traite avec plus spécifiques expressions de jeu, les opérations de jointure, et de définir des combinaisons de tout relationnel de calcul pour la plupart des bâtons de ET-OU les relations et le existentielles ("Il existe un x tel que [la condition(x)]) ou de l'universel ("Pour tout x, [condition(x)]) quantificateurs. J'imagine relationnel expressions algébriques pour être semblable à un langage d'assemblage dans la fonctionnalité et la spécificité alors que relationnel calcul expressions sont plus proche d'un langage de programmation, dans l'aspect et de la fonctionnalité. Espérons que cela aide certains.

OriginalL'auteur PeterSon