메뉴 건너뛰기




Volumn 11, Issue , 2004, Pages 117-124

CTL model checking for processing simple XPath queries

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; FORMAL LOGIC; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; PROGRAM PROCESSORS; TREES (MATHEMATICS); XML;

EID: 5644224669     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/time.2004.1314428     Document Type: Conference Paper
Times cited : (20)

References (28)
  • 3
    • 84957614112 scopus 로고    scopus 로고
    • Describing and querying semistructured data: Some expressiveness results
    • S. Embury, N. Fiddian, W. Gray, and A. Jones, editors, LNCS. Springer
    • N. Alechina and M. de Rijke. Describing and querying semistructured data: Some expressiveness results. In S. Embury, N. Fiddian, W. Gray, and A. Jones, editors, Advances in Databases, LNCS. Springer, 1998.
    • (1998) Advances in Databases
    • Alechina, N.1    De Rijke, M.2
  • 5
    • 84958764557 scopus 로고    scopus 로고
    • Model checking the world wide web
    • G. Berry, H. Comon, and A. Finkel, editors. Springer
    • L. D. Alfaro. Model checking the world wide web. In G. Berry, H. Comon, and A. Finkel, editors, Computer Aided Verification, pages 337-349. Springer, 2001.
    • (2001) Computer Aided Verification , pp. 337-349
    • Alfaro, L.D.1
  • 10
    • 0032592922 scopus 로고    scopus 로고
    • Representing and reasoning on XML documents: A description logic approach
    • D. Calvanese, G. D. Giacomo, and M. Lenzerini. Representing and reasoning on XML documents: A description logic approach. Journal of Logic and Computation, 9(3):295-318, 1999.
    • (1999) Journal of Logic and Computation , vol.9 , Issue.3 , pp. 295-318
    • Calvanese, D.1    Giacomo, G.D.2    Lenzerini, M.3
  • 13
    • 0022706656 scopus 로고
    • Automatic verification of finite-state concurrent systems using temporal-logic specifications
    • E. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal-logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
    • (1986) ACM Transactions on Programming Languages and Systems , vol.8 , Issue.2 , pp. 244-263
    • Clarke, E.1    Emerson, E.A.2    Sistla, A.P.3
  • 15
    • 0036051123 scopus 로고    scopus 로고
    • Monadic queries over tree-structured data
    • Los Alamitos, CA, USA, July 22-25 2002. IEEE Computer Society
    • G. Gottlob and C. Koch. Monadic Queries over Tree-Structured Data. In Logic in Computer Science, pages 189-202, Los Alamitos, CA, USA, July 22-25 2002. IEEE Computer Society.
    • Logic in Computer Science , pp. 189-202
    • Gottlob, G.1    Koch, C.2
  • 18
    • 84944268606 scopus 로고    scopus 로고
    • Efficient processing of expressive node-selecting queries on XML data in secondary storage: A tree automata-based approach
    • C.Koch. Efficient processing of expressive node-selecting queries on XML data in secondary storage: A tree automata-based approach. In Proceedings of the International Conference on Very Large Data Bases (VLDB), 2003.
    • (2003) Proceedings of the International Conference on Very Large Data Bases (VLDB)
    • Koch, C.1
  • 19
    • 85012154596 scopus 로고    scopus 로고
    • Projecting XML documents
    • J. C. Freytag, P. C. Lockemann, S. Abiteboul, M. J. Carey, P. G. Selinger, and A. Heuer, editors. Morgan Kaufmann Publishers
    • A. Marian and J. Simeon. Projecting XML documents. In J. C. Freytag, P. C. Lockemann, S. Abiteboul, M. J. Carey, P. G. Selinger, and A. Heuer, editors, Proceedings of International Conference on Very Large Data Bases VLDB, pages 213-224. Morgan Kaufmann Publishers, 2003.
    • (2003) Proceedings of International Conference on Very Large Data Bases VLDB , pp. 213-224
    • Marian, A.1    Simeon, J.2
  • 25
    • 0344379539 scopus 로고    scopus 로고
    • Two semantics for XPath
    • Bell Labs
    • P. Wadler. Two semantics for XPath. Technical report, Bell Labs, 2000.
    • (2000) Technical Report
    • Wadler, P.1
  • 26
    • 84877874359 scopus 로고    scopus 로고
    • World Wide Web consortium
    • World Wide Web Consortium. Extensible markup language (XML). URL: http://www.w3.org/XML, 1998.
    • (1998) Extensible Markup Language (XML)


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.