Procédure inquisitoireLa procédure inquisitoire est la procédure judiciaire où la maîtrise du procès est confiée au juge qui joue un rôle actif. En plus des éléments que les parties vont lui apporter, le juge pourra rechercher des éléments de preuve lui-même afin de fonder sa propre opinion. La procédure inquisitoire s'oppose donc à la procédure accusatoire, en usage au civil et, dans les pays anglo-saxons, au pénal, où le rôle des juges se limite seulement à celui d’arbitre impartial entre les parties.
Vue (base de données)Une vue dans une base de données est une synthèse d'une requête d'interrogation de la base. On peut la voir comme une table virtuelle, définie par une requête. Les avantages des vues sont : d'éviter de taper une requête très longue : la vue sert à donner un nom à la requête pour l'utiliser souvent, de masquer certaines données à certains utilisateurs. En SQL, les protections d'une vue ne sont pas forcément les mêmes que celles des tables sous-jacentes. Les vues ne sont pas forcément purement virtuelles.
Vue matérialiséeEn informatique, dans les systèmes de gestion de base de données de type relationnel, une vue est une table virtuelle représentant le résultat d’une requête sur la base. Comme son nom l'indique et à la différence d'une vue standard, dans une vue matérialisée les données sont dupliquées. On l’utilise essentiellement à des fins d'optimisation et de performance dans le cas où la requête associée est particulièrement complexe ou lourde, ou pour faire des réplications de table.
Procès en droit françaisEn droit français, un procès est un litige soumis à une juridiction, laquelle peut être par exemple une cour ou un tribunal. À l'issue du procès, une décision est rendue. En France, la décision est généralement appelée jugement, lorsque la juridiction qui l'a rendue est appelée tribunal, ou arrêt, lorsque cette juridiction est appelée « cour ». Avant toute action, la compétence juridique doit être définie de manière à savoir auprès de quel type de tribunal l'action en justice doit être portée et à quel endroit elle le sera.
Nondeterministic algorithmIn computer programming, a nondeterministic algorithm is an algorithm that, even for the same input, can exhibit different behaviors on different runs, as opposed to a deterministic algorithm. There are several ways an algorithm may behave differently from run to run. A concurrent algorithm can perform differently on different runs due to a race condition. A probabilistic algorithm's behaviors depends on a random number generator.