PostgreSQL을에 관계 대수 분할 연산자를 구현

Question

수 PostgreSQL을에 구문 지원 정렬을 사용하여 관계형 대수 나누기 연산자를 구현하는 어떤 하나의 가이드? 편집 : postgresql의 소스 코드를 처리합니다. PostgreSQL에 부서 기능을 추가해야합니다.

Answer 1

가입 회원님이 구문 지원 정렬과 의미하고 있지만 관계 나누기 연산자는 단순한 복잡한 것 같아 무엇인지 : 당신이 제공 할 것으로 기대된다

select a_.id 
from (select a.id, array_agg(a.b_id) as b_ids from a group by a.id) as a_ 
join (select array_agg(b.id) as b_ids from b) as b_ on b_.b_ids <@ a_.b_ids 

http://en.wikipedia.org/wiki/Relational_algebra#Division_.28.C3.B7.29

---

denis=# create table a (id int, b_id int); 
CREATE TABLE 
denis=# create table b (id int); 
CREATE TABLE 
denis=# insert into a values (1,1), (1,2), (1,3), (2,1), (2,3), (3,1), (3,2); 
INSERT 0 7 
denis=# insert into b values (1), (2); 

denis=# select a_.id from (select a.id, array_agg(a.b_id) as b_ids from a group by a.id) as a_ join (select array_agg(b.id) as b_ids from b) as b_ on b_.b_ids <@ a_.b_ids; 
id 
---- 
    1 
    3 
(2 rows)