{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:31Z","timestamp":1750307731610,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,3,23]],"date-time":"2009-03-23T00:00:00Z","timestamp":1237766400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004085","name":"Ministry of Education, Science and Technology","doi-asserted-by":"publisher","award":["11-2008-007-03001-0"],"award-info":[{"award-number":["11-2008-007-03001-0"]}],"id":[{"id":"10.13039\/501100004085","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,3,23]]},"DOI":"10.1145\/1514894.1514912","type":"proceedings-article","created":{"date-parts":[[2009,4,6]],"date-time":"2009-04-06T16:34:53Z","timestamp":1239035693000},"page":"141-148","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A logical account of uncertain databases based on linear logic"],"prefix":"10.1145","author":[{"given":"Sungwoo","family":"Park","sequence":"first","affiliation":[{"name":"Pohang University of Science and Technology, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seung-won","family":"Hwang","sequence":"additional","affiliation":[{"name":"Pohang University of Science and Technology, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,3,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/38713.38724"},{"key":"e_1_3_2_1_2_1","first-page":"953","volume-title":"VLDB '06: Proceedings of the 32nd international conference on Very large data bases","author":"Benjelloun O.","year":"2006","unstructured":"O. Benjelloun , A. Das Sarma , A. Halevy , and J. Widom . ULDBs: databases with uncertainty and lineage . In VLDB '06: Proceedings of the 32nd international conference on Very large data bases , pages 953 -- 964 . VLDB Endowment , 2006 . O. Benjelloun, A. Das Sarma, A. Halevy, and J. Widom. ULDBs: databases with uncertainty and lineage. In VLDB '06: Proceedings of the 32nd international conference on Very large data bases, pages 953--964. VLDB Endowment, 2006."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037438"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/6.3.439"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055494"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/320107.320109"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43423"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/73721.73728"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1634.1886"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/115790.115838"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/646503.696269"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037436"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/153850.153854"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(92)90075-B"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/77643.77644"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.75890"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90007-G"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-1-4612-5196-5_8","volume-title":"On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages","author":"Reiter R.","year":"1984","unstructured":"R. Reiter . Towards a logical reconstruction of relational database theory . In M. L. Brodie, J. Mylopoulos, and J. W. Schmidt, editors, On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages , pages 191 -- 233 . Springer , 1984 . R. Reiter. Towards a logical reconstruction of relational database theory. In M. L. Brodie, J. Mylopoulos, and J. W. Schmidt, editors, On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages, pages 191--233. Springer, 1984."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/5383.5388"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/132218.132239"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2006.174"},{"key":"e_1_3_2_1_24_1","volume-title":"North-Holland","author":"Troelstra A. S.","year":"1988","unstructured":"A. S. Troelstra and D. van Dalen . Constructivism in Mathematics: An Introduction . North-Holland , 1988 . A. S. Troelstra and D. van Dalen. Constructivism in Mathematics: An Introduction. North-Holland, 1988."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/294135.294145"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/325405.325413"}],"event":{"name":"EDBT\/ICDT '09: EDBT\/ICDT '09 joint conference","acronym":"EDBT\/ICDT '09","location":"St. Petersburg Russia"},"container-title":["Proceedings of the 12th International Conference on Database Theory"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1514894.1514912","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1514894.1514912","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:38:43Z","timestamp":1750253923000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1514894.1514912"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,23]]},"references-count":25,"alternative-id":["10.1145\/1514894.1514912","10.1145\/1514894"],"URL":"https:\/\/doi.org\/10.1145\/1514894.1514912","relation":{},"subject":[],"published":{"date-parts":[[2009,3,23]]},"assertion":[{"value":"2009-03-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}