A first step towardsmodeling semistructured data in hybrid multimodal logic

Journal of Applied Non-Classical Logics

Volumn 14, Issue 4, 2004, Pages 447-475

  Bidoit, Nicole ^a   Cerrito, Serenella ^b   Thion, Virginie ^a  

^a UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

^b UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

Author keywords

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

Indexed keywords

EID: 33646375519     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.14.447-475     Document Type: Article

References (32)

1. ABITEBOUL S., "Querying Semi-Structured Data", Proceedings of the 6th International Conference on Database Theory - ICDT'97, Delphi, Greece, vol. 1186 of Lecture Notes in Computer Science, Springer, 1997, p. 1-18. (Pubitemid 127013741)
2. ABITEBOUL S., QUASS D., MCHUGH J., WIDOM J., WIENER J. L., "The Lorel query language for semistructured data", International Journal on Digital Libraries, vol. 1, num. 1, 1997, p. 68-88. (Pubitemid 127078348)
3. ABITEBOUL S., BUNEMMANN P., SUCIU D., Data on the web: From Relations to Semistructured Data and XML, Morgan Kauffman, 2000.
4. ALECHINA N., DEMRI S., DE RIJKE M., "Path Constraints from a Modal Logic Point of View", Proceedings of the 8th Int. Workshop on Knowledge Representation meets Databases - KRDB'01, Roma, Italy, vol. 45, 2001.
5. ARECES C., BLACKBURN P., MARX M., "A Road-map on Complexity for Hybrid Logics", Proceedings of the 8th Annual Conference of the EACSL, Madrid, LNCS, Springer, 1999, p. 307-321.
6. ARECES C., BLACKBURN P., MARX M., "Hybrid Logics: Characterization, Interpolation and Complexity", Journal of Symbolic Logic, vol. 66, num. 3, 2001, p. 977-1010.
7. BIDOIT N., CERRITO S., THION V., "Un premier pas vers la modélisation des données semi-structurées par la logique multi-modale hybride", report num. 1375, octobre 2003, L.R.I.
8. BLACKBURN P., SELIGMAN J., "Hybrid Languages", Journal of Logic, Language and Information, vol. 4, 1995, p. 251-272.
9. BLACKBURN P., TZAKOVA M., "Hybrid Languages and Temporal Logic", Logic Journal of the IGPL, vol. 7, num. 1, 1999, p. 27-54.
10. BLACKBURN P., "Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto", Logic Journal of the IGPL, vol. 8, num. 3, 2000, p. 339-365.
11. BUNEMAN P., DAVIDSON S., HILLEBRAND G., SUCIU D., "A query language and optimization techniques for unstructured data", Proc. of 1996 ACM-SIGMOD Int. Conf. on Management of Data, 1996, p. 505-516.
12. BUNEMAN P., DAVIDSON S. B., FERNANDEZ M. F., SUCIU D., "Adding Structure to Unstructured Data", Proceedings of the 6th International Conference on Database Theory - ICDT'97, Delphi, Greece, vol. 1186, Springer, 1997, p. 336-350. (Pubitemid 127013763)
13. BUNEMAN P., FAN W., WEINSTEIN S., "Path Constraints on Semistructured and Structured Data", Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - PODS'98, Seattle, Washington, ACM Press, 1998, p. 129-138.
14. CALVANESE D., DE GIACOMO G., LENZERINI M., "Semi-structured Data with Constraints and Incomplete Information", International Workshop on Description Logics - DL'98 , IRST, Povo - Trento, Italy, vol. 11 of CEUR Workshop Proceedings, 1998.
15. CALVANESE D., DE GIACOMO G., LENZERINI M., "Queries and Constraints on Semi-structured Data", Proceedings of the 11th International Conference Advanced Information Systems Engineering - CAiSE'99, Heidelberg, Germany, vol. 1626 of Lecture Notes in Computer Science, Springer, 1999, p. 434-438.
16. DAL ZILIO S., LUGIEZ D., "XML Schema, Tree Logic and Sheaves Automata", Proceedings of the 14th International Conference on Rewriting Techniques and Applications - RTA'03, Valencia, Spain, vol. 2706 of Lecture Notes in Computer Science, Springer, 2003, p. 246-263. (Pubitemid 36768725)
17. cument Content Description", On http://www.w3.org/TR/NOTE-dcd, W3C Recommendation.
18. DEUTSCH A., TANNEN V., "Optimization Properties for Classes of Conjunctive Regular Path Queries", 8th International Workshop on Database Programming Languages
19. DEUTSCH A., TANNEN V., "Containment of Regular Path Expressions under Integrity Constraints", Proceedings of the 8th International Workshop on Knowledge Representation meets Databases - KRDB'01, Rome, Italy, vol. 45 of CEUR Workshop Proceedings, Technical University of Aachen (RWTH), 2001.
20. FISHER N., LADNER R. E., "Propositional dynamic logic of regular programs", Journal of Computer and System Science, vol. 18, 1979, p. 194-211.
21. FITTING M., Proof Methods for Modal and Intuitionist Logic, D.Reidel Publishing Company, 1983.
22. FRANCESCHET M., DE RIJKE M., "Model Checking for Hybrid Logics", Workshop Methods for Modalities, 2003.
23. HACID M.-S., RIGOTTI C., "Combining Resolution and Classification for Semantic Query Optimization in DOOD", Proceedings of the 4th International Conference on Deductive and Object-Oriented Databases - DOOD'95, Singapore, vol. 1013 of Lecture Notes in Computer Science, Springer, 1995, p. 447-466. (Pubitemid 126003652)
24. HOSOYA H., VOUILLON J., PIERCE B. C., "Regular expression types for XML", International Conference on Functional Programming - ICFP'00, 2000, p. 11-22. (Pubitemid 32024706)
25. HOSOYA H., PIERCE B. C., "Regular expression pattern matching for XML", Journal of Functional Programming, vol. 13, num. 6, 2003, p. 961-1004. (Pubitemid 37422945)
26. KLARLUND N., MOLLER A., SCHWATZBACH M. I., "DSD: A Schema Language for XML", 3rd ACM Workshop on Formal Methods in Software Practice, 2000.
27. KRIPKE S., "Semantic Considerations on Modal Logic", LINSKI L., Ed., Reference and Modality, London, 1971, Oxford University Press, p. 63-72.
28. MARX M., "Narcissists, Stepmothers and Spies", International Workshop on Description Logics - DL'02, 2002.
29. MCHUGH J., WIDOM J., "Query Optimization for XML", Proceedings of 25th International Conference on Very Large Data Bases - VLDB'99, Edinburgh, Scotland, UK, Morgan Kaufmann, 1999, p. 315-326.
30. NEVEN F., SCHWENTICK T., "XPath containment in the presence of disjunction, DTDs, and variables", Proceedings of the 9th International Conference on Database Theory - ICDT'03, Siena, Italy, vol. 2572 of Lecture Notes in Computer Science, Springer, 2003.
31. RAY E. T., Learning XML, 0'Reilly Associates, 2001.
32. WALLEN L. A., Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics, MIT Press, 1990. [XML] "XML Schema", On http://www.w3.org/TR/xmlschema-0/,W3C Recommendation