Le Store de Tuples Generiques offre une interface simple, et efficace
Le Store de Tuples Génériques [nstore] expose un ensemble ordonné de tuples uniques de taille identique, un entier strictement positif appelé n. Un store de tuple avec n=3 est un store de triples [triplestore], et lorsque n=4, il s’agit d’un store de quad [quadstore]. Le Store de Tuples Génériques peut être expliqué aussi comme une table de n colonnes faites d’octets.
Le Store de Tuples Génériques [nstore] est une structure de données qui se décompose en associations ordonnées de chaines d’octets. Les associations de chaines d’octets ou associations d’octets sont construites pour garantir une complexité O(log(n)) pour toute demande d’unification. L’unification de tuple consiste à associer à un tuple construit avec des champs variables, l’ensemble des tuples ordonnés qui se trouvent dans le store de tuples génériques dont les champs correspondent aux variables près libres de faire correspondre n’importe quelle valeur. En entrée de l’unification il y a un tuple avec certains champs d’octets, et d’autres de variables, en sortie, il y a un ensemble de tuples uniques identiques au tuple d’entrée sauf les champs variables qui changent de manière que chaque tuple en sortie de l’unification est aussi un tuple présent dans le Store de Tuple Génériques.
Les avantages du Store de Tuples Génériques sont :
Le typage est dynamique, en effet, les champs sont des champs d’octets qui par construction et qui peuvent être, à la lecture, interprétés comme des types de base : booléens, entiers, flottants, ou la composition ordonnée de ces types à l’aide d’un tableau ou d’une liste chainée.
Le schéma est aussi dynamique, il n’est pas contraint par un schéma au moment de l’écriture [construction], au moment de la lecture, il est possible d’interpréter les tuples ou un sous-ensemble de tuples, comme des documents, des arbres ou des graphes.
Les représentations secondaires [index] sont pré-calculées pour accélérer, donc faciliter l’unification, grâce à l’avantage que les tuples sont toujours ordonnés.
home.