このディレクトリの索引
http://toro.2ch.net/test/read.cgi/db/1294641578/939
#  下記の図に示すリレーション社員と部門の属性所属と部門番号上の統合結合演算を、
#  リレーション社員と部門の属性所属と部門番号上の大なり結合演算に
#  書き直したらどうなりますか????? 
#   
#   社員[所属=部門番号]部門 
#    
#  |社員.社員番号 | 社員.社員名 | 社員.給与| 社員.所属|部門.部門番号|部門.部門名|部門.部門長| 
#   | 0650 | 鈴木一郎 | 50 | K55 | K55 | データベース| 0650 | 
#   | 1508 | 浜崎アユ | 40 | K41 | K41 | ネットワーク | 1508 | 
#   | 0231 | うたを | 60 | K41 | K41 | ネットワーク | 1508 | 
#   | 2034 | 別所さん | 40 | K55 | K55 | データベース| 0650 |  
# 

社員('0650','鈴木一郎','50','K55').
社員('1508','浜崎アユ','40','K41').
社員('0231','うたを','60','K41').
社員('2034','別所さん','40','K55').

所属('K55','データベース','0650').
所属('K41','ネットワーク','1508').

'リレーション社員と部門の属性所属と部門番号上の大なり結合演算'(_社員番号,_社員名,_給与,_所属,_部門番号,_部門名,_部門長) :-
        社員(_社員番号,_社員名,_給与,_所属),
        所属(_部門番号,_部門名,_部門長),
        _所属 @> _部門番号.