Excel - příklady - Univerzita Karlova

RNDr. Jakub Lokoč, Ph.D.
RNDr. Michal Kopecký, Ph.D.
Katedra softwarového inženýrství
Matematicko-Fyzikální fakulta
Univerzita Karlova v Praze
1
Doménový a n-ticový relační kalkul / Domain and Tuple Relational Calculi
2




Kino(Jmeno, Mesto, Sedadel)
Film(Nazev, Reziser, Zeme)
Program(
Jmeno, Nazev, Den, Listku
)

Logické operace
a predikáty:
, , , , , , 
Kino(proměnná(-é))
Film(proměnná(-é))
Program(proměnná(-é))



Cinema(Name, City, Places)
Movie(Title , Director, State)
Plays(
Name, Title, When, Visitors
)
Boolean operators
and predicates:
, , , , , , 
Cinema(variable(s))
Movie(variable(s))
Plays(variable(s))
3

Najděte seznam všech kin v Brně

Find list of all cinemas in Boston
RA:
Kino(Mesto='Brno')
K(M='Brno')
RA:
Cinema(City='Boston')
C(C='Boston')
DRK:
{(j,m,s) | Kino(j,m,s)  m='Brno' }
{(j,m,s) | K(j,m,s)  m='Brno' }
DRC:
{(n,c,p) | Cinema(n,c,p)  c='Boston'}
{(n,c,p) | C(n,c,p)  c='Boston' }
NRK:
{k | Kino(k)  k.Mesto='Brno' }
{k | K(k)  k.M='Brno' }
TRC:
{c | Cinema(c)  c.Cinty='Boston'}
{c | C(c)  c.C='Boston' }
4

Najděte seznam názvů všech
francouzských filmů

Find list of titles of all French
movies
RA:
Film(Zeme='FR')[Nazev]
F(Z='FR')[N]
RA:
Movie(State='FR')[Title]
M(S='FR')[T]
DRK:
{(n) | F(N:n, Z:'FR')}
DRC:
{(t) | M(T:t, S:'FR')}
NRK:
{f[N] | F(f)  f.Z='FR' }
TRC:
{m[T] | M(m)  m.S='FR' }
5

Najděte seznam názvů všech
francouzských filmů, které
promítali v Brně

Find list of titles of all French
movies that were played in
Boston
RA:
(K*P*F)(Z='FR'  M='Brno')[N]
RA:
(C*P*M)(S='FR'  C='Boston')[T]
DRK:
{(n) | F(N:n, Z:'FR')
 j(P(J:j,N:n)  K(J:j,M:'Brno'))}
DRC:
{(n) | F(N:n, Z:'FR')
 j(P(J:j,N:n)  K(J:j,M:'Brno'))}
NRK:
{f[N] | F(f)  f.Z='FR'
 p,k(
P(p)  K(k)  p.N=f.N
 k.J=p.J  k.M='Brno')}
TRC:
{m[T] | M(m)  m.S='FR'
 p,c(
P(p)  C(c)  p.T=m.T
 c.N=p.N  c.C='Boston')}
6

Najděte seznam jmen všech kin,
která promítla alespoň jeden
francouzský film

Find list of name of all cinemas
that have played at least one
French movie
DRK:
{(j) | K(J:j)
 n(P(J:j,N:n)  F(N:n,Z:'FR'))}
DRC:
{(n) | C(N:n)
 t(P(N:n,T:t)  M(T:t,S:'FR'))}
NRK:
{k[J] | K(k)
 p,f(
P(p)  F(f)  p.J=k.J
 f.N=p.N  f.Z='FR')}
TRC:
{c[N] | C(c)
 p,m(
P(p)  M(m)  p.N=c.N
 m.T=p.T  m.S='FR')}
7

Najděte seznam jmen všech kin,
která promítla alespoň jeden
francouzský film

Find list of name of all cinemas
that have played at least one
French movie
NRK: místo
{k[J] | K(k)
 p,f(
P(p)  F(f)  p.J=k.J
 f.N=p.N  f.Z='FR')}
TRC: instead of
{c[N] | C(c)
 p,m(
P(p)  M(m)  p.N=c.N
 m.T=p.T  m.S='FR')}
by šlo dotaz zjednodušit na
{p[J] | P(p)
 f(F(f)  f.N=p.N  f.Z='FR')}
the query can be simplyfied to
{p[N] | P(p)
 m(M(m)  m.T=p.T  m.S='FR')}
8

Najděte seznam jmen všech kin,
která nepromítla žádný
francouzský film

Find list of name of all cinemas
that have not played any French
movie
DRK:
{(j) | K(J:j)
 n(P(J:j,N:n)  F(N:n,Z:'FR'))}
DRC:
{(n) | C(N:n)
 t(P(N:n,T:t)  M(T:t,S:'FR'))}
NRK:
{k[J] | K(k)
 p,f(
P(p)  F(f)  p.J=k.J
 f.N=p.N  f.Z='FR')}
TRC:
{c[N] | C(c)
 p,m(
P(p)  M(m)  p.N=c.N
 m.T=p.T  m.S='FR')}
9

Najděte seznam jmen všech kin,
která nepromítla žádný
francouzský film

Find list of name of all cinemas
that have not played any French
movie
DRK: ekvivalentní přepis s 
{(j) | K(J:j)
 n(P(J:j,N:n)  F(N:n,Z:'FR'))}
DRC: equivalent transcript with 
{(n) | C(N:n)
 t(P(N:n,T:t)  M(T:t,S:'FR'))}
NRK: ekvivalentní přepis s 
{k[J] | K(k)
 p,f(
P(p)  F(f)  p.J=k.J
 f.N=p.N  f.Z='FR')}
TRC: equivalent transcript with 
{c[N] | C(c)
 p,m(
P(p)  M(m)  p.N=c.N
 m.T=p.T  m.S='FR')}
10

Najděte seznam jmen všech kin,
která nepromítla žádný
francouzský film

Find list of name of all cinemas
that have not played any French
movie
DRK: ekvivalentní přepis s 
{(j) | K(J:j)
 n(P(J:j,N:n)  F(N:n,Z:'FR'))}
DRC: equivalent transcript with 
{(n) | C(N:n)
 t(P(N:n,T:t)  M(T:t,S:'FR'))}
NRK: ekvivalentní přepis s 
{k[J] | K(k)
 p,f(
P(p)  F(f)  p.Jk.J
 f.Np.N  f.Z'FR')}
TRC: equivalent transcript with 
{c[N] | C(c)
 p,m(
P(p)  M(m)  p.Nc.N
 m.Tp.T  m.S'FR')}
11

Najděte seznam jmen všech kin,
která nepromítla žádný
francouzský film

Find list of name of all cinemas
that have not played any French
movie
DRK: ekvivalentní přepis s 
{(j) | K(J:j)
 n(P(J:j,N:n)  F(N:n,Z:'FR'))}
DRC: equivalent transcript with 
{(n) | C(N:n)
 t(P(N:n,T:t)  M(T:t,S:'FR'))}
NRK: ekvivalentní přepis s 
{k[J] | K(k)
 p,f(
(P(p)  F(f)  p.J=k.J
 f.N=p.N)  f.Z'FR')}
TRC: equivalent transcript with 
{c[N] | C(c)
 p,m(
(P(p)  M(m)  p.N=c.N
 m.T=p.T)  m.S'FR')}
12

Najděte seznam jmen všech kin,
která promítal pouze francouzské
filmy

Find list of name of all cinemas
that have played only
French movies
DRK:
{(j) | K(J:j)
 n(P(J:j,N:n)  F(N:n,Z:'FR'))}
DRC:
{(n) | C(N:n)
 t(P(N:n,T:t)  M(T:t,S:'FR'))}
NRK:
{k[J] | K(k)
 p,f(
(P(p)  F(f)  p.J=k.J
 f.N=p.N)  f.Z='FR')}
TRC:
{c[N] | C(c)
 p,m(
(P(p)  M(m)  p.N=c.N
 m.T=p.T)  m.S='FR')}
13

Najděte seznam jmen všech kin,
která promítla všechny
francouzské filmy

Find list of name of all cinemas that
have played all
French movies
DRK:
{(j) | K(J:j)
 n(P(J:j,N:n)  F(N:n,Z:'FR'))}
DRC:
{(n) | C(N:n)
 t(P(N:n,T:t)  M(T:t,S:'FR'))}
NRK:
{k[J] | K(k)
 f(F(f)  f.Z='FR' 
p(P(p)  p.J=k.J  p.N=f.N))}
TRC:
{c[N] | C(c)
 m(M(m)  m.S='FR' 
p(P(p)  p.N=c.N  p.T=m.T))}
14

Najděte seznam názvů filmů,
která se promítala ve všech
kinech

Find list of titles of movies that
have been played in all
cinemas
DRK:
{(n) | F(N:n)
 j(K(J:j)  P(J:j,N:n))}
DRC:
{(t) | M(T:t)
 n(C(N:n)  P(N:n,T:t))}
NRK:
{f[N] | F(f)
 k(K(k) 
p(P(p)  p.J=k.J  p.N=f.N)}
TRC:
{m[T] | M(m)
 c(C(c)  
p(P(p)  p.N=c.N  p.T=m.T)}
15