Informatyka studia dzienne - WMI, WMID, UAM, Uniwersytet im. Adama Mickiewicza w Poznaniu » 2008 » listopad

bazy

Posted by M in Informacje, ... | 11.12.2008 - 22:20

$\sigma _{Nazwa=Drukarka}(Produkt)$
-
-
-
$\Pi_{Cena} (\sigma _{Model=A123}(Produkr |><| Sprzedarz))$
-
-
-
$\Pi _{Nazwa}(\sigma _{NazwaSklepu=Ada}( \delta _{Nazwa \to NazwaSklepu}( \\ Sklep) |><| Sprzedarz |><| Produkt))$
-
-
-
$\Pi _{Nazwa} (\sigma _{Kraj=Polska}( \delta _{Nazwa \to NazwaProducenta}( \\ Producent) |><| Produkt))$
-
-
-
$\Pi _{Nazwa, Cena}(\sigma _{Branza = Informatyka} (Produkt |><| Sprzedarz \\ |><| \delta _{Nazwa \to NazwaSklepu (Sklep)}))$
-
-
-
$\sigma _{Adres=Matejki}( \delta _{Nazwa \to NazwaSklepu}(Sklep) |><| Sprzedarz \\ |><| Produkt)$
-
-
-

{}
{}
{}
{}
{[Nazwa : p.Nazwa, Cena : p.Cena]| Produkt(p) $\wedge \exist$ s (Sprzedarz(s) $\wedge\exists$ k (Sklep(k) $\wedge$ p.IdProduktu = s.IdProduktu $\wedge$ s.IdSklepu = k.IdSklepu) )}
{}

12
s
s
s
{Nazwa Cena| $\exists$ IdS, NaS, Adres, Branża Sklep(IdS, NaS, Adres, Branża)
^ $\exists$ IdProd, Sprzedaż (IdProd, IdS, Cena) ^
^ $\exists$ NazP, Mod, IdProduc Produkt(IdProd, NazP, Mod, IdProduc) ^
^ Branża = ‘Informatyka’

WYNIK(Id,Naz, Mod, Prod):- Produkt(Id,Naz, Mod, Prod) ^ Naz =’Drukarka’
-
WYNIK(Cena):- Produkt(Id, _ , Mod, _ ) ^ Sprzedarz( Id, _ , Cena) ^ Mod=’A123′
-
WYNIK(NazP):- Produkt(IdP, NazP, _, _) ^ Sprzedarz(IdP,IdS,_) ^ Sklep(IdS, NazS, _, _) ^ NazS=’Ada’
-
WYNIK(NazP):- Produkt(_, NazP, _,IdP) ^ Producent(IdP, _, Kraj) ^ Kraj=’Polska’
-
WYNIK(NazP, Cena):- Produkt(IdP,NazP, _, _) ^ Sprzedarz(IdP, IdS, Cena) ^ Sklep(IdS, _, _, Branża) ^ Branża = ‘Informatyka’
-
WYNIK(IdP, NaP, Mod, IdProd):- Produkt(IdP, NaP, Mod, IdProd) ^ Sprzedarz(IdP, IdS, _) ^ Sklep(IdS, _, Adres, _) ^ Adres=’Matejki’