Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"Université Lille I – Sciences et Technologies" +contributor:("Tison, Sophie"). Showing records 1 – 3 of 3 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Filiot, Emmanuel. Logiques pour requêtes n-aires dans les arbres : Logics for n-ary queries in trees.

Degree: Docteur es, Informatique, 2008, Université Lille I – Sciences et Technologies

Beaucoup de données infrmatiques sont structurées de manière arborescente. Dans le contexte du Web, c'est le cas en particulier des données au format XML. De par sa généricité, ce format est rapidement devenu un standard pour l'échange et la sauvegarde d'informations. A l'instar des langages de requêtes pour les bases de données relationnelles, le besoin d'avoir des langages de requêtes pour les documents XML est devenu crucial. On distingue les requêtes unaires (sélection d'un ensemble de sous-parties d'un document) des requêtes n-aires (sélection d'un ensemble de n-uplets de sous-parties d'un document). Beaucoup de formalismes logiques pour les requêtes unaires ont été étudiés, en revanche, peu d'approches logiques existent pour les requêtes n-aires. Cette thèse étudie de manière fondamentale les requêtes n-aires, en proposant et en étudiant principalement deux formalismes logiques pour requêtes n-aires: une extension du paradigme navigationnel du standard W3C XPath au cas n-aire, appelée langage de composition, et une adaptation de la logique spatiale d'arbres TQL, introduite par Cardelli et Ghelli. Les questions de pouvoir d'expressivité, de complexité d'évaluation des requêtes ainsi que leur satisfiabilité sont abordées. L'étude du problème de satisfiabilité pour la logique TQL a nécessité l'introduction de nouveaux automates d'arbres avec tests globaux, dont l'étude est réalisée de manière indépendante.

Ln computer science many data are shaped as trees. ln the context of the Web, it is the case for XML formatted data in particular. XML is a markup language that has rapidly become a standard for information storage and data exchange. As query languages for relational databases are not well-suited to XML data, the need to have query languages specific to XML documents has increased. We distinguish unary queries which select a set of subparts of a document from n-ary queries which select a set of n-tuples of subparts of a document. Many logical formalisms for unary queries have been proposed, but less work has been done on logical formalisms for n-ary queries. This thesis is a fundamental study of n-ary queries that proposes two logical formalisms for n-ary queries: an extension of the navigational paradigm of the W3C standard XPath to n-ary queries, called the composition language, and an adapation of the spatiallogie TQL introduced by Cardelli and Ghelli. The question of expressive power, the complexity of the query evaluation problem as well as the satisfiability problem are considered. ln particular, the satisfiability problem for a TQL fragment is proved to be decidable by reduction to the emptiness test of a new class of tree automata with global constraints that is studied independently.

Advisors/Committee Members: Tison, Sophie (thesis director), Talbot, Jean-Marc (thesis director).

Subjects/Keywords: Requêtes n-aires

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Filiot, E. (2008). Logiques pour requêtes n-aires dans les arbres : Logics for n-ary queries in trees. (Doctoral Dissertation). Université Lille I – Sciences et Technologies. Retrieved from http://www.theses.fr/2008LIL10145

Chicago Manual of Style (16th Edition):

Filiot, Emmanuel. “Logiques pour requêtes n-aires dans les arbres : Logics for n-ary queries in trees.” 2008. Doctoral Dissertation, Université Lille I – Sciences et Technologies. Accessed February 16, 2019. http://www.theses.fr/2008LIL10145.

MLA Handbook (7th Edition):

Filiot, Emmanuel. “Logiques pour requêtes n-aires dans les arbres : Logics for n-ary queries in trees.” 2008. Web. 16 Feb 2019.

Vancouver:

Filiot E. Logiques pour requêtes n-aires dans les arbres : Logics for n-ary queries in trees. [Internet] [Doctoral dissertation]. Université Lille I – Sciences et Technologies; 2008. [cited 2019 Feb 16]. Available from: http://www.theses.fr/2008LIL10145.

Council of Science Editors:

Filiot E. Logiques pour requêtes n-aires dans les arbres : Logics for n-ary queries in trees. [Doctoral Dissertation]. Université Lille I – Sciences et Technologies; 2008. Available from: http://www.theses.fr/2008LIL10145

2. Groz, Benoît. XML security views : queries, updates and schemas : Vues de sécurité XML : requêtes, mises à jour et schémas.

Degree: Docteur es, Informatique, 2012, Université Lille I – Sciences et Technologies

Les évolutions technologiques ont consacré l'émergence des services web et du stockage des données en ligne, en complément des bases de données traditionnelles. Ces évolutions facilitent l'accès aux données, mais en contrepartie soulèvent de nouvelles problématiques de sécurité. La mise en œuvre de politiques de contrôle d'accès appropriées est une des approches permettant de réduire ces risques. Nous étudions ici les politiques de contrôle d'accès au niveau d'un document XML, politiques que nous modélisons par des vues de sécurité XML (non matérialisées) à l'instar de Fan et al. Ces vues peuvent être représentées facilement par des alignements d'arbres grâce à l'absence d'opérateurs arithmétiques ou de restructuration. Notre objectif est par conséquent d'examiner comment manipuler efficacement ce type de vues, à l'aide des méthodes formelles, et plus particulièrement des techniques de réécriture de requêtes et la théorie des automates d'arbres. Trois directions principales ont orienté nos recherches: nous avons tout d'abord élaboré des algorithmes pour évaluer l'expressivité d'une vue, en fonction des requêtes qui peuvent être exprimées à travers cette vue. Il s'avère que l'on ne peut décider en général si une vue permet d'exprimer une requête particulière, mais cela devient possible lorsque la vue satisfait des hypothèses générales. En second lieu, nous avons considéré les problèmes soulevés par la mises à jour du document à travers une vue. Enfin, nous proposons des solutions pour construire automatiquement un schéma de la vue. En particulier, nous présentons différentes techniques pour représenter de façon approchée l'ensemble des documents au moyen d'une DTD.

The evolution of web technologies and social trends fostered a shift from traditional enterprise databases to web services and online data. While making data more readily available to users, this evolution also raises additional security concerns regarding the privacy of users and more generally the disclosure of sensitive information. The implementation of appropriate access control models is one of the approaches to mitigate the threat. We investigate an access control model based on (non-materialized) XML views, as presented among others by Fan et al. The simplicity of such views, and in particular the absence of arithmetic features and restructuring, facilitates their modelization with tree alignments. Our objective is therefore to investigate how to manipulate efficiently such views, using formal methods, and especially query rewriting and tree automata. Our research follows essentially three directions: we first develop new algorithms to assess the expressivity of views, in terms of determinacy, query rewriting and certain answers. We show that those problems, although undecidable in our most general setting, can be decided under reasonable restrictions. Then we address the problem of handling updates in the security view framework. And last, we investigate the classical issues raised by schemata, focusing on the specific "determinism''…

Advisors/Committee Members: Tison, Sophie (thesis director), Staworko, Sławomir (thesis director).

Subjects/Keywords: Réécriture de requêtes; Schémas (bases de données); Mises à jour (base de données); 005.741

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Groz, B. (2012). XML security views : queries, updates and schemas : Vues de sécurité XML : requêtes, mises à jour et schémas. (Doctoral Dissertation). Université Lille I – Sciences et Technologies. Retrieved from http://www.theses.fr/2012LIL10143

Chicago Manual of Style (16th Edition):

Groz, Benoît. “XML security views : queries, updates and schemas : Vues de sécurité XML : requêtes, mises à jour et schémas.” 2012. Doctoral Dissertation, Université Lille I – Sciences et Technologies. Accessed February 16, 2019. http://www.theses.fr/2012LIL10143.

MLA Handbook (7th Edition):

Groz, Benoît. “XML security views : queries, updates and schemas : Vues de sécurité XML : requêtes, mises à jour et schémas.” 2012. Web. 16 Feb 2019.

Vancouver:

Groz B. XML security views : queries, updates and schemas : Vues de sécurité XML : requêtes, mises à jour et schémas. [Internet] [Doctoral dissertation]. Université Lille I – Sciences et Technologies; 2012. [cited 2019 Feb 16]. Available from: http://www.theses.fr/2012LIL10143.

Council of Science Editors:

Groz B. XML security views : queries, updates and schemas : Vues de sécurité XML : requêtes, mises à jour et schémas. [Doctoral Dissertation]. Université Lille I – Sciences et Technologies; 2012. Available from: http://www.theses.fr/2012LIL10143

3. Gauwin, Olivier. Flux XML, requêtes XPath et automates : Streaming tree automata and XPath.

Degree: Docteur es, Informatique, 2009, Université Lille I – Sciences et Technologies

L'intérêt croissant pour les technologies Web génère de nouveaux défis. Le format XML s'est imposé comme une référence pour le stockage et l'échange de données. Certains documents XML ont acquis une taille telle, qu'il est inefficace voire impossible de les stocker en mémoire centrale. Cela amène à repenser les algorithmes prévus pour traiter ces documents. Une solution consiste à considérer un document XML comme un flux, qui correspond à une lecture unidirectionnelle de ce document. Ce flux est alors traité à la volée. Ainsi le document n'est jamais stocké en mémoire centrale, et uniquement les parties utiles y sont mémorisées. L'un des traitements effectués sur les fichiers XML est la sélection d'information par des requêtes. Ceci constitue une étape de base pour la transformation de documents XML, permettant ainsi à des applications utilisant différents schémas XML d'échanger des informations. Cette thèse étudie l'évaluation de requêtes sur des flux XML. Deux formalismes de requêtes sont considérés· le standard XPath, et les automates d'arbres Pour cela, une mesure de la faculté d'une requête à être évaluée sur des flux XML est introduite. A l'aune de cette mesure, les requêtes XPath et par automates ne sont pas adaptées à une évaluation de flux XML. Pour chacun des deux formalismes de requêtes, de larges fragments adaptés à ce type d'évaluation sont définis et étudiés. Pour les requêtes par automates d'arbres, deux autres critères liés à l'évaluation de flux XML sont montrés décidables en temps polynomial

The growing interest for Web technologies leads to new challenges. XML is now a reference for storing and exchanging data. Some XML documents are now so large, that il is inefficient or even impossible to store them in main memory. This calls for new paradigms to treat these data. One of them consists in considering an XML document as a stream, corresponding to a one-way reading of this document. This stream is then processed on-the-f1y. Hence the document is never stored in main memory, and only the useful parts are memorized. One task of XML processing is to retrieve information, using queries. This is the base step for XML document transformation, that allows applications using distinct XML schemas to exchange data. This thesis studies the query answering problem on XML streams. Two query classes are considered: the XPath standard, and tree automata. For this purpose, a measure of streamability of a query is introduced. This one shows that queries defined by XPath expressions or tree automata are not streamable. For both query formalisms, large streamable fragments are introduced and studied. For queries defined by tree automata, Iwo other streamability criteria are proved to be decidable in polynomial time.

Advisors/Committee Members: Niehren, Joachim (thesis director), Tison, Sophie (thesis director).

Subjects/Keywords: Flux de données

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gauwin, O. (2009). Flux XML, requêtes XPath et automates : Streaming tree automata and XPath. (Doctoral Dissertation). Université Lille I – Sciences et Technologies. Retrieved from http://www.theses.fr/2009LIL10054

Chicago Manual of Style (16th Edition):

Gauwin, Olivier. “Flux XML, requêtes XPath et automates : Streaming tree automata and XPath.” 2009. Doctoral Dissertation, Université Lille I – Sciences et Technologies. Accessed February 16, 2019. http://www.theses.fr/2009LIL10054.

MLA Handbook (7th Edition):

Gauwin, Olivier. “Flux XML, requêtes XPath et automates : Streaming tree automata and XPath.” 2009. Web. 16 Feb 2019.

Vancouver:

Gauwin O. Flux XML, requêtes XPath et automates : Streaming tree automata and XPath. [Internet] [Doctoral dissertation]. Université Lille I – Sciences et Technologies; 2009. [cited 2019 Feb 16]. Available from: http://www.theses.fr/2009LIL10054.

Council of Science Editors:

Gauwin O. Flux XML, requêtes XPath et automates : Streaming tree automata and XPath. [Doctoral Dissertation]. Université Lille I – Sciences et Technologies; 2009. Available from: http://www.theses.fr/2009LIL10054

.