このディレクトリの索引
#  
#  集約鍵の詳細化 (坂内広蔵氏による集約キーのグラフ化の研究の一部をなぞったもの)
#  


集約鍵の詳細化(_集約鍵ならび,_詳細化された集約鍵) :-
        append(_詳細化された集約鍵,_,_集約鍵ならび).




%  
%  ?- 集約鍵の詳細化([部,課,係],_詳細化された集約鍵).
%  
%  _詳細化された集約鍵 = [];
%  _詳細化された集約鍵 = [部];
%  _詳細化された集約鍵 = [部,課];
%  _詳細化された集約鍵 = [部,課,係];
%  
%  false.
%  
%  ?- findall(L,集約鍵の詳細化([部,課,係],L),_詳細化された集約鍵ならび).
%  
%  _詳細化された集約鍵ならび = [[],[部],[部,課],[部,課,係]]
%  
%  ?- 
%  
%  それでは、
%  集約鍵の詳細化とはどういう意味か。SQLを使って説明する。 ここでは社員数を把握している。
%  
%  集約鍵 = [] の場合、
%  
%  select count(*) from 社員;
%  336
%   
%  
%  集約鍵 = [部] の場合、
%  
%  select 部,count(*) from 社員 group by 部;
%  営業,200
%  開発,136
%
%  
%  集約鍵 = [部,課] の場合、
%  
%  select 部,課,count(*) from 社員 group by 部,課;
%  営業,食品,112
%  営業,薬品,88
%  開発,食品,70
%  開発,薬品,60
%  開発,検査,6
%  
%  
%  集約鍵 = [部,課,係] の場合、
%  
%  select 部,課,係,count(*) from 社員 group by 部,課,係;
%  営業,食品,東東京,18
%  営業,食品,西東京,20
%  営業,食品,神奈川,20
%  営業,食品,埼玉,16
%  営業,食品,千葉,16
%  営業,食品,群馬,8
%  営業,食品,栃木,7
%  営業,食品,茨城,7
%  営業,薬品,東京,19
%  営業,薬品,神奈川,12
%  <以下省略>
%