update

requêtes monotones.md

@@ -0,0 +1,17 @@
+up::[[propriétés des requêtes conjonctives]]
+title::"$I \subseteq J \implies q(I) \subseteq q(J)$ avec $I, J$ des instances et $q$ une [[requête]]"
+description::"ajouter des données dans l'instance ajoute au minimum 0 données dans le résultat d'une requête"
+#informatique
+
+----
+
+Une [[requête]] $q$ sur $D$ est _monotone_ si pour tout instances $I, J$ de $D$ :
+$I \subseteq J \implies q(I) \subseteq q(J)$
+
+C'est un cas particulier de [[fonction monotone]], où la relation d'ordre est $\subseteq$
+
+> [!note]
+> propriété intéressante pour optimiser les calculs
+
+
+