RÉSUMÉ. Les exigences d’un logiciel, souvent rédigées en langage naturel, sont à la base des phases de conception et de test fonctionnel. Le langage naturel est par nature ambigu, et les exigences peuvent donc être différemment interprétées lors de la construction et de la validation du logiciel. C’est pourquoi nous proposons une méthode de raffinement progressif des exigences vers des modèles ...

This paper discusses evaluation of select-project (SP) queries over an XML document. A SP query consists of two parts: (1) a conjunction of conditions on values of labels (called the selection) and (2) a series of labels whose values should be outputed (called the projection). Query evaluation involves finding tuples of nodes that have the labels mentioned in the query and are related to one an...

In this document, we present research topic developed in the context of heteroge-neous data integration in plant functional genomic. Plant functional genomic is a biologicalframework where several disciplines and techniques take part in the discover of genes function.It generates a large quantity of data which the scientists manage in various ways. However,many data sources, com...

The objective of this paper is to show how the interrogation processor responds to SQL interrogation. The interrogation processor is split into two parts. The first, called the interrogation compiler translates an SQL query into a plan of physical execution. The second, called evaluation query runs the execution plan.

Previous research finds that ovulation—the time each month when women are most fertile—can shift women’s mating psychology and increase their desire for new options in men. However, might ovulation also increase women’s desire for new products? Four studies find that women select a greater number of unique options from consumer product sets at high fertility. This effect is especially strong fo...

RÉSUMÉ. Nous proposons des algorithmes dédiés à l’indexation et à la recherche approximative d’information dans les bases de données hétérogènes semi-structurées XML. Le modèle d’indexation proposé est adapté à la recherche de contenu textuel dans les contextes XML définis par les structures d’arbres. Les mécanismes de recherche approchée mis en œuvre s’appuient sur une distance de Levenshtein ...