{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T09:36:52Z","timestamp":1769852212074,"version":"3.49.0"},"reference-count":67,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61751207"],"award-info":[{"award-number":["61751207"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61732013"],"award-info":[{"award-number":["61732013"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012270","name":"Shaanxi Key Science and Technology Innovation Team Project","doi-asserted-by":"publisher","award":["2019TD-001"],"award-info":[{"award-number":["2019TD-001"]}],"id":[{"id":"10.13039\/501100012270","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Key Research and Development Program of China","award":["2018AAA0103202"],"award-info":[{"award-number":["2018AAA0103202"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2022,3]]},"DOI":"10.1109\/tr.2020.2999441","type":"journal-article","created":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T20:56:07Z","timestamp":1592340967000},"page":"321-338","source":"Crossref","is-referenced-by-count":9,"title":["Verifying Properties of MapReduce-Based Big Data Processing"],"prefix":"10.1109","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3870-2505","authenticated-orcid":false,"given":"Nan","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3582-9559","authenticated-orcid":false,"given":"Meng","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3119-3242","authenticated-orcid":false,"given":"Zhenhua","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cong","family":"Tian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"ref2","volume-title":"Understanding Big Data: Analytics for Enterprise Class Hadoop and Streaming Data","author":"Zikopoulos","year":"2011"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2013.247"},{"key":"ref4","first-page":"10","article-title":"Spark: Cluster computing with working sets","volume-title":"Proc. 2nd USENIX Conf. Hot Topics Cloud Comput.","author":"Zaharia","year":"2010"},{"issue":"11","key":"ref5","first-page":"1","article-title":"The Hadoop distributed file system: Architecture and design","volume":"11","author":"Borthakur","year":"2007","journal-title":"Hadoop Project Website"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSNT.2011.6182030"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2501\/IJA-33-1-181-183"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s11623\u2013013\u20130105\u20132"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1080\/10618600.1996.10474713"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v31i1.11050"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2017.07.032"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.98"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88194-0_12"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-015-0882-6"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/28395.28396"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2014.2370055"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2011.73"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15670-4_6"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"ref23","article-title":"An extended interval temporal logic and a framing technique for temporal logic programming","author":"Duan","year":"1996"},{"key":"ref24","volume-title":"Temporal Logic and Temporal Logic Programming","author":"Duan","year":"2005"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2014.02.011"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2018.11.030"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.12.047"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.08.039"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2019.12.038"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-016-6059-4"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.02.037"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.05.007"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2876333"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2806349"},{"issue":"3","key":"ref36","first-page":"14","article-title":"Hadoop: Scalable, flexible data storage and analysis","volume":"1","author":"Olson","year":"2010","journal-title":"IQT Quart"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/MSST.2010.5496972"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/c2011-0-06993-4"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32281-5_1"},{"key":"ref41","author":"Strohm","year":"2011","journal-title":"Oracle Database Concepts, 11g Release 2 B28318-06"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-59140-553-5.ch128"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2007.250581"},{"key":"ref44","volume-title":"Database Systems: Design, Implementation, and Management","author":"Rob","year":"2011"},{"key":"ref45","volume-title":"Introduction to Information Technology","author":"Turban","year":"1981"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/s41019-016-0025-x"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687681"},{"issue":"6","key":"ref48","first-page":"134","article-title":"Data consistency properties and the trade-offs in commercial cloud storage: The consumers perspective","volume":"19","author":"Wada","year":"2011","journal-title":"Proc. 5th Biennial Conf. Innov. Data Syst. Res."},{"key":"ref49","first-page":"1","article-title":"What consistency does your key-value store actually provide?","volume-title":"Proc. Usenix Workshop Hot Topics Syst. Dependability","author":"Anderson","year":"2010"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2715322"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-69505-2"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01835-0"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/s13369-018-3105-6"},{"key":"ref54","volume-title":"Object Recognition by Computer: The Role of Geometric Constraints","author":"Grimson","year":"1991"},{"key":"ref55","volume-title":"Data Base Syst.: Courant Comput. Sci. Symposia Ser. 6","author":"Codd","year":"1972"},{"key":"ref56","first-page":"243","article-title":"Extending dependencies with conditions","volume-title":"Proc. 33rd Int. Conf. Very Large Data Bases","author":"Bravo","year":"2007"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/1366102.1366103"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-010-0206-6"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/2901737"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/1559795.1559811"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/1989284.1989295"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.14778\/3137765.3137801"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/2094114.2094118"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSEE.2012.193"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/356778.356782"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1016\/S1386-5056(03)00033-9"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2009.87"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.21236\/ada445862"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.2010.5416350"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/9725327\/09119170.pdf?arnumber=9119170","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T22:39:13Z","timestamp":1704839953000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9119170\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3]]},"references-count":67,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tr.2020.2999441","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,3]]}}}