{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T07:14:33Z","timestamp":1779174873364,"version":"3.51.4"},"reference-count":69,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2017,10,27]],"date-time":"2017-10-27T00:00:00Z","timestamp":1509062400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003977","name":"Israel Science Foundation","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003977","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"crossref","award":["M025268"],"award-info":[{"award-number":["M025268"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Taub Foundation"},{"DOI":"10.13039\/100000185","name":"DARPA","doi-asserted-by":"crossref","award":["#FA8750-15-2-0009 and #FA8750-14-2-0217"],"award-info":[{"award-number":["#FA8750-15-2-0009 and #FA8750-14-2-0217"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Database Syst."],"published-print":{"date-parts":[[2017,12,31]]},"abstract":"<jats:p>Probabilistic programming languages are used for developing statistical models. They typically consist of two components: a specification of a stochastic process (the prior) and a specification of observations that restrict the probability space to a conditional subspace (the posterior). Use cases of such formalisms include the development of algorithms in machine learning and artificial intelligence.<\/jats:p>\n          <jats:p>In this article, we establish a probabilistic-programming extension of Datalog that, on the one hand, allows for defining a rich family of statistical models, and on the other hand retains the fundamental properties of declarativity. Our proposed extension provides mechanisms to include common numerical probability functions; in particular, conclusions of rules may contain values drawn from such functions. The semantics of a program is a probability distribution over the possible outcomes of the input database with respect to the program. Observations are naturally incorporated by means of integrity constraints over the extensional and intensional relations. The resulting semantics is robust under different chases and invariant to rewritings that preserve logical equivalence.<\/jats:p>","DOI":"10.1145\/3132700","type":"journal-article","created":{"date-parts":[[2017,10,27]],"date-time":"2017-10-27T12:48:13Z","timestamp":1509108493000},"page":"1-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Declarative Probabilistic Programming with Datalog"],"prefix":"10.1145","volume":"42","author":[{"given":"Vince","family":"B\u00e1R\u00e1ny","sequence":"first","affiliation":[{"name":"LogicBlox, Inc."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Balder Ten","family":"Cate","sequence":"additional","affiliation":[{"name":"LogicBlox, Inc."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benny","family":"Kimelfeld","sequence":"additional","affiliation":[{"name":"Technion -- Israel Institute of Technology, Haifa, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Olteanu","sequence":"additional","affiliation":[{"name":"University of Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zografoula","family":"Vagena","sequence":"additional","affiliation":[{"name":"LogicBlox, Inc., Atlanta, GA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,27]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"International Conference on Database Theory. 143--154","author":"Abiteboul Serge","year":"2014","unstructured":"Serge Abiteboul , Daniel Deutch , and Victor Vianu . 2014 . Deduction with contradictions in datalog . In International Conference on Database Theory. 143--154 . Serge Abiteboul, Daniel Deutch, and Victor Vianu. 2014. Deduction with contradictions in datalog. In International Conference on Database Theory. 143--154."},{"key":"e_1_2_1_2_1","volume-title":"Foundations of Databases","author":"Abiteboul Serge","unstructured":"Serge Abiteboul , Richard Hull , and Victor Vianu . 1995. Foundations of Databases . Addison-Wesley . Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of Databases. Addison-Wesley."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/320083.320091"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1247480.1247559"},{"key":"e_1_2_1_5_1","unstructured":"Lyublena Antova Christoph Koch and Dan Olteanu. 2007b. Query language support for incomplete information in the MayBMS system. In Very Large Data Bases. 1422--1425.  Lyublena Antova Christoph Koch and Dan Olteanu. 2007b. Query language support for incomplete information in the MayBMS system. In Very Large Data Bases. 1422--1425."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742796"},{"key":"e_1_2_1_7_1","volume-title":"Ash and Catherine Doleans-Dade","author":"Robert","year":"2000","unstructured":"Robert B. Ash and Catherine Doleans-Dade . 2000 . Probability 8 Measure Theory. Harcourt Academic Press . Robert B. Ash and Catherine Doleans-Dade. 2000. Probability 8 Measure Theory. Harcourt Academic Press."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068408003645"},{"key":"e_1_2_1_9_1","volume-title":"International Conference on Database Theory","volume":"48","author":"B\u00e1r\u00e1ny Vince","year":"2016","unstructured":"Vince B\u00e1r\u00e1ny , Balder ten Cate , Benny Kimelfeld , Dan Olteanu , and Zografoula Vagena . 2016 . Declarative probabilistic programming with datalog . In International Conference on Database Theory , Vol. 48 . 7:1--7:19. Vince B\u00e1r\u00e1ny, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, and Zografoula Vagena. 2016. Declarative probabilistic programming with datalog. In International Conference on Database Theory, Vol. 48. 7:1--7:19."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920939"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/944919.944937"},{"key":"e_1_2_1_12_1","unstructured":"Matthias Br\u00f6cheler Lilyana Mihalkova and Lise Getoor. 2010. Probabilistic similarity logic. In Uncertainty in Artificial Intelligence. 73--82.  Matthias Br\u00f6cheler Lilyana Mihalkova and Lise Getoor. 2010. Probabilistic similarity logic. In Uncertainty in Artificial Intelligence. 73--82."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2465283"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v076.i01"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1804669.1804680"},{"key":"e_1_2_1_16_1","unstructured":"V\u00edtor Santos Costa David Page Maleeha Qazi and James Cussens. 2003. CLP(BN): Constraint logic programming for probabilistic knowledge. In Uncertainty in Artificial Intelligence. 517--524.  V\u00edtor Santos Costa David Page Maleeha Qazi and James Cussens. 2003. CLP(BN): Constraint logic programming for probabilistic knowledge. In Uncertainty in Artificial Intelligence. 517--524."},{"key":"e_1_2_1_17_1","volume-title":"Applied Bayesian Statistics: With R and OpenBUGS Examples","author":"Cowles Mary Kathryn","unstructured":"Mary Kathryn Cowles . 2013. Applied Bayesian Statistics: With R and OpenBUGS Examples . Vol. 98 . Springer Science 8 Business Media. Mary Kathryn Cowles. 2013. Applied Bayesian Statistics: With R and OpenBUGS Examples. Vol. 98. Springer Science 8 Business Media."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807085.1807114"},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01549-6","volume-title":"Markov Logic: An Interface Layer for Artificial Intelligence. Morgan 8 Claypool Publishers.","author":"Domingos Pedro","year":"2009","unstructured":"Pedro Domingos and Daniel Lowd . 2009 . Markov Logic: An Interface Layer for Artificial Intelligence. Morgan 8 Claypool Publishers. Pedro Domingos and Daniel Lowd. 2009. Markov Logic: An Interface Layer for Artificial Intelligence. Morgan 8 Claypool Publishers."},{"key":"e_1_2_1_20_1","volume-title":"Dyna: Extending datalog for modern AI. In Datalog Reloaded - 1st International Workshop (Datalog\u201910). Revised Selected Papers (Lecture Notes in Computer Science)","author":"Eisner Jason","year":"2010","unstructured":"Jason Eisner and Nathaniel Wesley Filardo . 2010 . Dyna: Extending datalog for modern AI. In Datalog Reloaded - 1st International Workshop (Datalog\u201910). Revised Selected Papers (Lecture Notes in Computer Science) , Vol. 6702 . Springer , 181--220. Jason Eisner and Nathaniel Wesley Filardo. 2010. Dyna: Extending datalog for modern AI. In Datalog Reloaded - 1st International Workshop (Datalog\u201910). Revised Selected Papers (Lecture Notes in Computer Science), Vol. 6702. Springer, 181--220."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/261124.261126"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1462153.1462154"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.10.033"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4886-6"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-4571(2000)51:2%3C95::AID-ASI2%3E3.0.CO;2-H"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429117"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-013-9342-1"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/170035.170066"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000238"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1201\/b17711"},{"key":"e_1_2_1_31_1","volume-title":"Accelerating inference: Towards a full language, compiler and hardware stack. CoRR abs\/1212.2991","author":"Hershey Shawn","year":"2012","unstructured":"Shawn Hershey , Jeffrey Bernstein , Bill Bradley , Andrew Schweitzer , Noah Stein , Theophane Weber , and Benjamin Vigoda . 2012. Accelerating inference: Towards a full language, compiler and hardware stack. CoRR abs\/1212.2991 ( 2012 ). Shawn Hershey, Jeffrey Bernstein, Bill Bradley, Andrew Schweitzer, Noah Stein, Theophane Weber, and Benjamin Vigoda. 2012. Accelerating inference: Towards a full language, compiler and hardware stack. CoRR abs\/1212.2991 (2012)."},{"key":"e_1_2_1_32_1","unstructured":"Daniel Roy. 2014. Repository on probabilistic programming languages. (2014). http:\/\/www.probabilistic-programming.org.  Daniel Roy. 2014. Repository on probabilistic programming languages. (2014). http:\/\/www.probabilistic-programming.org."},{"key":"e_1_2_1_33_1","volume-title":"Todd Jeffrey Green, and Boon Thau Loo","author":"Huang Shan Shan","year":"2011","unstructured":"Shan Shan Huang , Todd Jeffrey Green, and Boon Thau Loo . 2011 . Datalog and emerging applications: An interactive tutorial. In SIGMOD. 1213--1216. Shan Shan Huang, Todd Jeffrey Green, and Boon Thau Loo. 2011. Datalog and emerging applications: An interactive tutorial. In SIGMOD. 1213--1216."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376686"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.14778\/2350229.2350236"},{"key":"e_1_2_1_36_1","volume-title":"Advances in Probabilistic Databases for Uncertain Information Management. Studies in Fuzziness and Soft Computing","author":"Kimelfeld Benny","unstructured":"Benny Kimelfeld and Pierre Senellart . 2013. Probabilistic XML: Models and complexity . In Advances in Probabilistic Databases for Uncertain Information Management. Studies in Fuzziness and Soft Computing , Vol. 304 . Springer , 39--66. Benny Kimelfeld and Pierre Senellart. 2013. Probabilistic XML: Models and complexity. In Advances in Probabilistic Databases for Uncertain Information Management. Studies in Fuzziness and Soft Computing, Vol. 304. Springer, 39--66."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000566"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.3115\/1075096.1075150"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8"},{"key":"e_1_2_1_40_1","volume-title":"Foundations of Disjunctive Logic Programming","author":"Lobo Jorge","unstructured":"Jorge Lobo , Jack Minker , and Arcot Rajasekar . 1992. Foundations of Disjunctive Logic Programming . MIT Press . Jorge Lobo, Jack Minker, and Arcot Rajasekar. 1992. Foundations of Disjunctive Logic Programming. MIT Press."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592785"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/320107.320115"},{"key":"e_1_2_1_43_1","volume-title":"Perov","author":"Mansinghka Vikash K.","year":"2014","unstructured":"Vikash K. Mansinghka , Daniel Selsam , and Yura N . Perov . 2014 . Venture : A higher-order probabilistic programming platform with programmable inference. CoRR abs\/1404.0099 (2014). Vikash K. Mansinghka, Daniel Selsam, and Yura N. Perov. 2014. Venture: A higher-order probabilistic programming platform with programmable inference. CoRR abs\/1404.0099 (2014)."},{"key":"e_1_2_1_44_1","volume-title":"Association for the Advancement of Artificial Intelligence Workshop on Text Learning.","author":"McCallum Andrew","year":"1999","unstructured":"Andrew McCallum . 1999 . Multi-label text classification with a mixture model trained by EM . In Association for the Advancement of Artificial Intelligence Workshop on Text Learning. Andrew McCallum. 1999. Multi-label text classification with a mixture model trained by EM. In Association for the Advancement of Artificial Intelligence Workshop on Text Learning."},{"key":"e_1_2_1_45_1","volume-title":"International Joint Conference on Artificial Intelligence. Professional Book Center, 1352--1359","author":"Milch Brian","year":"2005","unstructured":"Brian Milch , Bhaskara Marthi , Stuart J. Russell , David Sontag , Daniel L. Ong , and Andrey Kolobov . 2005 . BLOG: Probabilistic models with unknown objects . In International Joint Conference on Artificial Intelligence. Professional Book Center, 1352--1359 . Brian Milch, Bhaskara Marthi, Stuart J. Russell, David Sontag, Daniel L. Ong, and Andrey Kolobov. 2005. BLOG: Probabilistic models with unknown objects. In International Joint Conference on Artificial Intelligence. Professional Book Center, 1352--1359."},{"key":"e_1_2_1_46_1","volume-title":"Robert Edgar Felix Piro, and Ian Horrocks","author":"Motik Boris","year":"2015","unstructured":"Boris Motik , Yavor Nenov , Robert Edgar Felix Piro, and Ian Horrocks . 2015 . Incremental update of datalog materialisation: The backward\/forward algorithm. In Association for the Advancement of Artificial Intelligence. 1560--1568. Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, and Ian Horrocks. 2015. Incremental update of datalog materialisation: The backward\/forward algorithm. In Association for the Advancement of Artificial Intelligence. 1560--1568."},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00128-4"},{"key":"e_1_2_1_48_1","volume-title":"Mitchell","author":"Nigam Kamal","year":"2000","unstructured":"Kamal Nigam , Andrew McCallum , Sebastian Thrun , and Tom M . Mitchell . 2000 . Text classification from labeled and unlabeled documents using EM.Machine Learning 39, 2\u20133 (2000), 103\u2013134. Kamal Nigam, Andrew McCallum, Sebastian Thrun, and Tom M. Mitchell. 2000. Text classification from labeled and unlabeled documents using EM.Machine Learning 39, 2\u20133 (2000), 103\u2013134."},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-016-5558-8"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.14778\/1978665.1978669"},{"key":"e_1_2_1_51_1","volume-title":"International Workshop on Searching and Integrating New Web Data Sources (CEUR Workshop Proc.)","volume":"884","author":"Niu Feng","unstructured":"Feng Niu , Ce Zhang , Christopher R\u00e9 , and Jude W. Shavlik . 2012. DeepDive: Web-scale knowledge-base construction using statistical learning and inference . In International Workshop on Searching and Integrating New Web Data Sources (CEUR Workshop Proc.) , Vol. 884 . 25--28. Feng Niu, Ce Zhang, Christopher R\u00e9, and Jude W. Shavlik. 2012. DeepDive: Web-scale knowledge-base construction using statistical learning and inference. In International Workshop on Searching and Integrating New Web Data Sources (CEUR Workshop Proc.), Vol. 884. 25--28."},{"key":"e_1_2_1_52_1","volume-title":"R2: An efficient MCMC sampler for probabilistic programs","author":"Nori Aditya V.","unstructured":"Aditya V. Nori , Chung-Kil Hur , Sriram K. Rajamani , and Selva Samuel . 2014. R2: An efficient MCMC sampler for probabilistic programs . In Association for the Advancement of Artificial Intelligence. 2476--2482. Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, and Selva Samuel. 2014. R2: An efficient MCMC sampler for probabilistic programs. In Association for the Advancement of Artificial Intelligence. 2476--2482."},{"key":"e_1_2_1_53_1","volume-title":"International Conference on Machine Learning","volume":"32","author":"Paige Brooks","year":"2014","unstructured":"Brooks Paige and Frank Wood . 2014 . A compilation target for probabilistic programming languages . In International Conference on Machine Learning , Vol. 32 . 1935--1943. Brooks Paige and Frank Wood. 2014. A compilation target for probabilistic programming languages. In International Conference on Machine Learning, Vol. 32. 1935--1943."},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v035.i04"},{"key":"e_1_2_1_55_1","doi-asserted-by":"crossref","unstructured":"Judea Pearl. 1989. Probabilistic Reasoning in Intelligent Systems - Networks of Plausible Inference. Morgan Kaufmann.  Judea Pearl. 1989. Probabilistic Reasoning in Intelligent Systems - Networks of Plausible Inference. Morgan Kaufmann.","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"key":"e_1_2_1_56_1","volume-title":"Figaro: An Object-oriented Probabilistic Programming Language. Technical Report. Charles River Analytics. 137 pages.","author":"Pfeffer Avi","year":"2009","unstructured":"Avi Pfeffer . 2009 . Figaro: An Object-oriented Probabilistic Programming Language. Technical Report. Charles River Analytics. 137 pages. Avi Pfeffer. 2009. Figaro: An Object-oriented Probabilistic Programming Language. Technical Report. Charles River Analytics. 137 pages."},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78652-8_8"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00692ED1V01Y201601AIM032"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-015-5494-z"},{"key":"e_1_2_1_60_1","unstructured":"H. Raiffa and R. Schlaifer. 1961. Applied Statistical Decision Theory. Harvard University Press.  H. Raiffa and R. Schlaifer. 1961. Applied Statistical Decision Theory. Harvard University Press."},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-015-5483-2"},{"key":"e_1_2_1_62_1","volume-title":"Italian Conference on Computational Logic. 221--235","author":"Riguzzi Fabrizio","year":"2012","unstructured":"Fabrizio Riguzzi , Elena Bellodi , and Evelina Lamma . 2012 . Probabilistic ontologies in datalog+\/- . In Italian Conference on Computational Logic. 221--235 . Fabrizio Riguzzi, Elena Bellodi, and Evelina Lamma. 2012. Probabilistic ontologies in datalog+\/-. In Italian Conference on Computational Logic. 221--235."},{"key":"e_1_2_1_63_1","volume-title":"International Joint Conference on Artificial Intelligence. 1330--1339","author":"Sato Taisuke","year":"1997","unstructured":"Taisuke Sato and Yoshitaka Kameya . 1997 . PRISM: A language for symbolic-statistical modeling . In International Joint Conference on Artificial Intelligence. 1330--1339 . Taisuke Sato and Yoshitaka Kameya. 1997. PRISM: A language for symbolic-statistical modeling. In International Joint Conference on Artificial Intelligence. 1330--1339."},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90040-N"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2006.65"},{"key":"e_1_2_1_66_1","doi-asserted-by":"crossref","unstructured":"Dan Suciu Dan Olteanu Christopher R\u00e9 and Christoph Koch. 2011. Probabilistic Databases. Morgan 8 Claypool Publishers.  Dan Suciu Dan Olteanu Christopher R\u00e9 and Christoph Koch. 2011. Probabilistic Databases. Morgan 8 Claypool Publishers.","DOI":"10.1007\/978-3-031-01879-4"},{"key":"e_1_2_1_67_1","volume-title":"Jan Willem Klop","author":"Dershowitz Nachum","unstructured":"Nachum Dershowitz . 2005. Term Rewriting Systems. Marc Bezem , Jan Willem Klop , and Roel De Vrijer (Eds.). Cambridge University Press , Cambridge Tracts in Theoretical Computer Science 55, Vol. 5 . 395\u2013399. Nachum Dershowitz. 2005. Term Rewriting Systems. Marc Bezem, Jan Willem Klop, and Roel De Vrijer (Eds.). Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, Vol.5. 395\u2013399."},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068409003767"},{"key":"e_1_2_1_69_1","volume-title":"Trio: A system for data, uncertainty, and lineage","author":"Widom Jennifer","year":"2008","unstructured":"Jennifer Widom . 2008 . Trio: A system for data, uncertainty, and lineage . In Managing and Mining Uncertain Data, Charu Aggarwal (Ed.). Springer-Verlag , Chapter 5. Jennifer Widom. 2008. Trio: A system for data, uncertainty, and lineage. In Managing and Mining Uncertain Data, Charu Aggarwal (Ed.). Springer-Verlag, Chapter 5."}],"container-title":["ACM Transactions on Database Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3132700","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3132700","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3132700","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:10:56Z","timestamp":1750212656000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3132700"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,27]]},"references-count":69,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,12,31]]}},"alternative-id":["10.1145\/3132700"],"URL":"https:\/\/doi.org\/10.1145\/3132700","relation":{},"ISSN":["0362-5915","1557-4644"],"issn-type":[{"value":"0362-5915","type":"print"},{"value":"1557-4644","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,10,27]]},"assertion":[{"value":"2016-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-10-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}