Kernel/lib/kb.pl

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,
1038 	X <+++ R2 where Cond.
1040 'KB_isd_noproj_where'( R1 :-: R2, Cond, X) :- !,
1041 	R1 <@@> R2,
1043 	X <--- R2 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) :- !,
1073 	R2 <==> Schema2,
1076 	X <+++ Proj :^: R2 where Cond.
1078 'KB_isd_proj_where'( R1 :-: R2, Cond, Proj, X) :- !,
1080 	R2 <==> Schema2,
1083 	X <--- Proj :^: R2 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,
1595 'KB_jflatten_src_tree'( R1, R2, Cond, Args1, Args2, Xtras) :-
1599 	degree( R2, Ary2),
1601 	domains(R2, S2),
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) :-
1611 	degree( R2, Ary2),
1613 	domains(R2, S2),
1614 	'KB_link_join_atts'( Cond, [R1| S1], [R2| S2], Args1, Args2),
1615 	'KB_flatten'(Cond, [R1|S1], [R2|S2], Args1, Args2, Xtrs),
1619 	RS2 =.. [R2|S2],
1620 	RArgs2 =.. [R2|Args2],
1621 	'KB_projectj'( Proj, [R1|S1], RS1, RArgs1, [R2|S2], RS2, RArgs2,
1657 	'KB_is_attr'( Att2, RS1, RS2, R2, Attno2),
1658 	'KB_inst_join_att'( R1, R2, Attno1, Attno2, Args1, Args2), !.
1662 	'KB_is_attr'( Att2, RS1, RS2, R2, Attno2),
1663 	'KB_inst_join_att'( R1, R2, Attno1, Attno2, Args1, Args2), !.
1728 	'KB_is_attr'(Att2, S1, S2, R2, No2),
1729 	'KB_inst_atts_rank'( R1, No1, R2, No2, '@<', Args1, Args2, Xtra), !.
1738 	'KB_is_attr'(Att2, S1, S2, R2, No2),
1739 	'KB_inst_atts_rank'( R1, No1, R2, No2, '@>', Args1, Args2, Xtra), !.
1748 	'KB_is_attr'(Att2, S1, S2, R2, No2),
1749 	'KB_inst_atts_rank'( R1, No1, R2, No2, '@=<', Args1, Args2, Xtra), !.
1758 	'KB_is_attr'(Att2, S1, S2, R2, No2),
1759 	'KB_inst_atts_rank'( R1, No1, R2, No2, '@>=', Args1, Args2, Xtra), !.
1768 	'KB_is_attr'(Att2, S1, S2, R2, No2),
1769 	'KB_inst_atts_rank'( R1, No1, R2, No2, '@<', Args1, Args2, Xtra), !.
1778 	'KB_is_attr'(Att2, S1, S2, R2, No2),
1779 	'KB_inst_atts_rank'( R1, No1, R2, No2, '@>', Args1, Args2, Xtra), !.
1788 	'KB_is_attr'(Att2, S1, S2, R2, No2),
1789 	'KB_inst_atts_rank'( R1, No1, R2, No2, '@=<', Args1, Args2, Xtra), !.
1798 	'KB_is_attr'(Att2, S1, S2, R2, No2),
1799 	'KB_inst_atts_rank'( R1, No1, R2, No2, '@>=', Args1, Args2, Xtra), !.
1896 'KB_genjp_clauses'( true, VProj, NewS, R1, R2, TempRes, Args1, Args2,
1900 	'KB_real_rname'( R2, RR2),
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,
1912 	'KB_real_rname'( R2, RR2),
1918 	'KB_genjx_clause'( R1, R2, TempRes, Goal1, Goal2,
1925 'KB_genj_clauses'( true, R1, R2, TempRes, Args1, Args2,
1928 	R2 <==> S2,
1932 	'KB_real_rname'( R2, RR2),
1939 	'KB_genj_clause'( R1, R2, TempRes, Goal1, Goal2, OldH1, OldH2, NewH, X).
1941 'KB_genj_clauses'( Xtras, R1, R2, TempRes, Args1, Args2,
1944 	R2 <==> S2,
1948 	'KB_real_rname'( R2, RR2),
1955 	'KB_genjx_clause'( R1, R2, TempRes, Goal1, Goal2,
2073 'KBX_join2_univ_noproj'( R1, R2, CondTs, X) :-
2075 	'KB_real_rname'( R2, RR2),
2077 	/* inherit the attributes from R1 concatenated with R2 */
2079 	R2 <=> F2,
2083 'KBX_join2_univ_proj'( R1, R2, _CondT, ProjL, X) :-
2085 	'KB_real_rname'( R2, RR2),
2087 	'KB_project'( [R1, R2], ProjL, _CProjL).
2116 	'KBX_do_2_univ_join_mk_proj1'(N2,[],R2,2),
2117 	append(R1,R2,R).