Relacijska algebra

no mam nekj vprasanj na moje resitve oz. na moje ne-resitve (ker le teh nazalost nimam), zanima me seveda, ce so pravilne.

Sh(s)=Kupec(ImeK, Kraj)
Sh(p)= Prodajalec(ImeP,Kraj)
Sh(v)=VrstaBlaga(ImeVB,Kvaliteta)
Sh(k)=Kupčija(ImeK, ImeP, ImeVB,Količina)

Poišči kupce iz Mežice, ki so kupili blago 1. kvalitete pri prodajalcu iz Raven.
R: Π[ImeK](δ[s.Kraj='Mežica' in p.Kraj='Ravne' in v.Kvaliteta=1])s |x| k |x| p


Sh(d)= Dela(Oseba, Projekt)

Poišči osebe, ki sodelujejo najmanj pri vseh tistih projektih, pri katerih sodeluje Miha.
R: d/Π[Oseba](δ[Oseba='Miha'])d


Sh(b)=Banka(ŠifraBanke, Naziv,Kraj)
Sh(v)=Varčevalec(ŠifraStranke, Ime, Priimek, Naslov, KrajBivanja)
Sh(br)=BančniRačun(ŠifraBanke,ŠifraStranke, ŠtevilkaRačuna,Stanje)
Sh(k)=Kredit(ŠifraBanke, ŠifraStranke, ŠtevilkaKredita,VišinaKredita)

Poišči imena in priimke strank, ki imajo v Banki Celje odprt račun in najet kredit.
R: Π[Ime,Priimek](δ[Naziv='Banka Celje'])b |x| k |x| v


Sh(i)=Izdelek(ŠifraIzdelka, ImeIzdelka,Cena)
Sh(k)=Kupec(ŠifraKupca,ImeKupca, NaslovKupca,KrajKupca)
Sh(p)=Postavka(ŠifraRačuna,ŠifraIzdelka, ŠteviloKosov)
Sh( r)=Račun(ŠifraRačuna,DatumRačuna, ŠifraKupca)

Poišči šifre izdelkov, ki niso bili prodani l. 2000.
R: Π[ŠifraIzdelka,ŠifraRačuna]p/Π[ŠifraRačuna](δ[DatumRačuna=2000])p |x| r

najbolj sumljiva mi je prva poizvedba, tist podvojeni "Kraj" me muci. a bi slo morda se na kaksen drug nacin?