Vincolo di chiave esterna con alcuni valori di colonna che risiedono in altre tabelle

Hai omesso tutte le chiavi esterne sul nome del libro.

Ecco perché rispondo con un set completo e avanzato di definizioni di tabelle, si tratta di chiavi esterne, giusto? Shure hai fatto un esempio essenziale.

Il problema da risolvere era che i record in reading_event_discussion deve riguardare temi che esistono in quel libro:

drop table book cascade;
drop table book_theme;
drop table reading_event cascade;
drop table reading_event_discussion;

create table book (
    name text primary key -- new, a must because it is FK in reading_event
);
insert into book (name) values ('game of thrones'),('Database design');

create table book_theme (
    bookname  text references book(name), -- new
    themename text
);
insert into book_theme (bookname, themename) values 
  ('game of thrones', 'ambition'), ('game of thrones', 'power');

create table reading_event (
  i        SERIAL primary key, 
  venue    text, 
  bookread text references book(name) -- FK is new
);
insert into reading_event (venue, bookRead) VALUES
  ('Municipal Library', 'game of thrones');  

-- this is the solution: extended reference check
create or replace function themecheck (i integer, th text) returns boolean as $$
    select 
     (th in (select themename from book_theme bt 
       join reading_event re on i=re.i and re.bookRead=bt.bookname))
$$ language sql;

create table reading_event_discussion (
    i integer references reading_event(i), 
    themeDiscussed text check (themecheck (i, themeDiscussed))
);

-- Test statements:
-- just check data
select * from reading_event;
-- this should be ok
insert into reading_event_discussion values (1,'ambition'),(1,'power');
-- this must be refused
insert into reading_event_discussion values (1,'databases');

Quindi la soluzione è scrivere una funzione di controllo personalizzata. Questo non è portabile su altri sistemi di database.

È possibile scrivere questa funzione in diversi linguaggi (plpgsql, pltcl, ... ), ma le funzioni SQL possono essere integrate in una query e potrebbero essere più veloci.