Applying model-checking to solve queries on semistructured data-Reference-Cited by-同舟云学术

Applying model-checking to solve queries on semistructured data

Published:2009-07 Issue:2 Volume:35 Page:143-172
ISSN:1477-8424
Container-title:Computer Languages, Systems & Structures
language:en
Short-container-title:Computer Languages, Systems & Structures

Author:

Dovier A.,Quintarelli E.

Publisher

Elsevier BV

Subject

Computer Networks and Communications,Software

Reference45 articles.

1. Abiteboul S. Querying semi-structured data, In: Afrati FN, Kolaitis PG, editors, Proceedings of the international conference on database theory (ICDT’97). Lecture notes in computer science, vol. 1186, 1997, 1–18.

2. Abiteboul S, Suciu D, Buneman P. Data on the web: from relations to semistructured data and XML. Morgan Kaufmann series in data management systems, 2002.

3. Buneman P, Davidson SB, Hillebrand GG, Suciu D. Adding structure to unstructured data. In: Proceedings of the international conference on database theory (ICDT’97). Lecture notes in computer science, vol. 1186, 1997, p. 336–50.

4. Ceri S, Comai S, Damiani E, Fraternali P, Paraboschi S, Tanca L. XML-GL: a graphical language for querying and restructuring XML documents. In: Computer networks, vol. 31, 1999, p. 1171–1187.

5. Quass D, Rajaraman A, Sagiv Y, Ullman J, Widom J. Querying semistructured heterogeneous information. In: Proceedings of the international conference on deductive and object-oriented databases (DOOD’95), 1995, p. 319–44.

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modeling and Verification of Uncertain Cyber-Physical System Based on Decision Processes;Mathematics;2023-09-29

2. Possibilistic Cost Computation Tree Logic and Related Equivalence, Abstraction Technique;IEEE Access;2023

3. Modeling and verification of CPS based on uncertain hybrid timed automaton;2021 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2021-10

4. A Semi-Automatic Semantic Consistency-Checking Method for Learning Ontology from Relational Database;Information;2021-04-26

5. Graph Pattern Matching: Capturing Bisimilar Subgraph;International Journal of Pattern Recognition and Artificial Intelligence;2020-10-28