Global:

Buch(ISBN,Titel,VerlagID,Autor)
Verlag(VerlagID,Name)
Preis(ISBN,Währung,Betrag)

Q1:
BuchQ(ISBN,Titel,Verlag,AutorID)
Autor(AutorID,Name)
PreisQ1inEURO(ISBN,Betrag)

Q2:
PreisQ2(ISBN,Währung,Betrag)

Q3:
BuchDTVerlag(ISBN,Titel,Autor,Preis,Währung)

Q4:
BuchLand(ISBN,Titel,Preis,Währung)



GLAV-Regeln:
-----------

Q1:

Query1(I,T,VN,A) :- BuchQ(I,T,VN,AID),Autor(AID,A)       
Query2(I,T,VN,A) :- Buch(I,T,VID,A),Verlag(VID,VN) 

Query1(I,T,VN,A) \subseteq Query2(I,T,VN,A)
PreisQ1inEURO(I,B) \subseteq Preis(I,W,B), W='Euro'

Q2:

PreisQ(I,W,B) \subseteq Preis(I,W,B)

Q3:

BuchDTVerlag(I,T,A,P,W) \subseteq Buch(I,T,VID,A),Verlag(VID,VN),Preis(I,W,P), VN='DTVerlag'

Q4:

BuchLand(I,T,P,W) \subseteq Buch(I,T,VID,A),Preis(I,W,P)