Formellement, soit s ( U , Q ) = { V | V ∈ U et V ⊆ Q } où U , Q et V représentent tous des ensembles, et U , plus spécifiquement, représente un ensemble d'ensembles. Par exemple, U pourrait être un ensemble des (ensembles) d'ingrédients requis pour diverses recettes dans un livre de cuisine avec Q représentant l'ensemble des ingrédients que j'ai V représentant une recette que je pourrais faire avec ces ingrédients. La requête s ( U , Q) correspond à la question "Que puis-je faire avec ces ingrédients?"
Ce que je recherche, c'est une représentation des données qui indexe U de manière à prendre en charge des requêtes efficaces de s ( U , Q ) où Q et tous les membres de U seront généralement petits par rapport à l'union de tous les membres de U . De plus, j'aimerais qu'il puisse mettre à jour efficacement U (par exemple, ajouter ou supprimer une recette).
Je ne peux pas m'empêcher de penser que ce problème doit être bien compris, mais je n'ai pas été en mesure de trouver un nom ou une référence pour cela. Quelqu'un connaît-il une stratégie pour résoudre ce problème efficacement ou un endroit où je peux en savoir plus à ce sujet?
En ce qui concerne la réflexion sur une solution, on pensait que je devais était de construire un arbre de décision pour l'ensemble U . À chaque nœud de l'arbre, la question "votre liste d'ingrédients contient-elle x ?" serait demandé avec x choisi pour maximiser le nombre de membres de U qui sont éliminés par la réponse. Au fur et à mesure que U est mis à jour, cet arbre de décision devrait être rééquilibré pour minimiser le nombre de questions nécessaires pour trouver le résultat correct. Une autre pensée est de représenter U avec quelque chose comme un «octree» booléen à n dimensions (où n est le nombre d'ingrédients uniques).
Je crois que "Quelles recettes peuvent être faites avec ces ingrédients?" peut être répondu en prenant le produit cartésien des (ensembles d'ingrédients requis pour les) recettes dans le livre de cuisine avec le jeu de puissance des ingrédients que l'on a et en filtrant les paires ordonnées résultantes pour les paires dans lesquelles les deux éléments sont égaux, mais ce n'est pas un solution efficace, et ce que je demande, c'est comment optimiser ce type d'opération; comment pourrait-on composer cela en SQL de manière à ce qu'il soit efficace et que fait SQL pour que cela soit efficace?
Bien que j'utilise l'illustration d'un livre de recettes de recettes et d'un ensemble d'ingrédients, je prévois que le nombre de «recettes» et le nombre d '«ingrédients» seront très importants (jusqu'à des centaines de milliers chacun), bien que le nombre d'ingrédients dans une recette donnée et le nombre d'ingrédients dans un ensemble d'ingrédients donné sera relativement faible (probablement environ 10 à 50 pour une «recette» typique et environ 100 pour un «ensemble d'ingrédients» typique). De plus, l'opération la plus courante sera la requête s ( U , Q ), elle devrait donc être la plus optimale. Cela signifie également qu'un algorithme de force brute qui nécessite de vérifier chaque recette ou d'opérer sur chaque ingrédient serait cependant trop lent en soi. Avec une mise en cache intelligente,