Have a personal or library account? Click to login
An Approach of XML Query Evaluation Based Model Checking Cover

An Approach of XML Query Evaluation Based Model Checking

By: Li Yan-Mei,  Huang Shao-Bin,  Li Ya and  Xu Li  
Open Access
|Dec 2016

References

  1. 1. Surinx, D., G.H.L. Fletcher et al. Relative Expressive Power of Navigational Querying on Graphs Using Transitive Closure. - Logic Journal of IGPL, Vol. 23, 2015, No 5, pp. 759-788.10.1093/jigpal/jzv028
  2. 2. Zhang, X., J.V. den Bussche. On the Power of SPARQLin Expressing Navigational Queries. - The Computer Journal, Vol. 58, 2015, No 11, pp. 2841-2851.10.1093/comjnl/bxu128
  3. 3. Antonopoulos, T., D. Hovland, W. Martens, F. Neven. Deciding Twig-Definability of Node Selecting Tree Automata. - Theory of Computing Systems, Vol. 57, 2015, No 4, pp. 967-1007.10.1007/s00224-015-9623-7
  4. 4. Debarbieux, D., O. Gauwin et al. Early Nested Word Automata for XPath Query Answering on XML Streams. - Theoretical Computer Science, Vol. 578, 2015, pp. 100-125.10.1016/j.tcs.2015.01.017
  5. 5. Nielandt, J., A. Bronselaer, G.de Tré. Predicate Enrichment of Aligned XPaths for Wrapper Induction. - Expert Systems with Applications, Vol. 51, 2016, pp. 259-275.10.1016/j.eswa.2015.12.040
  6. 6. Wang, Y., B. Wang, M. Liu. A Component Retrieval Tree Matching Algorithm Based ona Faceted Classification Scheme. - Cybernetics and Information Technologies, Vol. 15, 2015, No 1, pp. 14-23.10.1515/cait-2015-0002
  7. 7. Zheng, C., Y. Yao, S. Huang, Z. Ren. Modeling Workflow Systems Constrained by Inputs and Outputs-An Approach Based on Petri Nets. - Cybernetics and Information Technologies, Vol. 15, 2015, No 4, pp. 27-41.10.1515/cait-2015-0052
  8. 8. Gire, F., J.-M. Talbot. Nested Sibling Tree Automata. - RAIRO - Theoretical Informatics and Applications, Vol. 43, No 2, 2009, pp. 379-402.10.1051/ita/2009006
  9. 9. Libkin, L., C. Sirangelo. Reasoning about XMLwith Temporal Logics and Automata. - Journal of Applied Logic, Vol. 8, No 2, 2010, pp. 210-232.10.1016/j.jal.2009.09.005
  10. 10. Kostylev, E. V., J.L. Reutter, D. Vrgoč. Static Analysis of Navigational XPath over Graph Databases. - Information Processing Letters, Vol. 116, No 7, 2016, pp. 467-474.10.1016/j.ipl.2016.03.006
  11. 11. Salamah, S., A. Gates, V. Kreinovich. Validated Templates for Specification of Complex LTL Formulas. - Journal of Systems and Software, Vol. 85, No 8, 2012, pp. 1915-1929. 10.1016/j.jss.2012.02.041
DOI: https://doi.org/10.1515/cait-2016-0066 | Journal eISSN: 1314-4081 | Journal ISSN: 1311-9702
Language: English
Page range: 45 - 54
Published on: Dec 22, 2016
Published by: Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year

© 2016 Li Yan-Mei, Huang Shao-Bin, Li Ya, Xu Li, published by Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.