Canonicalization

à ne pas confondre avec la canonisation .

Dans le de l'informatique, le canonicalization ( abrégé c14n ) de est un procédé pour convertir les données qui ont plus d'une représentation possible dans un " ; standard" ; Représentation canonique du . Ceci peut être fait pour comparer différentes représentations pour l'équivalence, pour compter le nombre de structures de données distinctes, pour améliorer l'efficacité des divers algorithmes en éliminant des calculs répétés, ou pour permettre pour imposer un signicatif assortissant l'ordre de .

Exemples

Liens dans Wikipedia

Comme exemple, le Wikipedia emploie le canonicalization dans son traitement des liens entre les articles (voir le Wikipedia : Canonicalization ). La première lettre dans le nom d'article est profitée, la conduite et les espaces de remorquage sont enlevés, et le whitespace inclus est remplacé par des soulignages. Par exemple : Egg_salad salade d'oeufs de de egg_salad tous se rapportent au même article.

Web server

Canonicalization des noms de fichier est important pour le degré de sécurité d'ordinateur. Par exemple, un web server peut avoir une règle de sécurité énoncer le " ; exécuter seulement les dossiers sous le " d'annuaire de cgi (C:\inetpub\wwwroot\cgi - casier) ;. La règle est imposée en vérifiant que le chemin démarre par le " ; C:\inetpub\wwwroot\cgi - casier \ " ; , et si elle fait, le dossier est exécuté.

Si le " ; C:\inetpub\wwwroot\cgi - casier \. \ Windows \ System32 \ cmd.exe" ; être exécuté ? Pas, parce que ce chemin de tour va support la hiérarchie d'annuaire, ne restant pas dans le cgi-casier. L'acceptation de lui à la valeur nominale serait une erreur due au manque de normaliser le nom de fichier à une représentation (la plus simple) unique, à savoir : C:\Windows\System32\cmd.exe, avant de faire le contrôle de chemin. Ce type de défaut s'appelle une vulnérabilité du traversal d'annuaire de .

Unicode

Les codages de longueur variable dans la norme d'Unicode , en particulier le UTF-8 , tiennent compte de beaucoup de différentes manières de représenter le même caractère. Ainsi une corde devrait toujours être réduite à la forme la plus simple possible avant de faire toutes les comparaisons.

Canonicalization dans les mathématiques

Dans les mathématiques, des objets sont parfois convertis en formes canoniques. Une application est dans la combinatoire, où le nombre de formes canoniques peut être compté. La technique de la position générale dans la géométrie est une semblable : beaucoup de preuves commencent en prouvant qu'un objet arbitraire à l'étude peut être réarrangé de sorte que ses points soient arrangés d'une façon commode.

Des formes canoniques sont également employées dans la logique mathématique . Une formule de premier ordre peut être mise dans beaucoup de formats standards, y compris la forme normale de Prenex de , la forme normale conjonctive , la forme normale disjonctive , et la forme normale algébrique .

Voir également

iktionary
Forme normale

Random links: