cours/algèbre SPC forme normale.md
Oscar Plaisant 602a41e7f8 update
2024-12-25 22:30:24 +01:00

14 lines
381 B
Markdown

up::[[algèbre SPC]]
#s/informatique
---
toute requête SPC peut être mise sous la forme :
$\pi_{j_{1}, j_{2}, \dots, j_{n}} \left( \{ (a_{1}) \}\times\cdots\times \{ (a_{m}) \} \times \sigma_{\varphi}\left( R_{1}\times\cdots\times R_{k} \right) \right)$
C'est la **forme normale** d'une requête dans l'[[algèbre SPC]]
où :
- $a_{1}, \dots, a_{n} \in \mathbf{dom}^{n}$