{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:27:40Z","timestamp":1750307260643,"version":"3.41.0"},"reference-count":38,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2010,12,6]],"date-time":"2010-12-06T00:00:00Z","timestamp":1291593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGMOD Rec."],"published-print":{"date-parts":[[2010,12,6]]},"abstract":"<jats:p>Probabilistic processes appear naturally in various contexts, with applications to Business Processes, XML data management and more. Many models for specifying and querying such processes exist in the literature; a main goal of research in this area is to design models that are expressive enough to capture real-life processes and analysis tasks, but at the same time allow for efficient query evaluation. We depict the model established in [13, 16, 17, 18], and claim that it achieves a good balance between expressivity and query evaluation complexity. We compare and contrast the model with other common models for probabilistic processes, highlighting the different choices made in models design and their effect on expressivity and incurred complexity.<\/jats:p>","DOI":"10.1145\/1893173.1893178","type":"journal-article","created":{"date-parts":[[2010,12,1]],"date-time":"2010-12-01T20:18:10Z","timestamp":1291234690000},"page":"27-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["On models and query languages for probabilistic processes"],"prefix":"10.1145","volume":"39","author":[{"given":"Daniel","family":"Deutch","sequence":"first","affiliation":[{"name":"Tel Aviv University"}]},{"given":"Tova","family":"Milo","sequence":"additional","affiliation":[{"name":"Tel Aviv University"}]}],"member":"320","published-online":{"date-parts":[[2010,12,6]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1804669.1804679"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-009-0146-1"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11687238_62"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1075382.1075387"},{"volume-title":"Proc. of VLDB","year":"2006","author":"Beeri C.","key":"e_1_2_1_5_1"},{"key":"e_1_2_1_6_1","doi-asserted-by":"crossref","unstructured":"M. Benedikt E. Kharlamov D. Olteanu and P. Senellart. Probabilistic XML via Markov chains. PVLDB 3(1) 2010.   M. Benedikt E. Kharlamov D. Olteanu and P. Senellart. Probabilistic XML via Markov chains. PVLDB 3(1) 2010.","DOI":"10.14778\/1920841.1920939"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/265020"},{"key":"e_1_2_1_8_1","unstructured":"Business Process Execution Language for Web Services. http:\/\/www.ibm.com\/developerworks\/library\/wsbpel\/.  Business Process Execution Language for Web Services. http:\/\/www.ibm.com\/developerworks\/library\/wsbpel\/."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31856-9_12"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/872757.872877"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/210332.210339"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1804669.1804700"},{"key":"e_1_2_1_13_1","unstructured":"D. Deutch. Querying Web Applications Under Models of Uncertainty. PhD thesis Tel Aviv University 2010. http:\/\/www.cs.tau.ac.il\/ danielde\/PhdThesis.pdf.  D. Deutch. Querying Web Applications Under Models of Uncertainty. PhD thesis Tel Aviv University 2010. http:\/\/www.cs.tau.ac.il\/ danielde\/PhdThesis.pdf."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1783534.1783552"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.14778\/1453856.1453898"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2009.199"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514923"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920960"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687553.1687613"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066157.1066219"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142351.1142364"},{"key":"e_1_2_1_22_1","unstructured":"A. Deutsch and V. Vianu. Wave: Automatic verification of data-driven web services. Data Eng. Bull. 31(3) 2008.  A. Deutsch and V. Vianu. Wave: Automatic verification of data-driven web services. Data Eng. Bull. 31(3) 2008."},{"volume-title":"LCPC","year":"2003","author":"Diniz P.","key":"e_1_2_1_23_1"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_17"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1462153.1462154"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514922"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/800113.803626"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083784.1083807"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.1995.479396"},{"volume-title":"Springer","year":"1976","author":"Kemeny J. G.","key":"e_1_2_1_30_1"},{"volume-title":"Proc. of VLDB","year":"2007","author":"Kimelfeld B.","key":"e_1_2_1_31_1"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0885-2308(90)90022-X"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/128869"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39917-9_19"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/321679.321682"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019288403823"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265570"},{"volume-title":"Massachusetts Institute of Technology","year":"1974","author":"Stockmeyer L.","key":"e_1_2_1_38_1"}],"container-title":["ACM SIGMOD Record"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1893173.1893178","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1893173.1893178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:35Z","timestamp":1750243955000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1893173.1893178"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12,6]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,12,6]]}},"alternative-id":["10.1145\/1893173.1893178"],"URL":"https:\/\/doi.org\/10.1145\/1893173.1893178","relation":{},"ISSN":["0163-5808"],"issn-type":[{"type":"print","value":"0163-5808"}],"subject":[],"published":{"date-parts":[[2010,12,6]]},"assertion":[{"value":"2010-12-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}