Filters








13,705 Hits in 6.8 sec

Two-variable logic on data trees and XML reasoning

Mikolaj Bojańczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin
<span title="">2006</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xtq6wnwaszaebg4qf7aw6mllwi" style="color: black;">Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS &#39;06</a> </i> &nbsp;
Motivated by reasoning tasks for XML languages, the satisfiability problem of logics on data trees is investigated.  ...  It is shown that satisfiability for two-variable first-order logic is decidable if the tree structure can be accessed only through the child and the next sibling predicates and the access to data values  ...  In this work, we concentrate on a (classical) fragment of first-order logic, two-variable logic. There are several good reasons to consider this fragment.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1142351.1142354">doi:10.1145/1142351.1142354</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pods/BojanczykDMSS06.html">dblp:conf/pods/BojanczykDMSS06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dtfgva4q65ad5kvfhfa3g6bjmi">fatcat:dtfgva4q65ad5kvfhfa3g6bjmi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120712152548/http://www.lsv.ens-cachan.fr/~segoufin/Papers/Mypapers/data-trees.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/9c/0d/9c0d401b91416b784c41326a3011390c0243d070.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1142351.1142354"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Two-variable logic on data trees and XML reasoning

Mikoaj Bojańczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin
<span title="2009-05-01">2009</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;
Motivated by reasoning tasks for XML languages, the satisfiability problem of logics on data trees is investigated.  ...  It is shown that satisfiability for two-variable first-order logic is decidable if the tree structure can be accessed only through the child and the next sibling predicates and the access to data values  ...  In this work, we concentrate on a (classical) fragment of first-order logic, two-variable logic. There are several good reasons to consider this fragment.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1516512.1516515">doi:10.1145/1516512.1516515</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gzayp5cstveqhfb4kc74xgbemy">fatcat:gzayp5cstveqhfb4kc74xgbemy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120712152548/http://www.lsv.ens-cachan.fr/~segoufin/Papers/Mypapers/data-trees.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/9c/0d/9c0d401b91416b784c41326a3011390c0243d070.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1516512.1516515"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Efficient reasoning about data trees via integer linear programming

Claire David, Leonid Libkin, Tony Tan
<span title="2012-08-01">2012</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ahla23r2jva2bp2hlkt5rtbx4y" style="color: black;">ACM Transactions on Database Systems</a> </i> &nbsp;
We then relate our results to several reasoning tasks over XML documents, such as satisfiability of schemas and data dependencies and satisfiability of the two-variable logic.  ...  While some are known -such as the two-variable logic -they tend to be of very high complexity, and most decidability proofs are highly nontrivial.  ...  ACKNOWLEDGMENTS The authors would like to thank the anonymous referees for their careful reading and constructive comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2338626.2338632">doi:10.1145/2338626.2338632</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l55ftxfrxrh7bigzjivpoj3d7a">fatcat:l55ftxfrxrh7bigzjivpoj3d7a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218195528/https://core.ac.uk/download/pdf/48330872.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/07/4b/074bd6885d31c86da535b5a464ec1b571b836692.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2338626.2338632"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

XML Static Analyzer User Manual [article]

Pierre Geneves, Nabil Layaida
<span title="2008-12-18">2008</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Logical formulas can be expressed using the syntax of XPath expressions, DTD, XML Schemas, and Relax NG definitions.  ...  A logical formula may for instance express structural constraints or navigation properties (like e.g. path existence and node selection) in finite trees.  ...  Elements are ordered whereas attributes are not, as illustrated on Figure 1 . The logic allows reasoning on such trees. Notice that from an XML perspective, data values are ignored.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/0812.3550v1">arXiv:0812.3550v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fbritpe7nzefbktz5zovi2xuoq">fatcat:fbritpe7nzefbktz5zovi2xuoq</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-0812.3550/0812.3550.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> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/0812.3550v1" 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>

Automata- and Logic-Based Pattern Languages for Tree-Structured Data [chapter]

Frank Neven, Thomas Schwentick
<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;
This paper surveys work of the authors on pattern languages for tree-structured data with XML as the main application in mind. The main focus is on formalisms from formal language theory and logic.  ...  In particular, it considers attribute grammars, query automata, treewalking automata, extensions of first-order logic, and monadic secondorder logic.  ...  One of the reasons is that the data complexity of QUERY EVALUATION increases quite a bit.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36596-6_9">doi:10.1007/3-540-36596-6_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/647wylabnjfshdr6opbrzxflna">fatcat:647wylabnjfshdr6opbrzxflna</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808060633/https://doclib.uhasselt.be/dspace/bitstream/1942/618/1/15%20survey.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/bb/af/bbaff0b0c08e05f01af7e28c59438b2ad4b93d6a.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-36596-6_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

XML Query Processing and Optimization [chapter]

Ning Zhang
<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;
In this paper, I summarize my research on optimizing XML queries. This work has two components: the first component is the definition of a logical algebra and logical optimization techniques.  ...  The second component is the design of physical storage structures and physical optimization techniques.  ...  Open Problems and Planned Work In this paper, I have presented my preliminary work on the definition of algebra and design of physical storage and optimization techniques.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30192-9_12">doi:10.1007/978-3-540-30192-9_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pw35j6yxffemxha2ncl3qzvg6a">fatcat:pw35j6yxffemxha2ncl3qzvg6a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809093653/https://cs.uwaterloo.ca/~tozsu/publications/xml/icde04PhDWS.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/21/69/2169c1ae58dfd6ba1eeeb68247be2726a04863d6.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-30192-9_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Local Hoare reasoning about DOM

Philippa A. Gardner, Gareth D. Smith, Mark J. Wheelhouse, Uri D. Zarfaty
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xtq6wnwaszaebg4qf7aw6mllwi" style="color: black;">Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS &#39;08</a> </i> &nbsp;
In particular, we apply recent work by Calcagno, Gardner and Zarfaty on local Hoare reasoning about simple tree update to this real-world DOM application.  ...  Our work transfers O'Hearn, Reynolds and Yang's local Hoare reasoning for analysing heaps to XML, viewing XML as an in-place memory store as does DOM.  ...  The Tree Structure We focus on the basic XML tree structure with simple text content, presenting an abstract data structure consisting of trees, forests, groves and strings.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1376916.1376953">doi:10.1145/1376916.1376953</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pods/GardnerSWZ08.html">dblp:conf/pods/GardnerSWZ08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kdkwwmd6d5dw3kdzn5tcaxk2ly">fatcat:kdkwwmd6d5dw3kdzn5tcaxk2ly</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705144405/http://www.doc.ic.ac.uk/~pg/papers/pods2008.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/ec/64/ec64f3011f3dae45367721db1a732dde3a28bbe9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1376916.1376953"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Semantic Verification of Web System Contents [chapter]

María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi
<span title="">2008</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;
The language is inspired by the GVERDI language and significantly extends it by integrating ontology reasoning into the specification rules and by adding new syntactic constructs.  ...  The resulting language increases the expressiveness of the original one and enables a more sophisticated treatment of the semantic information related to the contents of the Web system.  ...  Description logics and ontologies Description Logics (DLs) are logic formalisms for representing knowledge of application domains and reasoning about it.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-87991-6_51">doi:10.1007/978-3-540-87991-6_51</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qazfxzgxjbcrdmgyhkvsmk6kfy">fatcat:qazfxzgxjbcrdmgyhkvsmk6kfy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120622003022/http://users.dsic.upv.es/grupos/elp/maria/papers/wism08.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/06/f9/06f9b7fb21d308145c19107b48300f39c1664c52.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-87991-6_51"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

XML: Model, Schemas, Types, Logics, and Queries [chapter]

Nils Klarlund, Thomas Schwentick, Dan Suciu
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> Logics for Emerging Applications of Databases </i> &nbsp;
Automata and Logic Languages for querying and transforming XML trees occur critically in applications such as XML data exchange and native XML data processing.  ...  For most query languages, and indeed even for MSO logic with free first-order variables, the data complexity is linear time.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-18690-5_1">doi:10.1007/978-3-642-18690-5_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f5mtevnovffhnpfgdpb7rqlmji">fatcat:f5mtevnovffhnpfgdpb7rqlmji</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040531164025/http://www.clairgrove.com:80/papers/XML-survey.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/af/b3/afb32f8f0b7b9382d92ce930c989f079e8311186.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-18690-5_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </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;
Open problem 1 Is satisfiability of FO 2 (∼, <, +1) decidable over data trees?  ...  We thank Michael Benedikt, Leonid Libkin and Thomas Schwentick for all their comments on an earlier version of this paper.  ...  It turns out that if we would allow a little bit of arithmetic, checking whether one data value is smaller than another one, then the two-variable first-order logic becomes undecidable [6] .  ... 
<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>

Efficient reasoning about data trees via integer linear programming

Claire David, Leonid Libkin, Tony Tan
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rw5iczhdevgrhi35u5qetcouce" style="color: black;">Proceedings of the 14th International Conference on Database Theory - ICDT &#39;11</a> </i> &nbsp;
We then relate our results to several reasoning tasks over XML documents, such as satisfiability of schemas and data dependencies and satisfiability of the two-variable logic.  ...  While some are known -such as the two-variable logic -they tend to be of very high complexity, and most decidability proofs are highly nontrivial.  ...  A different approach based on restricting the number of variables was followed by [Bojanczyk et al. 2009] , which showed that FO 2 , first-order logic with two variables, is decidable over data trees.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1938551.1938558">doi:10.1145/1938551.1938558</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icdt/DavidLT11.html">dblp:conf/icdt/DavidLT11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bzf6s3lonrezrhb4fohu2fxysu">fatcat:bzf6s3lonrezrhb4fohu2fxysu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130825113405/http://fox7.eu/wp-content/uploads/edt-tods.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/95/39/9539b2003b81602c2ac80769bf8651030b0ce9cc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1938551.1938558"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Context logic and tree update

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
<span title="2005-01-12">2005</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
We integrate this work by analyzing dynamic updates to tree-like structures with pointers (such as XML with identifiers and idrefs).  ...  We use it to reason locally about a small imperative programming language for updating trees, using a Hoare logic in the style of O'Hearn, Reynolds and Yang, and show that weakest preconditions are derivable  ...  We would like to thank Peter O'Hearn, Pino Rosolini and Hongseok Yang for their insightful comments. This work was supported by EPSRC.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1047659.1040328">doi:10.1145/1047659.1040328</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7r62lkyusfdk3fxl7sxh4bje6y">fatcat:7r62lkyusfdk3fxl7sxh4bje6y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808130046/http://www.doc.ic.ac.uk/~pg/papers/popl05_full.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/dc/fd/dcfdd239f181b427fba738a6e2c4e905df6d5908.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1047659.1040328"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Context logic and tree update

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
<span title="">2005</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL &#39;05</a> </i> &nbsp;
We integrate this work by analyzing dynamic updates to tree-like structures with pointers (such as XML with identifiers and idrefs).  ...  We use it to reason locally about a small imperative programming language for updating trees, using a Hoare logic in the style of O'Hearn, Reynolds and Yang, and show that weakest preconditions are derivable  ...  We would like to thank Peter O'Hearn, Pino Rosolini and Hongseok Yang for their insightful comments. This work was supported by EPSRC.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1040305.1040328">doi:10.1145/1040305.1040328</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/CalcagnoGZ05.html">dblp:conf/popl/CalcagnoGZ05</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nhs4vrn2argjxnbe3gq5anh2bi">fatcat:nhs4vrn2argjxnbe3gq5anh2bi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808130046/http://www.doc.ic.ac.uk/~pg/papers/popl05_full.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/dc/fd/dcfdd239f181b427fba738a6e2c4e905df6d5908.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1040305.1040328"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Ensuring Query Compatibility with Evolving XML Schemas [article]

Pierre Genevès, Nabil Layaïda, Vincent Quint
<span title="2008-11-26">2008</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validity of produced data.  ...  This article proposes a logical framework and tool for verifying forward/backward compatibility issues involving schemas and queries. First, it allows analyzing relations between schemas.  ...  XML Trees with Attributes An XML document is considered as a finite tree of unbounded depth and arity, with two kinds of nodes respectively named elements and attributes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/0811.4324v1">arXiv:0811.4324v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c5tx2haj5raa3lwq2o6es7rrju">fatcat:c5tx2haj5raa3lwq2o6es7rrju</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-0811.4324/0811.4324.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> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/0811.4324v1" 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>

Logical Foundations of XML and XQuery [chapter]

Maarten Marx
<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;
XML is the underlying representation formalism of much web-data.  ...  Thanks are due to my coauthors of the presented material: Loredana Afanasiev, Balder ten Cate and Tim Gielissen [3, 4, 25, 64].  ...  XML and Sibling Ordered Trees XML is a standard format for representation and exchange of semi-structured data on the internet.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-03754-2_3">doi:10.1007/978-3-642-03754-2_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qkmz7pgvmfc2hizddq3awke7hu">fatcat:qkmz7pgvmfc2hizddq3awke7hu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809053918/http://mashup2.science.uva.nl/marx/pub/ReasoningWeb/ReasoningWeb-literature.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/c2/67/c267acd80f76e21c85b7fb4b53eea2640a29fa3d.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-03754-2_3"> <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 13,705 results