@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix vcard: <http://www.w3.org/2006/vcard/ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-tel-00757597v1> a dcat:Dataset ;
    dct:description """
              In the last decade XML became one of the main standards for data storage and exchange on the Web. Detecting XML query-update independence is crucial to efficiently perform data management tasks, like those concerning view-maintenance, concurrency control, and security. This thesis presents a novel static analysis technique to detect XML query- update independence, in the presence of a schema. Rather than types, the presented system infers chains of types. Each chain represents a path that can be traversed on a valid document during query/update evaluation. The resulting independence analysis is precise, although it raises a challenging issue: recursive schemas may lead to infer infinitely many chains. This thesis presents a sound and complete approximation tech- nique ensuring a finite analysis in any case, together with an efficient implementation performing the chain-based analysis in polynomial space and time.
            """ ;
    dct:identifier "tel-00757597" ;
    dct:issued "2026-06-03T23:04:38.728892"^^xsd:dateTime ;
    dct:language "en" ;
    dct:modified "2026-06-03T23:04:38.728899"^^xsd:dateTime ;
    dct:publisher <https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> ;
    dct:title "Types for Detecting XML Query-Update Independence" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "CCSD" ] ;
    dcat:distribution <https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-tel-00757597v1/resource/8239812e-a929-4aa0-ba41-4c777ab15af3> ;
    dcat:keyword "independence",
        "infoeu-reposemanticsdoctoralthesis",
        "infoinfo-dbcomputer-science-csdatabases-csdb",
        "theses",
        "types",
        "updates",
        "xml" ;
    dcat:landingPage <https://theses.hal.science/tel-00757597> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-tel-00757597v1/resource/8239812e-a929-4aa0-ba41-4c777ab15af3> a dcat:Distribution ;
    dct:format "HTML" ;
    dct:issued "2026-06-03T23:04:38.750923"^^xsd:dateTime ;
    dct:modified "2026-06-03T23:04:38.703725"^^xsd:dateTime ;
    dct:title "Types for Detecting XML Query-Update Independence" ;
    dcat:accessURL <https://theses.hal.science/tel-00757597> .

<https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> a foaf:Agent ;
    foaf:name "test_moissonnage_selune" .

<https://theses.hal.science/tel-00757597> a foaf:Document .