메뉴 건너뛰기




Volumn 174, Issue 6, 2007, Pages 45-61

Testing XML constraint satisfiability

Author keywords

Database; Integrity constraints; Multimodal and Hybrid logic; Schema; Semistructured data

Indexed keywords

DATABASE SYSTEMS; FORMAL LOGIC; MATHEMATICAL MODELS; MODAL ANALYSIS;

EID: 34249729330     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.11.025     Document Type: Article
Times cited : (6)

References (29)
  • 1
    • 34249674063 scopus 로고    scopus 로고
    • Alechina N., "Semi-structured information: a modal logic approach", Tech. Report CSR-97-08, School of Computer Science, The University of Birmingham, 1997
  • 2
    • 0346707453 scopus 로고    scopus 로고
    • A Modal Perspective on Path Constraints
    • Alechina N., Demri S., and De Rijke M. A Modal Perspective on Path Constraints. J. Log. Comput. 13 6 (2003) 939-956
    • (2003) J. Log. Comput. , vol.13 , Issue.6 , pp. 939-956
    • Alechina, N.1    Demri, S.2    De Rijke, M.3
  • 3
    • 0035647293 scopus 로고    scopus 로고
    • Hybrid Logics: Characterization, Interpolation and Complexity
    • Areces C., Blackburn P., and Marx M. Hybrid Logics: Characterization, Interpolation and Complexity. J. of Symbolic Logic 66 3 (2001) 977-1010
    • (2001) J. of Symbolic Logic , vol.66 , Issue.3 , pp. 977-1010
    • Areces, C.1    Blackburn, P.2    Marx, M.3
  • 4
    • 84956862612 scopus 로고    scopus 로고
    • A Road-map on Complexity for Hybrid Logics
    • Proc. of the 8th Annual Conf. of the EACSL. Madrid, Springer
    • Areces C., Blackburn P., and Marx M. A Road-map on Complexity for Hybrid Logics. Proc. of the 8th Annual Conf. of the EACSL. Madrid. LNCS (1999), Springer 307-321
    • (1999) LNCS , pp. 307-321
    • Areces, C.1    Blackburn, P.2    Marx, M.3
  • 6
    • 33244464022 scopus 로고    scopus 로고
    • Benedikt M., Fan W., Geerts F., "XPath satisfiability in the presence of DTDs.", Proc. of the Twenty-fourth ACM SIGACT- SIGMOD-SIGART Symp. on Principles of Database Systems, 2005, p. 25-36
  • 7
    • 33646375519 scopus 로고    scopus 로고
    • A first step towards modeling semistructured data in hybrid multimodal logic
    • Bidoit N., Cerrito S., and Thion V. A first step towards modeling semistructured data in hybrid multimodal logic. J. of Applied Non-Classical Logics 14 4 (2004) 447-476
    • (2004) J. of Applied Non-Classical Logics , vol.14 , Issue.4 , pp. 447-476
    • Bidoit, N.1    Cerrito, S.2    Thion, V.3
  • 10
    • 0000730159 scopus 로고    scopus 로고
    • Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto
    • Blackburn P. Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. Logic J. of the IGPL 8 3 (2000) 339-365
    • (2000) Logic J. of the IGPL , vol.8 , Issue.3 , pp. 339-365
    • Blackburn, P.1
  • 11
  • 12
    • 84885222943 scopus 로고    scopus 로고
    • Blackburn P., Marx M., "Tableaux for Quantified Hybrid Logic", Proc. Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods, 2002, p. 38-52
  • 13
    • 34250617163 scopus 로고    scopus 로고
    • Bojanczyk M. David C. Muscholl A. Schwentick Th., Segoufin L., "Two-variable logic on data trees and XML reasoning", PODS, 2006, p. 10-19
  • 14
    • 0032592922 scopus 로고    scopus 로고
    • Representing and Reasoning on XML Documents: A Description Logic Approach
    • Calvanese D., De Giacomo G., and Lenzerini M. Representing and Reasoning on XML Documents: A Description Logic Approach. J. Log. Comput. 9 3 (1999) 295-318
    • (1999) J. Log. Comput. , vol.9 , Issue.3 , pp. 295-318
    • Calvanese, D.1    De Giacomo, G.2    Lenzerini, M.3
  • 15
    • 84945281960 scopus 로고    scopus 로고
    • Cardelli L., Ghelli G., "A Query Language Based on the Ambient Logic", ESOP, 2001, p. 1-22
  • 16
    • 26944435855 scopus 로고    scopus 로고
    • ten Cate B., Franceschet M. "On the Complexity of Hybrid Logics with Binders", CSL, 2005, p. 339-354
  • 17
    • 0034634025 scopus 로고    scopus 로고
    • Combining Deduction and Model Checking into Tableaux and Algorithms f or Converse-PDL
    • De Giacomo G., and Massacci F. Combining Deduction and Model Checking into Tableaux and Algorithms f or Converse-PDL. J. of Information and Computation 162 1-2 (2000) 117-137
    • (2000) J. of Information and Computation , vol.162 , Issue.1-2 , pp. 117-137
    • De Giacomo, G.1    Massacci, F.2
  • 18
    • 34249741132 scopus 로고    scopus 로고
    • Demri S., "(Modal) Logics for Semistructured Data", Invited talk at "Third Workshop on Methods for Modalities (M4M-3)", 2003
  • 19
    • 33745350097 scopus 로고    scopus 로고
    • Fan W., Geerts F., "Satisfiability of XPath Queries with Sibling Axes", Database Programming Languages, 10th Int. Symp. Vol. 3774 of LNCS, 2005, p. 122-137
  • 20
    • 0033687907 scopus 로고    scopus 로고
    • Fan W., Siméon J., "Integrity Constraints for XML", PODS, 2000, p. 23-34
  • 22
    • 33845223252 scopus 로고    scopus 로고
    • Hierarchies of Modal and Temporal Logics with Reference Pointers
    • Goranko V. Hierarchies of Modal and Temporal Logics with Reference Pointers. Journal of Logic, Language and Information 5 1 (1996) 1-24
    • (1996) Journal of Logic, Language and Information , vol.5 , Issue.1 , pp. 1-24
    • Goranko, V.1
  • 23
    • 34249686664 scopus 로고    scopus 로고
    • Gore R., "Tableau methods for modal and temporal logics", ReportNum.TR-ARP-15-95 Australian National University, 1995
  • 24
    • 18044373748 scopus 로고
    • Semantic Considerations on Modal Logic
    • Linski L. (Ed), Oxford University Press, London
    • Kripke S. Semantic Considerations on Modal Logic. In: Linski L. (Ed). Reference and Modality (1971), Oxford University Press, London 63-72
    • (1971) Reference and Modality , pp. 63-72
    • Kripke, S.1
  • 25
    • 7044246310 scopus 로고    scopus 로고
    • Marx M. "XPath and Modal Logics of Finite DAG's", TABLEAUX, 2003, p. 150-164
  • 26
    • 34249670798 scopus 로고    scopus 로고
    • Murata M., Lee D., Mani M., "Taxonomy of XML Schema Languages Using Formal Language Theory", Proc. of the Extreme Markup Languages Conference, 2001
  • 27
    • 34249719062 scopus 로고    scopus 로고
    • Mundhenk M., Schneider T., "Undecidability of Multi-modal Hybrid Logics", Hylo, LICS 2006 Workshop
  • 29
    • 84888185379 scopus 로고    scopus 로고
    • On W3C Recommendation
    • XML Schema. On. http://www.w3.org/TR/xmlschema-0/ W3C Recommendation
    • XML Schema


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