{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:38:28Z","timestamp":1742380708427},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540440802"},{"type":"electronic","value":"9783540460930"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46093-4_4","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T05:02:51Z","timestamp":1179205371000},"page":"62-77","source":"Crossref","is-referenced-by-count":3,"title":["Model-Checking Based Data Retrieval"],"prefix":"10.1007","author":[{"given":"Agostino","family":"Dovier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisa","family":"Quintarelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,4]]},"reference":[{"key":"4_CR1","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc.of ICDT","author":"S. Abiteboul","year":"1997","unstructured":"S. Abiteboul. Querying semi-structured data. In Proc.of ICDT. Vol. 1186 of LNCS, pp. 1\u201318, 1997."},{"issue":"1","key":"4_CR2","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/s007990050005","volume":"1","author":"S. Abiteboul","year":"1997","unstructured":"S. Abiteboul, D. Quass, J. McHugh, J. Widom, and J. L. Wiener. The Lorel query language for semistructured data. Int\u2019l J. on Digital Libraries, 1(1):68\u201388, 1997.","journal-title":"Int\u2019l J. on Digital Libraries"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"P. Buneman, S. B. Davidson, G. G. Hillebrand, and D. Suciu. A Query Language and Optimization Techniques for Unstructured Data.In Proc. of the 1996 ACM SIGMOD, pp. 505\u2013516, 1996.","DOI":"10.1145\/233269.233368"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"P. Buneman, S. B. Davidson, G. G. Hillebrand, and D. Suciu. Adding structure to unstructured data. In Proc. of Database Theory; 6th Int\u2019l Conf., pp. 336\u2013350, 1997.","DOI":"10.1007\/3-540-62222-5_55"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"P._J. Cameron. First-Order Logic. In L. W. Beineke and R. J. Wilson (Eds.): Graph Connections. Relationships Between Graph Theory and other Areas of Mathematics. Clarendon Press, 1997.","DOI":"10.1093\/oso\/9780198514978.003.0005"},{"key":"4_CR6","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. of ESOP 2001","author":"L. Cardelli","year":"2001","unstructured":"L. Cardelli and G. Ghelli. A query language for semistructured data based on the Ambient logic. In Proc. of ESOP 2001, Vol. 2028 of LNCS, pp. 1\u201322, 2001."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"S. Ceri, S. Comai, E. Damiani, P. Fraternali, S. Paraboschi, and L. Tanca. XML-GL: a graphical language for querying and restructuring XML documents. Proc. of WWW8, Canada, 1999.","DOI":"10.1016\/S1389-1286(99)00014-6"},{"key":"4_CR8","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. of the World Wide Web and Databases, Third International Workshop WebDB 2000","author":"D. Chamberlin","year":"2001","unstructured":"D. Chamberlin, J. Rubie, and D. Florescu. Quilt: An XML Query Language for Heterogeneous Data Sources. In Proc. of the World Wide Web and Databases, Third International Workshop WebDB 2000, Vol. 1997 of LNCS, pp. 1\u201325, 2001."},{"key":"4_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/10722167_34","volume-title":"Proc. of 12th CAV","author":"W. Chan","year":"2000","unstructured":"W. Chan. Temporal-logic Queries. In Proc. of 12th CAV. Vol. 1855 of LNCS, pp. 450\u2013463. Chicago, USA, 2000."},{"key":"4_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/3-540-48683-6_44","volume-title":"Proc. of 11th CAV","author":"A. Cimatti","year":"1999","unstructured":"A. Cimatti, E. M. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: a new Symbolic Model Verifier. Proc. of 11th CAV. Vol. 1633 of LNCS, pp. 495\u2013499, 1999."},{"issue":"2","key":"4_CR11","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent system using temporal logic specification. ACM TOPLAS, 8(2):244\u2013263, 1986.","journal-title":"ACM TOPLAS"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"M. P. Consens and A. O. Mendelzon. GraphLog: a Visual Formalism for Real Life Recursion. In Proc. of the 9th ACM PODS\u201990, pp. 404\u2013416, 1990.","DOI":"10.1145\/298514.298591"},{"key":"4_CR13","unstructured":"A. Cortesi, A. Dovier, E. Quintarelli, and L. Tanca. Operational and Abstract Semantics of a Query Language for Semi-Structured Information. In Proc.of DDLP\u201998, pp. 127\u2013139. GMD Report 22, 1998. Extended Version to appear in Theoretical Computer Science."},{"key":"4_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/3-540-44469-6_32","volume-title":"Proc. of 11th International Conference, DEXA 2000","author":"E. Damiani","year":"2000","unstructured":"E. Damiani and L. Tanca. Blind Queries to XML Data. In Proc. of 11th International Conference, DEXA 2000, Vol. 1873 of LNCS, pp. 345\u2013356, 2000."},{"key":"4_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-44585-4_31","volume-title":"Proc. of 13th Conference on Computer Aided Verification","author":"L. Alfaro de","year":"2001","unstructured":"L. de Alfaro. Model Checking the World Wide Web. In Proc. of 13th Conference on Computer Aided Verification, Vol. 2102 of LNCS, pp. 337\u2013349, 2001."},{"key":"4_CR16","unstructured":"A. Dovier and C. Piazza. The Subgraph Bisimulation Problem and its Complexity. Univ. di Udine, Dip. di Matematica e Informatica, RR 27\/00, Nov. 2000."},{"key":"4_CR17","unstructured":"A. Dovier and E. Quintarelli. Model-Checking Based Data Retrieval. Technical Report, Politecnico di Milano, May 2000 ( http:\/\/www.elet.polimi.it\/~quintare )."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, vol. B: Formal Models and Semantics. Elsevier, and MIT Press, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"issue":"3","key":"4_CR19","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/262762.262763","volume":"26","author":"M. Fernandez","year":"1997","unstructured":"M. Fernandez, D. Florescu, A. Levy, and D. Suciu. A query language for a web-site management system. SIGMOD Record, 26(3):4\u201311, 1997.","journal-title":"SIGMOD Record"},{"issue":"1","key":"4_CR20","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P. C. Kannellakis","year":"1990","unstructured":"P. C. Kannellakis and S. A. Smolka. CCS Expressions, Finite State Processes, and Three Problems of Equivalence. Information and Computation, 86(1):43\u201368, 1990.","journal-title":"Information and Computation"},{"key":"4_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus of Communicating Systems. Vol. 92 of LNCS, 1980."},{"key":"4_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1007\/3-540-48294-6_22","volume-title":"Proc. of SAS\u201999","author":"M. M\u00fcller-Olm","year":"1999","unstructured":"M. M\u00fcller-Olm, D. Schmidt, and B. Steffen. Model-checking. A tutorial introduction. In Proc. of SAS\u201999. Vol. 1694 of LNCS, pp. 330\u2013354, 1999."},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"F. Neven and T. Schwentick. Query Automata. In Proc. of the 18th ACM SIGACT-SIGMOD-SIGART Symp. on Princ. of DBSystems, ACMPress,pp. 205\u2013214, 1999.","DOI":"10.1145\/303976.303997"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"F. Neven and T. Schwentick. Expressive and Efficient Pattern Languages for Tree-Structured Data. In Proc. of the 19th ACM SIGACT-SIGMOD-SIGART Symp. on Princ. of DB Systems, ACM Press, pp. 145\u2013156, 2000.","DOI":"10.1145\/335168.335217"},{"issue":"6","key":"4_CR25","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R. Paige","year":"1987","unstructured":"R. Paige and R. E. Tarjan. Three Partition refinements algorithms. SIAM J. on Computing, 16(6):973\u2013989, 1987.","journal-title":"SIAM J. on Computing"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Y. Papakonstantinou, H. Garcia-Molina, and J. Widom. Object exchange across heterogeneous information sources. In Proc. of the 11th ICDE, pp. 251\u2013260, 1995.","DOI":"10.1109\/ICDE.1995.380386"},{"issue":"3","key":"4_CR27","first-page":"436","volume":"7","author":"J. Paredaens","year":"1995","unstructured":"J. Paredaens, P. Peelman, and L. Tanca. G-Log: A Declarative Graphical Query Language. IEEE TKDE, 7(3):436\u2013453, 1995.","journal-title":"IEEE TKDE"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"D. Quass, A. Rajaraman, Y. Sagiv, J. Ullman, and J. Widom. Querying Semistructured Heterogeneus Information. In Proc. of DOOD\u201995, pp. 319\u2013344, 1995.","DOI":"10.1007\/3-540-60608-4_48"},{"key":"4_CR29","unstructured":"WorldWide WebConsortium. XMLPath Language (XPath)version1.0. http:\/\/www.w3.org\/TR\/xpath.html , W3C Reccomendation, November 1999."}],"container-title":["Lecture Notes in Computer Science","Database Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46093-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T08:28:08Z","timestamp":1707899288000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46093-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540440802","9783540460930"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-46093-4_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}