{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:55:55Z","timestamp":1762458955906,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642284717"},{"type":"electronic","value":"9783642284724"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28472-4_8","type":"book-chapter","created":{"date-parts":[[2012,2,29]],"date-time":"2012-02-29T10:47:10Z","timestamp":1330512430000},"page":"124-143","source":"Crossref","is-referenced-by-count":10,"title":["The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs"],"prefix":"10.1007","author":[{"given":"George H. L.","family":"Fletcher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Gyssens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Leinders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Van den Bussche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Van Gucht","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stijn","family":"Vansummeren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuqing","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"RDF primer (2004), http:\/\/www.w3.org\/TR\/rdf-primer\/"},{"key":"8_CR2","unstructured":"Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann (1999)"},{"key":"8_CR3","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley, Reading (1995)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Aho, A.V., Ullman, J.D.: The universality of data retrieval languages. In: Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, pp. 110\u2013120 (January 1979)","DOI":"10.1145\/567752.567763"},{"issue":"1","key":"8_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1322432.1322433","volume":"40","author":"R. Angles","year":"2008","unstructured":"Angles, R., Guti\u00e9rrez, C.: Survey of graph database models. ACM Comput. Surv.\u00a040(1), 1\u201339 (2008)","journal-title":"ACM Comput. Surv."},{"key":"8_CR6","unstructured":"Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press (2003)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/3-540-36285-1_6","volume-title":"Database Theory - ICDT 2003","author":"M. Benedikt","year":"2002","unstructured":"Benedikt, M., Fan, W., Kuper, G.M.: Structural Properties of XPath Fragments. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol.\u00a02572, pp. 79\u201395. Springer, Heidelberg (2002)"},{"issue":"3","key":"8_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jswis.2009081901","volume":"5","author":"C. Bizer","year":"2009","unstructured":"Bizer, C., Heath, T., Berners-Lee, T.: Linked data - the story so far. Int. J. Semantic Web Inf. Syst.\u00a05(3), 1\u201322 (2009)","journal-title":"Int. J. Semantic Web Inf. Syst."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Fletcher, G.H.L., Gyssens, M., Leinders, D., Van den Bussche, J., Van Gucht, D., Vansummeren, S., Wu, Y.: Relative expressive power of navigational querying on graphs. In: Milo, T. (ed.) ICDT, pp. 197\u2013207. ACM (2011)","DOI":"10.1145\/1938551.1938578"},{"issue":"3","key":"8_CR11","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/290593.290605","volume":"27","author":"D. Florescu","year":"1998","unstructured":"Florescu, D., Levy, A., Mendelzon, A.: Database techniques for the World-Wide Web: A survey. SIGMOD Record\u00a027(3), 59\u201374 (1998)","journal-title":"SIGMOD Record"},{"issue":"4","key":"8_CR12","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/1107499.1107502","volume":"34","author":"M.J. Franklin","year":"2005","unstructured":"Franklin, M.J., Halevy, A.Y., Maier, D.: From databases to dataspaces: a new abstraction for information management. SIGMOD Record\u00a034(4), 27\u201333 (2005)","journal-title":"SIGMOD Record"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Gyssens, M., Paredaens, J., Van Gucht, D., Fletcher, G.H.L.: Structural characterizations of the semantics of XPath as navigation tool on a document. In: Vansummeren, S. (ed.) PODS, pp. 318\u2013327. ACM (2006)","DOI":"10.1145\/1142351.1142397"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Heath, T., Bizer, C.: Linked Data: Evolving the Web into a Global Data Space, 1st edn. Synthesis Lectures on the Semantic Web: Theory and Technology, vol.\u00a01. Morgan & Claypool Publishers (February 2011)","DOI":"10.2200\/S00334ED1V01Y201102WBE001"},{"key":"8_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07003-1","volume-title":"Elements of Finite Model Theory","author":"L. Libkin","year":"2004","unstructured":"Libkin, L.: Elements of Finite Model Theory. Springer, Berlin (2004)"},{"key":"8_CR17","volume-title":"Relation Algebras","author":"R.D. Maddux","year":"2006","unstructured":"Maddux, R.D.: Relation Algebras. Elsevier, Amsterdam (2006)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Mamoulis, N.: Efficient processing of joins on set-valued attributes. In: Proceedings ACM SIGMOD International Conference on Management of Data, pp. 157\u2013168 (2003)","DOI":"10.1145\/872773.872778"},{"key":"8_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5694-3","volume-title":"Multi-Dimensional Modal Logic","author":"M. Marx","year":"1997","unstructured":"Marx, M., Venema, Y.: Multi-Dimensional Modal Logic. Springer, Heidelberg (1997)"},{"issue":"4","key":"8_CR20","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1145\/1114244.1114247","volume":"30","author":"M. Marx","year":"2005","unstructured":"Marx, M.: Conditional XPath. ACM Trans. Database Syst.\u00a030(4), 929\u2013959 (2005)","journal-title":"ACM Trans. Database Syst."},{"issue":"2","key":"8_CR21","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/1083784.1083792","volume":"34","author":"M. Marx","year":"2005","unstructured":"Marx, M., de Rijke, M.: Semantic characterizations of navigational XPath. SIGMOD Record\u00a034(2), 41\u201346 (2005)","journal-title":"SIGMOD Record"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: Origins of the calculus of binary relations. In: Proceedings 7th Annual IEEE Symposium on Logic in Computer Science, pp. 248\u2013254 (1992)","DOI":"10.1109\/LICS.1992.185537"},{"issue":"3","key":"8_CR23","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski, A.: On the calculus of relations. J. of Symbolic Logic\u00a06(3), 73\u201389 (1941)","journal-title":"J. of Symbolic Logic"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Tarski, A., Givant, S.: A Formalization of Set Theory without Variables. American Mathematical Society (1987)","DOI":"10.1090\/coll\/041"},{"issue":"7","key":"8_CR25","doi-asserted-by":"publisher","first-page":"1091","DOI":"10.1093\/comjnl\/bxq055","volume":"54","author":"Y. Wu","year":"2011","unstructured":"Wu, Y., Van Gucht, D., Gyssens, M., Paredaens, J.: A study of a positive fragment of Path queries: Expressiveness, normal form and minimization. Comput. J.\u00a054(7), 1091\u20131118 (2011)","journal-title":"Comput. J."}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28472-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T06:03:06Z","timestamp":1742623386000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28472-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642284717","9783642284724"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28472-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}