Lines Matching refs:R1
359 ** R1 and R2 have combatible schemas iff there corresponding
507 ** [A1, .., Am] :^: R1 :*: R2 where Cond % join with proj.
508 ** [A1, .., Am] :^: R1 :+: R2 where Cond % union with projection
509 ** [A1, .., Am] :^: R1 :-: R2 where Cond % difference with projection
612 /* R1 <-- R2 remove tuples in Expr (relation) from OutRel */
618 /* R1 <-- R2 where C delete result of selection */
623 /* R1 <-- RelExpr delete result of general query */
642 /* R1 <-- R2 where C i.e. difference operation */
685 ** R1 :+: R2 union
686 ** R1 :-: R2 difference
687 ** R1 :*: R2 join
691 insert_set_kernel( R1 :+: R2, Cond, ProjL, OutRel, Database) :-
693 insert_set_kernel(R1, Cond, ProjL, OutRel, Database),
696 insert_set_kernel( R1 :-: R2, Cond, ProjL, OutRel, Database) :-
697 'KB_real_rname'( R1, RR1),
700 'KB_cond_parse'( Cond, [R1, R2], CondT, Database),
701 'KB_project'( ProjL, [R1], CProjL, Database), % only RR1 !!
704 insert_set_kernel( R1 :*: R2, Cond, ProjL, OutRel, Database) :-
705 'KB_real_rname'( R1, RR1),
708 'KB_cond_parse'( Cond, [R1, R2], CondT, Database),
709 'KB_project'( ProjL, [R1, R2], CProjL, Database),
851 'KB_is_attribute'( [ R, RF | _], Rno, R1 ^ Att, att(Rno, AttNo)) :-
852 R1 == R,