Lines Matching refs:R1
767 ** Rel isdr <[A1, .., Am] :^:> R1 :+: R2 <where Cond> % union
768 ** Rel isdr <[A1, .., Am] :^:> R1 :-: R2 <where Cond> % difference
769 ** Rel isdr <[A1, .., Am] :^:> R1 :*: R2 where Cond % join
772 ** Rel expand <[A1, .., Am] :^:> R1 :+: R2 <where Cond> % union
773 ** Rel expand <[A1, .., Am] :^:> R1 :-: R2 <where Cond> % difference
774 ** Rel expand <[A1, .., Am] :^:> R1 :*: R2 where Cond % join
1035 'KB_isd_noproj_where'( R1 :+: R2, Cond, X) :- !,
1036 R1 <@@> R2,
1037 X isdr R1 where Cond,
1040 'KB_isd_noproj_where'( R1 :-: R2, Cond, X) :- !,
1041 R1 <@@> R2,
1042 X isdr R1 where Cond,
1045 'KB_isd_noproj_where'( R1 :*: R2, Cond, X) :- !,
1046 'KBU_cond_parse'( Cond, [R1, R2], CondT),
1047 'KBX_join2_univ_noproj'( R1, R2, CondT, TempRes),
1048 'KB_jflatten_src_tree'( R1, R2, Cond, Args1, Args2, Xtras),
1049 'KB_jflatten_src_tree'( R1, R2, Cond, CpArgs1, CpArgs2, CpXtras),
1050 'KB_genj_clauses'( Xtras, R1, R2, TempRes, Args1, Args2,
1071 'KB_isd_proj_where'( R1 :+: R2, Cond, Proj, X) :- !,
1072 R1 <==> Schema1,
1075 X isdr Proj :^: R1 where Cond,
1078 'KB_isd_proj_where'( R1 :-: R2, Cond, Proj, X) :- !,
1079 R1 <==> Schema1,
1082 X isdr Proj :^: R1 where Cond,
1085 'KB_isd_proj_where'( R1 :*: R2, Cond, Proj, X) :- !,
1086 'KBU_cond_parse'( Cond, [R1, R2], CondT),
1087 'KBX_join2_univ_noproj'( R1, R2, CondT, TempRes),
1088 'KB_jflatten_src_tree'(R1, R2, Cond, Args1, Args2, Xtras),
1089 'KB_jflatten_src_tree'(R1, R2, Cond, Proj,
1091 'KB_genjp_clauses'( Xtras, VProj, SrcPrj, R1, R2, TempRes, Args1, Args2,
1571 R1/2 - relation names
1595 'KB_jflatten_src_tree'( R1, R2, Cond, Args1, Args2, Xtras) :-
1596 degree( R1, Ary1),
1598 domains(R1, S1),
1602 'KB_link_join_atts'( Cond, [R1| S1], [R2| S2], Args1, Args2),
1603 'KB_flatten'(Cond, [R1|S1], [R2|S2], Args1, Args2, Xtrs),
1607 'KB_jflatten_src_tree'(R1, R2, Cond, Proj, Args1, Args2, Xtras, VProj, SrcPrj) :-
1608 degree( R1, Ary1),
1610 domains(R1, S1),
1614 'KB_link_join_atts'( Cond, [R1| S1], [R2| S2], Args1, Args2),
1615 'KB_flatten'(Cond, [R1|S1], [R2|S2], Args1, Args2, Xtrs),
1617 RS1 =.. [R1|S1],
1618 RArgs1 =.. [R1|Args1],
1621 'KB_projectj'( Proj, [R1|S1], RS1, RArgs1, [R2|S2], RS2, RArgs2,
1656 'KB_is_attr'( Att1, RS1, RS2, R1, Attno1),
1658 'KB_inst_join_att'( R1, R2, Attno1, Attno2, Args1, Args2), !.
1661 'KB_is_attr'( Att1, RS1, RS2, R1, Attno1),
1663 'KB_inst_join_att'( R1, R2, Attno1, Attno2, Args1, Args2), !.
1727 'KB_is_attr'(Att1, S1, S2, R1, No1),
1729 'KB_inst_atts_rank'( R1, No1, R2, No2, '@<', Args1, Args2, Xtra), !.
1737 'KB_is_attr'(Att1, S1, S2, R1, No1),
1739 'KB_inst_atts_rank'( R1, No1, R2, No2, '@>', Args1, Args2, Xtra), !.
1747 'KB_is_attr'(Att1, S1, S2, R1, No1),
1749 'KB_inst_atts_rank'( R1, No1, R2, No2, '@=<', Args1, Args2, Xtra), !.
1757 'KB_is_attr'(Att1, S1, S2, R1, No1),
1759 'KB_inst_atts_rank'( R1, No1, R2, No2, '@>=', Args1, Args2, Xtra), !.
1767 'KB_is_attr'(Att1, S1, S2, R1, No1),
1769 'KB_inst_atts_rank'( R1, No1, R2, No2, '@<', Args1, Args2, Xtra), !.
1777 'KB_is_attr'(Att1, S1, S2, R1, No1),
1779 'KB_inst_atts_rank'( R1, No1, R2, No2, '@>', Args1, Args2, Xtra), !.
1787 'KB_is_attr'(Att1, S1, S2, R1, No1),
1789 'KB_inst_atts_rank'( R1, No1, R2, No2, '@=<', Args1, Args2, Xtra), !.
1797 'KB_is_attr'(Att1, S1, S2, R1, No1),
1799 'KB_inst_atts_rank'( R1, No1, R2, No2, '@>=', Args1, Args2, Xtra), !.
1896 'KB_genjp_clauses'( true, VProj, NewS, R1, R2, TempRes, Args1, Args2,
1899 'KB_real_rname'( R1, RR1),
1906 'KB_genj_clause'( R1, R2, TempRes, Goal1, Goal2, OldH1, OldH2, NewH, X).
1908 'KB_genjp_clauses'( Xtras, VProj, NewS, R1, R2, TempRes, Args1, Args2,
1911 'KB_real_rname'( R1, RR1),
1918 'KB_genjx_clause'( R1, R2, TempRes, Goal1, Goal2,
1925 'KB_genj_clauses'( true, R1, R2, TempRes, Args1, Args2,
1927 R1 <==> S1,
1931 'KB_real_rname'( R1, RR1),
1939 'KB_genj_clause'( R1, R2, TempRes, Goal1, Goal2, OldH1, OldH2, NewH, X).
1941 'KB_genj_clauses'( Xtras, R1, R2, TempRes, Args1, Args2,
1943 R1 <==> S1,
1947 'KB_real_rname'( R1, RR1),
1955 'KB_genjx_clause'( R1, R2, TempRes, Goal1, Goal2,
2073 'KBX_join2_univ_noproj'( R1, R2, CondTs, X) :-
2074 'KB_real_rname'( R1, RR1),
2077 /* inherit the attributes from R1 concatenated with R2 */
2078 R1 <=> F1,
2083 'KBX_join2_univ_proj'( R1, R2, _CondT, ProjL, X) :-
2084 'KB_real_rname'( R1, RR1),
2087 'KB_project'( [R1, R2], ProjL, _CProjL).
2115 'KBX_do_2_univ_join_mk_proj1'(N1,[],R1,1),
2117 append(R1,R2,R).