Quel serait le résultat de cette opération sur ces tables?

Question

Enroll (table): 

cid  sid grade gradepoint 
CS425  001 A  4.0 
CS595  001 B  3.0 
CS595  002 A  4.0 
EE401  001 A  4.0 
EE401  002 B  3.0 
EE401  004 A  4.0 
PHYS571 002 C  2.0 
PHYS571 004 A  4.0 

En utilisant l'algèbre relationnelle, l'opération est (excusez le manque de lettres grecques, je ne sais pas comment les ajouter sur le SO):

select_(Enroll.gradepoint<x.gradepoint)^Enroll.cid=x.cid (Enroll x rho_x(Enroll)) 

Fondamentalement, il dit faire un produit cartésien de la table Enroll avec elle-même (renommer la deuxième instance de Enroll en "x"), puis sélectionnez uniquement les lignes où le cid correspond (bien sûr) et où le point de pondération est inférieur à lui-même. Mais cela n'a aucun sens. Cela ne se traduirait-il pas par un ensemble vide?

Answer 1

Supposons que l'opérateur rename n (r) renvoie une valeur de table comme r mais avec de nouveaux noms d'attribut comme les anciens préfixés par n.. Ensuite, nous avons:

/* rows where 
    (cid, sid, grade, gradepoint) in Enroll 
and (x.cid, x.sid, x.grade, x.gradepoint) in Enroll 
and gradepoint < x.gradepoint and cid = x.cid 
*/ 
restrict gradepoint < x.gradepoint and cid = x.cid (
    Enroll times rename x (Enroll) 
    ) 

(Quelles sont les lignes de la forme (cid, sid, grade, gradepoint, x.cid, x.sid, x.grade, x.gradepoint).)

Malheureusement, ce commentaire ne dit rien au sujet de la situation d'affaires. Donc, non plus la table. Mais supposons que dans notre cas (cid, sid, grade, gradepoint) in Enroll quand in coursecidstudentsidgot gradegrade& grade point averagegradepoint. (Ceci est (caractéristique) prédicat de la table en termes d'affaires.) Ensuite, en remplaçant le in nous obtenons que cette requête est:

/* rows where 
    in course cid student sid got grade grade & grade point average gradepoint 
and in course x.cid student x.sid got grade x.grade & grade point average x.gradepoint 
and gradepoint < x.gradepoint and cid = x.cid 
*/ 

Chaque ligne d'une valeur de la table (résultat constant/variable ou requête) fait une déclaration de le brancher dans le prédicat de la table. (Et chaque ligne absente indique la négation/not de l'instruction de la brancher dans le prédicat.) Le concepteur donne les prédicats constants/variables et le prédicat de résultat de requête provient de ceux & les opérateurs de relation. (restrict & join s (y compris times & intersect) introduisons and, project introduit there exists, union introduit or, minus introduit and not, etc.)

Ici, la déclaration implique un cours et deux gradepoints, appartenant chacun à un étudiant différent . Il n'y a donc pas "où le point de pondération est inférieur à lui-même".

Forming a relational algebra query from an English description
Is there any rule of thumb to construct SQL query from a human-readable description?

(Un soi-disant « opérateur d'algèbre », comme vous le dites à « renommer » une valeur est vraiment un non-terminal langage de programmation pour l'attribution à une variable. C'est orthogonal à des valeurs d'algèbre & opérateurs.)