„Adatbázisok - Relációs lekérdezések gyakorlat” változatai közötti eltérés

** Reláció-algebránál először vesszük a halmaz szorzatát magával, és kiszelektáljuk azokat a párokat, ahol az első kisebb, mint a második, majd projekcióval meghagyjuk a második oszlopot. Ekkor megkaptuk azon elemek halmazát, amik nagyobbak valaminél, ezt kivonva az eredetiből marad a legkisebb elem. <math> H\setminus (\pi_{2}(\sigma_{2&gt;1}(H\times H))) </math>

** A második legkisebb elemet úgy kapjuk meg, hogy azon elemek halmazából, amiknél van kisebb, kivonjuk azok halmazát, amiknél legalább 2 kisebb van: <math> (\pi_{2}(\sigma_{2&gt;1}(H\times H)))\setminus (\pi_{3}(\sigma_{(2&gt;1)\wedge(3&gt;2)}(H\times H\times H))) </math>

** Sorkalkulus: azon egyelemű sorok halmaza, amikhez nem létezik nála kisebb első elemmel rendelkező egyelemű sor. <math> \{s^{(1)}\mid H^{(1)}(s^{(1)})\wedge\neg\exists t^{(1)}:(H^{(1)}(t^{(1)})\wedge s^{(1)}[1]&gt;t^{(1)}[1])\} </math> Illetve a második legkisebb elem: létezik nála kisebb, de nem létezik két különböző nála kisebb. <math> \{s^{(1)}\mid H^{(1)}(s^{(1)})\wedge\exists t^{(1)}:(H^{(1)}(t^{(1)})\wedge s^{(1)}[1]&gt;t^{(1)}[1])\wedge\neg\exists t^{(1)}, u^{(1)}:(H^{(1)}(t^{(1)})\wedge H^{(1)}(u^{(1)})\wedge s^{(1)}[1]&gt;t^{(1)}[1]\wedge s^{(1)}[1]&gt;u^{(1)}[1] \wedge u^{(1)}[1]\neq t^{(1)}[1])\} </math>

** Oszlopkalkulus: ugyanaz, mint az előbb, csak egyelemű sorváltozók első elemei helyett egy-egy oszlopváltozó szerepel: <math> \{s\mid H(s)\wedge\neg\exists t:(H(t)\wedge s&gt;t)\} </math> illetve <math> \{s\mid H(s)\wedge\exists t:(H(t)\wedge s&gt;t)\wedge\neg\exists t, u:(H(t)\wedge H(u)\wedge s&gt;t\wedge s&gt;u \wedge u\neq t)\} </math>