Filters








788 Hits in 4.7 sec

A DTD Graph Based XPath Query Subsumption Test [chapter]

Stefan Böttcher, Rita Steinmetz
<span title="">2003</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
XPath expressions play a central role in querying for XML fragments.  ...  We present a containment test of two XPath queries which checks whether a new XPath query XP1 can reuse a previous query result XP2.  ...  For this purpose, we follow [5, 8, 9, 10] , which also contribute to the solving of the containment problem for two XPath expressions under a given DTD.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-39429-7_6">doi:10.1007/978-3-540-39429-7_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qkwuz2c2nndrxiwdrbp5mgqm7e">fatcat:qkwuz2c2nndrxiwdrbp5mgqm7e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829094908/http://www2.cs.uni-paderborn.de/fachbereich/AG/boettcher/lehre/SS03/dbis2/xsym03.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fe/97/fe974190fcf6df0515e019be8b06241b56e6dd70.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-39429-7_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Simple and Effective Relation-Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015) [article]

Baltasar Trancón y Widemann, Markus Lepper
<span title="2019-05-17">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
XPath is a language for addressing parts of an XML document. We give an abstract interpretation of XPath expressions in terms of relations on document node types.  ...  This method is part of the TPath implementation of XPath. XSL-T is a pure functional language for transforming XML documents.  ...  At a higher level of abstraction, the same XPath expression can be interpreted as selecting a subset of the nodes of all XML documents conforming to a fixed DTD.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1905.07362v1">arXiv:1905.07362v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u74yywrfvzgyzpygtsym4d3rpu">fatcat:u74yywrfvzgyzpygtsym4d3rpu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200824193456/https://arxiv.org/pdf/1905.07362v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6c/a2/6ca210a18de42940aca53a02c18a7c72cad28525.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1905.07362v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Containment for XPath Fragments under DTD Constraints [chapter]

Peter T. Wood
<span title="2002-12-16">2002</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Equivalence under DTDs • let SAT (D) denote the set of trees satisfying DTD D • for XPath queries P and Q, -P D-contains Q, written P ⊇ SAT (D) Q, if for all trees t ∈ SAT (D), P (t) ⊇ Q(t) -P is D-equivalent  ...  EXPTIME-complete PTIME Classes • deciding containment under DTDs is coNP-complete for XP {[ ]} [Wood, WebDB01]  ...  Contractions of a Query A contraction of query Q 1 is a query Q 2 comprising a subset of Q 1 's nodes such that there is a containment mapping from Q 1 to Q 2 Some contractions for the XPath query a[.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36285-1_20">doi:10.1007/3-540-36285-1_20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4rmxjtfm3rbithwiphe4qku24u">fatcat:4rmxjtfm3rbithwiphe4qku24u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050205173113/http://www.dcs.bbk.ac.uk:80/~ptw/icdt-talk.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/66/f2/66f23a502df62820c201be6f99d4c83ed88a283a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36285-1_20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

XPath satisfiability in the presence of DTDs

Michael Benedikt, Wenfei Fan, Floris Geerts
<span title="">2005</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xtq6wnwaszaebg4qf7aw6mllwi" style="color: black;">Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS &#39;05</a> </i> &nbsp;
Finally, we give a finer analysis of the problem for particular classes of DTDs, exploring the impact of various DTD constructs, identifying tractable cases, as well as providing the complexity in the  ...  This is the problem of determining, given a query p in an XPath fragment and a DTD D, whether or not there exists an XML document T such that T conforms to D and the answer of p on T is nonempty.  ...  We thank Kousha Etessami and Kedar Namjoshi for helpful discussions. We also thank Peter Buneman and Leonid Libkin for their comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1065167.1065172">doi:10.1145/1065167.1065172</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pods/BenediktFG05.html">dblp:conf/pods/BenediktFG05</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/orcljera6fcotfh5tu37rq45xa">fatcat:orcljera6fcotfh5tu37rq45xa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20051231232311/http://homepages.inf.ed.ac.uk:80/fgeerts/pdf/pods05.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/16/27/16271c97acfc03f8b248b3c3dcf44233cd5cfd89.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1065167.1065172"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

XPath satisfiability in the presence of DTDs

Michael Benedikt, Wenfei Fan, Floris Geerts
<span title="2008-05-01">2008</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/r72grtxx6jad5hjzl7fxcunwhi" style="color: black;">Journal of the ACM</a> </i> &nbsp;
Finally, we give a finer analysis of the problem for particular classes of DTDs, exploring the impact of various DTD constructs, identifying tractable cases, as well as providing the complexity in the  ...  This is the problem of determining, given a query p in an XPath fragment and a DTD D, whether or not there exists an XML document T such that T conforms to D and the answer of p on T is nonempty.  ...  We thank Kousha Etessami and Kedar Namjoshi for helpful discussions. We also thank Peter Buneman and Leonid Libkin for their comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1346330.1346333">doi:10.1145/1346330.1346333</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rpp2yr4k7rfhxaixxbt3rn6bdi">fatcat:rpp2yr4k7rfhxaixxbt3rn6bdi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20051231232311/http://homepages.inf.ed.ac.uk:80/fgeerts/pdf/pods05.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/16/27/16271c97acfc03f8b248b3c3dcf44233cd5cfd89.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1346330.1346333"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Satisfiability of XPath Queries with Sibling Axes [chapter]

Floris Geerts, Wenfei Fan
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
To this end we revisit the satisfiability problem for a variety of XPath fragments with sibling axes, in the presence of DTDs, in the absence of DTDs, and under various restricted DTDs.  ...  We study the satisfiability problem for XPath fragments supporting the following-sibling and preceding-sibling axes.  ...  The authors would like to thank Frank Neven for giving the proof idea for Theorem 1. Wenfei Fan is supported in part by EPSRC GR/S63205/01, EPSRC GR/T27433/01 and NSFC 60228006.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11601524_8">doi:10.1007/11601524_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4djmfhwayrb5bjflo4ugxmmyz4">fatcat:4djmfhwayrb5bjflo4ugxmmyz4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813210809/http://homepages.inf.ed.ac.uk/fgeerts/pdf/trondheim05.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ab/d8/abd874571093734c9115ab66bb24e5815e80ee8d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11601524_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

XML Security Views Revisited [chapter]

Benoît Groz, Sławomir Staworko, Anne-Cecile Caron, Yves Roos, Sophie Tison
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
First, we show that the full class of Regular XPath queries is closed under query rewriting.  ...  We propose three different methods of approximating the view schema and we show that the produced DTDs are indistinguishable from the exact schema (with queries from a class specific for each method).  ...  (ii) The subword approximation of H is a DTD D H defined as D H ÔaÕ HÔaÕ for every a È Σ.(iii) The subset approximation of H is a DTD D S H defined as D S H ÔaÕ alphÔHÔaÕÕ * for every a È Σ. .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-03793-1_4">doi:10.1007/978-3-642-03793-1_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/os62oesfqfbmpmo4r5odynmkvy">fatcat:os62oesfqfbmpmo4r5odynmkvy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719141824/https://www.research.ed.ac.uk/portal/files/19319964/Groz_Staworko_ET_AL_2009_XML_Security_Views_Revisited.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f4/66/f4663aee2f6aaebb9a60cd3a14ae19eb30183b0a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-03793-1_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A system for the static analysis of XPath

Pierre Genevès, Nabil Layaïda
<span title="2006-10-01">2006</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/a2o77szzyngfjiyr6oftvf2ts4" style="color: black;">ACM Transactions on Information Systems</a> </i> &nbsp;
XPath is the standard language for navigating XML documents and returning a set of matching nodes.  ...  We show how to translate major XML concepts such as XPath and regular XML types (including DTDs) into this logic.  ...  whose exact expressive power is still under study.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1185877.1185882">doi:10.1145/1185877.1185882</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vkewxlmspzcivoxpnyy7itlftq">fatcat:vkewxlmspzcivoxpnyy7itlftq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171224164649/https://hal.archives-ouvertes.fr/hal-00189137/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d9/8c/d98c0c9cae94d7dd7afd8d7121f5c7cce037b549.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1185877.1185882"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Static analysis of XML processing with data values

Luc Segoufin
<span title="2007-03-01">2007</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/svqjiw2cwzftpcod3duuxcbveu" style="color: black;">SIGMOD record</a> </i> &nbsp;
We thank Michael Benedikt, Leonid Libkin and Thomas Schwentick for all their comments on an earlier version of this paper.  ...  Let L be a query language, for instance XPath, and C be a class of XML-schema, for instance DTD or DTD with integrity constraints.  ...  This fragment is closed under negation. Theorem 8 [4] In the presence of DTDs (with no constraints) containment for XPath(↓, =) is decidable in nexptime.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1276301.1276308">doi:10.1145/1276301.1276308</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a6kzyaipprcybcx6wmod4tcyfu">fatcat:a6kzyaipprcybcx6wmod4tcyfu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140713020243/http://homepages.inf.ed.ac.uk:80/libkin/dbtheory/luc.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/76/b7/76b7e3fc6a69f64c42295c38b85d9ce7ce1790ce.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1276301.1276308"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

On the complexity of XPath containment in the presence of disjunction, DTDs, and variables

Frank Neven, Thomas Schwentick, Leonid Libkin
<span title="2006-07-26">2006</span> <i title="Logical Methods in Computer Science e.V."> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/c67srop7pbe3nciquoxzy3d6pm" style="color: black;">Logical Methods in Computer Science</a> </i> &nbsp;
XPath is a simple language for navigating an XML-tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various fragments of XPath.  ...  Further, we investigate the containment problem relative to a given DTD.  ...  Acknowledgment We thank Stijn Vansummeren for comments on a previous version of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2168/lmcs-2(3:1)2006">doi:10.2168/lmcs-2(3:1)2006</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3xjq6pszznb25btuuj6jfyahyy">fatcat:3xjq6pszznb25btuuj6jfyahyy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721035653/https://lmcs.episciences.org/2243/pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/74/3c/743c17f3a63450863a68bae2a6706c492db4bf34.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2168/lmcs-2(3:1)2006"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Optimization of XML Transformations Using Template Specialization [chapter]

Ce Dong, James Bailey
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This paper presents a new approach for optimizing XSLT transformations, based on the notion of template specialization.  ...  We describe a number of template specialization techniques, suitable for varying XSLT design styles and show how such specializations can be used at run time, according to user input queries.  ...  Expressions XPath is a language for locating nodes in an XML document using path expressions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30480-7_36">doi:10.1007/978-3-540-30480-7_36</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/odifxbjmffbudcja35ta7laevm">fatcat:odifxbjmffbudcja35ta7laevm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100613120212/http://ww2.cs.mu.oz.au:80/~jbailey/papers/wise2004.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f6/1f/f61feba8dca1689c3f1e95bfa748a81b4e3026b6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30480-7_36"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

XML access control using static analysis

Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada
<span title="2006-08-01">2006</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/trn6le535rfr5ma6j7pf3fegae" style="color: black;">ACM Transactions on Privacy and Security</a> </i> &nbsp;
Access control policies for XML typically use regular path expressions such as XPath for specifying the objects for access control policies.  ...  We have built a prototype of static analysis for XQuery, and shown the effectiveness and scalability through experiments.  ...  expression over Σ E ×N , and A is a subset of Σ A .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1178618.1178621">doi:10.1145/1178618.1178621</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wtjosayjgreunov7cynu54axcq">fatcat:wtjosayjgreunov7cynu54axcq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809084020/http://www.dsi.unive.it/~avp/murata.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a7/74/a774fd6d7f7c8ef45c90f2deeb6bd15a413b984d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1178618.1178621"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

XML access control using static analysis

Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada
<span title="">2003</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rau5643b7ncwvh74y6p64hntle" style="color: black;">Proceedings of the 10th ACM conference on Computer and communication security - CCS &#39;03</a> </i> &nbsp;
Access control policies for XML typically use regular path expressions such as XPath for specifying the objects for access control policies.  ...  We have built a prototype of static analysis for XQuery, and shown the effectiveness and scalability through experiments.  ...  expression over Σ E ×N , and A is a subset of Σ A .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/948109.948122">doi:10.1145/948109.948122</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ccs/MurataTKH03.html">dblp:conf/ccs/MurataTKH03</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nq6y5djdsje3vgquu55sep6ju4">fatcat:nq6y5djdsje3vgquu55sep6ju4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809084020/http://www.dsi.unive.it/~avp/murata.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a7/74/a774fd6d7f7c8ef45c90f2deeb6bd15a413b984d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/948109.948122"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

XML access control using static analysis

Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada
<span title="">2003</span> <i title="ACM Press"> Proceedings of the 10th ACM conference on Computer and communication security - CCS &#39;03 </i> &nbsp;
Access control policies for XML typically use regular path expressions such as XPath for specifying the objects for access control policies.  ...  We have built a prototype of static analysis for XQuery, and shown the effectiveness and scalability through experiments.  ...  expression over Σ E ×N , and A is a subset of Σ A .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/948121.948122">doi:10.1145/948121.948122</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ifqx53vv55eptk3gwymk4i7tn4">fatcat:ifqx53vv55eptk3gwymk4i7tn4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809084020/http://www.dsi.unive.it/~avp/murata.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a7/74/a774fd6d7f7c8ef45c90f2deeb6bd15a413b984d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/948121.948122"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

XPath Containment in the Presence of Disjunction, DTDs, and Variables [chapter]

Frank Neven, Thomas Schwentick
<span title="2002-12-16">2002</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
XPath is a simple language for navigating an XML tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various fragments of XPath.  ...  Introduction XPath is a simple language for navigating an XML document and selecting a set of element nodes [6] . Actually, XPath is the main XML selection language.  ...  Acknowledgment We thank Stijn Vansummeren for comments on a previous version of this paper. We thank the anonymous referees for valuable suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36285-1_21">doi:10.1007/3-540-36285-1_21</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fe6ymc4bara3tcvyrvl4pg2luy">fatcat:fe6ymc4bara3tcvyrvl4pg2luy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060726135310/http://xml.coverpages.org:80/Neven-xpath.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e2/ca/e2ca4a57c3f5dcbfa6a83b55eeea45b9d7177e35.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36285-1_21"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 788 results