cours/SPC règles de réécriture.md
Oscar Plaisant 602a41e7f8 update
2024-12-25 22:30:24 +01:00

203 B

up::algèbre SPC #s/informatique


Transformations qui préserve l'équivalence des requêtes

Fusion

Merge select

\sigma_{F}(\sigma_{F'}(q)) \to \sigma_{F\wedge F'}(q)

Merge project