{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:56:51Z","timestamp":1759683411250},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,5,5]],"date-time":"2011-05-05T00:00:00Z","timestamp":1304553600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The VLDB Journal"],"published-print":{"date-parts":[[2012,2]]},"DOI":"10.1007\/s00778-011-0234-x","type":"journal-article","created":{"date-parts":[[2011,5,4]],"date-time":"2011-05-04T07:29:31Z","timestamp":1304494171000},"page":"51-68","source":"Crossref","is-referenced-by-count":6,"title":["Type inference and type checking for queries over execution traces"],"prefix":"10.1007","volume":"21","author":[{"given":"Daniel","family":"Deutch","sequence":"first","affiliation":[]},{"given":"Tova","family":"Milo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,5,5]]},"reference":[{"key":"234_CR1","unstructured":"Active XML. http:\/\/activexml.net\/"},{"key":"234_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Benedikt, M., Etessami, K., Godefroid, P., Reps, T., Yannakakis, M.: Analysis of recursive state machines. ACM Trans. Program. Lang. Syst 27(4) (2005)","DOI":"10.1145\/1075382.1075387"},{"key":"234_CR3","unstructured":"Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes. In: Proceedings of VLDB (2006)"},{"key":"234_CR4","unstructured":"Beeri, C., Eyal, A., Milo, T., Pilberg, A.: Monitoring business processes with queries. In: Proceedings of VLDB (2007)"},{"key":"234_CR5","doi-asserted-by":"crossref","unstructured":"Benedikt, M., Godefroid, P., Reps, T.: Model checking of unrestricted hierarchical state machines. In: Proceedings of ICALP (2001)","DOI":"10.1007\/3-540-48224-5_54"},{"key":"234_CR6","unstructured":"Business Process Execution Language for Web Services. http:\/\/www.ibm.com\/developerworks\/library\/ws-bpel\/"},{"key":"234_CR7","doi-asserted-by":"crossref","unstructured":"Bultan, T., Su, J., Fu, X.: Analyzing conversations of web services. IEEE Internet Comput. 10(1) (2006)","DOI":"10.1109\/MIC.2006.1"},{"key":"234_CR8","doi-asserted-by":"crossref","unstructured":"Chamberlin, D.: XQuery: a query language for XML. In: Proceedings of SIGMOD (2003)","DOI":"10.1145\/872757.872877"},{"key":"234_CR9","doi-asserted-by":"crossref","unstructured":"Courcelle, B.: The monadic second-order logic of graphs. Inf. Comput. 85(1) (1990)","DOI":"10.1016\/0890-5401(90)90043-H"},{"key":"234_CR10","doi-asserted-by":"crossref","unstructured":"Davidson, S. B., Freire, J.: Provenance and scientific workflows: challenges and opportunities. In: Proceedings of SIGMOD (2008)","DOI":"10.1145\/1376616.1376772"},{"key":"234_CR11","unstructured":"Deutch, D., Milo, T.: Querying structural and behavioral properties of business processes. In: Proceedings of DBPL (2007)"},{"key":"234_CR12","doi-asserted-by":"crossref","unstructured":"Deutch, D., Milo, T.: Type inference and type checking for queries on execution traces. In: Proceedings of VLDB (2008)","DOI":"10.14778\/1453856.1453898"},{"key":"234_CR13","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Sui, L., Vianu, V., Zhou, D.: Verification of communicating data-driven web services. In: Proceedings of PODS (2006)","DOI":"10.1145\/1142351.1142364"},{"key":"234_CR14","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., Hoogeboom, H. J., Samwel, B.: XML transformation by tree-walking transducers with invisible pebbles. In: Proceedings of PODS (2007)","DOI":"10.1145\/1265530.1265540"},{"key":"234_CR15","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey M.R., Johnson D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman, San Francisco (1979)"},{"key":"234_CR16","doi-asserted-by":"crossref","unstructured":"Ginsburg, S., Harrison, M.: Bracketed context-free languages. J. Comput. Syst. Sci. 1 (1967)","DOI":"10.1016\/S0022-0000(67)80003-5"},{"key":"234_CR17","doi-asserted-by":"crossref","unstructured":"Grigori, D., Casati, F., Castellanos, M., Sayal, M., Dayal, U., Shan, M.: Business process intelligence. Comput. Ind. 53 (2004)","DOI":"10.1016\/j.compind.2003.10.007"},{"key":"234_CR18","doi-asserted-by":"crossref","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program 8(3) (1987)","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"234_CR19","doi-asserted-by":"crossref","unstructured":"Hull, R., Su, J.: Tools for composite web services: a short overview. SIGMOD Rec 34(2) (2005)","DOI":"10.1145\/1083784.1083807"},{"key":"234_CR20","unstructured":"Janssens, D., Rozenberg, G.: Graph grammars with node-label controlled rewriting and embedding. In: Proceedings of COMPUGRAPH (1983)"},{"key":"234_CR21","doi-asserted-by":"crossref","unstructured":"Maneth, S., Perst, T., Seidl, H.: Exact XML type checking in polynomial time. In: Proceedings of ICDT (2007)","DOI":"10.1007\/11965893_18"},{"key":"234_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Manna Z., Pnueli A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Berlin (1992)"},{"key":"234_CR23","doi-asserted-by":"crossref","unstructured":"McNaughton, R.: Parenthesis grammars. J. ACM 14(3) (1967)","DOI":"10.1145\/321406.321411"},{"key":"234_CR24","doi-asserted-by":"crossref","unstructured":"Milo, T., Suciu, D.: Type inference for queries on semistructured data. In: Proceedings of PODS (1999)","DOI":"10.1145\/303976.303998"},{"key":"234_CR25","volume-title":"Foundations for Programming Languages","author":"J.C. Mitchell","year":"1996","unstructured":"Mitchell J.C.: Foundations for Programming Languages. MIT Press, Cambridge (1996)"},{"key":"234_CR26","doi-asserted-by":"crossref","unstructured":"Nevsetvril, J., de Mendez, P.O.: Tree-depth, subgraph coloring and homomorphism. Eur. J. Comb. 27(6) (2006)","DOI":"10.1016\/j.ejc.2005.01.010"},{"key":"234_CR27","unstructured":"Oracle BPEL Process Manager 2.0 Quick Start Tutorial. http:\/\/www.oracle.com\/technology\/products\/ias\/bpel\/index.html"},{"key":"234_CR28","doi-asserted-by":"crossref","unstructured":"Papakonstantinou, Y., Vianu, V.: DTD inference for views of XML data. In: Proceedings of PODS (2000)","DOI":"10.1145\/335168.335173"},{"key":"234_CR29","doi-asserted-by":"crossref","unstructured":"Sayal, D. M., Casati, F., Dayal, U., Shan, M.: Business process Cockpit. In: Proceedings of VLDB (2002)","DOI":"10.1016\/B978-155860869-6\/50086-X"},{"key":"234_CR30","volume-title":"Introduction to the Theory of Computation","author":"M. Sipser","year":"1997","unstructured":"Sipser M.: Introduction to the Theory of Computation. PWS Publishing Company, Boston (1997)"},{"key":"234_CR31","doi-asserted-by":"crossref","unstructured":"van den Bussche, J., van Gucht, D., Vansummeren, S.: A crash course on database queries. In: Proceedings of PODS (2007)","DOI":"10.1145\/1265530.1265551"},{"issue":"9","key":"234_CR32","doi-asserted-by":"crossref","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W.M.P. Aalst van der","year":"2004","unstructured":"van der Aalst W.M.P., Weijters T., Maruster L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"234_CR33","unstructured":"XML Path Language (XPath) Version 1.0. http:\/\/www.w3.org\/TR\/xpath"}],"container-title":["The VLDB Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-011-0234-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00778-011-0234-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-011-0234-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T13:46:01Z","timestamp":1560174361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00778-011-0234-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,5]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,2]]}},"alternative-id":["234"],"URL":"https:\/\/doi.org\/10.1007\/s00778-011-0234-x","relation":{},"ISSN":["1066-8888","0949-877X"],"issn-type":[{"value":"1066-8888","type":"print"},{"value":"0949-877X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,5,5]]}}}