{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:30:21Z","timestamp":1750307421708,"version":"3.41.0"},"reference-count":50,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2010,12,15]],"date-time":"2010-12-15T00:00:00Z","timestamp":1292371200000},"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,15]]},"DOI":"10.1145\/1815933.1815946","type":"journal-article","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T12:20:45Z","timestamp":1277209245000},"page":"44-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Logic in databases"],"prefix":"10.1145","volume":"38","author":[{"given":"Andrea","family":"Cal\u00ec","sequence":"first","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laks V.S.","family":"Lakshmanan","sequence":"additional","affiliation":[{"name":"University of British Columbia, Vancouver, B.C., Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Martinenghi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,12,15]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proc. of the Workshop on Logic in Databases (LID 2008)","author":"Afrati F.","year":"2008","unstructured":"F. Afrati and P. Kolaitis . On the complexity of repair checking in inconsistent databases . In Proc. of the Workshop on Logic in Databases (LID 2008) , 2008 . F. Afrati and P. Kolaitis. On the complexity of repair checking in inconsistent databases. In Proc. of the Workshop on Logic in Databases (LID 2008), 2008."},{"key":"e_1_2_1_2_1","volume-title":"Proc. of the Workshop on Logic in Databases (LID 2008)","author":"Amalfi M.","year":"2008","unstructured":"M. Amalfi and A. Provetti . From extended entity-relationship schemata to illustrative instances . In Proc. of the Workshop on Logic in Databases (LID 2008) , 2008 . M. Amalfi and A. Provetti. From extended entity-relationship schemata to illustrative instances. In Proc. of the Workshop on Logic in Databases (LID 2008), 2008."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/303976.303983"},{"key":"e_1_2_1_4_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-75987-4","volume-title":"DBPL","author":"Arenas M.","year":"2007","unstructured":"M. Arenas and M. I. Schwartzbach , editors . Database Programming Languages, 11th International Symposium , DBPL 2007 , Vienna, Austria, September 23-24, 2007, Revised Selected Papers, volume 4797 of Lecture Notes in Computer Science . Springer , 2007. M. Arenas and M. I. Schwartzbach, editors. Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers, volume 4797 of Lecture Notes in Computer Science. Springer, 2007."},{"key":"e_1_2_1_5_1","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"Baader F.","year":"2003","unstructured":"F. Baader , D. Calvanese , D. McGuinness , D. Nardi , and P. F. Patel-Schneider , editors . The Description Logic Handbook: Theory, Implementation and Applications . Cambridge University Press , 2003 . F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003."},{"key":"e_1_2_1_6_1","volume-title":"Proc. of the Workshop on Logic in Databases (LID 2008)","author":"Cate M. M.","year":"2008","unstructured":"M. M. Balder ten Cate , Tadeusz Litak . Complete axiomatizations for XPath fragments . In Proc. of the Workshop on Logic in Databases (LID 2008) , 2008 . M. M. Balder ten Cate, Tadeusz Litak. Complete axiomatizations for XPath fragments. In Proc. of the Workshop on Logic in Databases (LID 2008), 2008."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.10.030"},{"key":"e_1_2_1_8_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b104925","volume-title":"Inconsistency Tolerance {result from a Dagstuhl seminar}","author":"Bertossi L. E.","year":"2005","unstructured":"L. E. Bertossi , A. Hunter , and T. Schaub , editors . Inconsistency Tolerance {result from a Dagstuhl seminar} , volume 3300 of Lecture Notes in Computer Science . Springer , 2005 . L. E. Bertossi, A. Hunter, and T. Schaub, editors. Inconsistency Tolerance {result from a Dagstuhl seminar}, volume 3300 of Lecture Notes in Computer Science. Springer, 2005."},{"key":"e_1_2_1_9_1","first-page":"1231","volume-title":"Proc. of the 22nd AAAI Conference on Artificial Intelligence (AAAI 2007","author":"Binshtok M.","year":"2007","unstructured":"M. Binshtok , R. I. Brafman , S. E. Shimony , A. Mani , and C. Boutilier . Computing optimal subsets . In Proc. of the 22nd AAAI Conference on Artificial Intelligence (AAAI 2007 ), pages 1231 -- 1236 , 2007 . M. Binshtok, R. I. Brafman, S. E. Shimony, A. Mani, and C. Boutilier. Computing optimal subsets. In Proc. of the 22nd AAAI Conference on Artificial Intelligence (AAAI 2007), pages 1231--1236, 2007."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11896548_27"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1784489.1784513"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/773153.773179"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9078-x"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055558.1055593"},{"key":"e_1_2_1_15_1","volume-title":"Proc. of the Workshop on Logic in Databases (LID 2008)","author":"Calvanese D.","year":"2008","unstructured":"D. Calvanese , G. De Giacomo , M. Lenzerini , and M. Y. Vardi . Regular XPath: Constraints, query containment and view-based answering for XML documents . In Proc. of the Workshop on Logic in Databases (LID 2008) , 2008 . D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Y. Vardi. Regular XPath: Constraints, query containment and view-based answering for XML documents. In Proc. of the Workshop on Logic in Databases (LID 2008), 2008."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2004.04.007"},{"key":"e_1_2_1_17_1","volume-title":"Proc. of the Workshop on Logic in Databases (LID 2008)","author":"Cort\u00e9s-Calabuig A.","year":"2008","unstructured":"A. Cort\u00e9s-Calabuig , M. Denecker , O. Arieli , and M. Bruynooghe . Efficient fixpoint methods for approximate query answering in locally complete databases . In Proc. of the Workshop on Logic in Databases (LID 2008) , 2008 . A. Cort\u00e9s-Calabuig, M. Denecker, O. Arieli, and M. Bruynooghe. Efficient fixpoint methods for approximate query answering in locally complete databases. In Proc. of the Workshop on Logic in Databases (LID 2008), 2008."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11546207_12"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62259"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/645773"},{"key":"e_1_2_1_21_1","volume-title":"Proc. of the Workshop on Logic in Databases (LID 2008)","author":"Decan A.","year":"2008","unstructured":"A. Decan and J. Wijsen . On first-order query rewriting for incomplete database histories . In Proc. of the Workshop on Logic in Databases (LID 2008) , 2008 . A. Decan and J. Wijsen. On first-order query rewriting for incomplete database histories. In Proc. of the Workshop on Logic in Databases (LID 2008), 2008."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1389449.1389474"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11916277_20"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1389449.1389474"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24599-5_12"},{"key":"e_1_2_1_26_1","first-page":"805","volume-title":"Proc. of the 1st International Workshop on Logical Aspects and Applications of Integrity Constraints (LAAIC 2005","author":"Fan W.","year":"2005","unstructured":"W. Fan . Xml constraints : Specification, analysis, and applications . In Proc. of the 1st International Workshop on Logical Aspects and Applications of Integrity Constraints (LAAIC 2005 ), pages 805 -- 809 , 2005 . W. Fan. Xml constraints: Specification, analysis, and applications. In Proc. of the 1st International Workshop on Logical Aspects and Applications of Integrity Constraints (LAAIC 2005), pages 805--809, 2005."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39429-7_16"},{"key":"e_1_2_1_28_1","volume-title":"Proc. of the Workshop on Logic in Databases (LID 2008)","author":"Fletcher G. H. L.","year":"2008","unstructured":"G. H. L. Fletcher . An algebra for basic graph patterns . In Proc. of the Workshop on Logic in Databases (LID 2008) , 2008 . G. H. L. Fletcher. An algebra for basic graph patterns. In Proc. of the Workshop on Logic in Databases (LID 2008), 2008."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30570-5_23"},{"key":"e_1_2_1_30_1","volume-title":"Proc. of the Workshop on Logic in Databases (LID 2008)","author":"Geerts F.","year":"2008","unstructured":"F. Geerts and A. Poggi . On bp-complete query languages on k-relations . In Proc. of the Workshop on Logic in Databases (LID 2008) , 2008 . F. Geerts and A. Poggi. On bp-complete query languages on k-relations. In Proc. of the Workshop on Logic in Databases (LID 2008), 2008."},{"key":"e_1_2_1_31_1","first-page":"1070","volume-title":"Proc. of the 5th Logic Programming Symposium","author":"Gelfond M.","year":"1988","unstructured":"M. Gelfond and V. Lifschitz . The stable model semantics for logic programming . In Proc. of the 5th Logic Programming Symposium , pages 1070 -- 1080 . The MIT Press , 1988 . M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. of the 5th Logic Programming Symposium, pages 1070--1080. The MIT Press, 1988."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/645683.664569"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265535"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/1287369.1287397"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543644"},{"key":"e_1_2_1_36_1","first-page":"7","volume-title":"Third International Workshop on Data Integration over the Web (DIWeb 2004","author":"Lenzerini M.","year":"2004","unstructured":"M. Lenzerini . Principles of p2p data integration. In Third International Workshop on Data Integration over the Web (DIWeb 2004 ), pages 7 -- 21 , 2004 . M. Lenzerini. Principles of p2p data integration. In Third International Workshop on Data Integration over the Web (DIWeb 2004), pages 7--21, 2004."},{"key":"e_1_2_1_37_1","first-page":"402","volume-title":"VLDB","author":"Levy A. Y.","year":"1996","unstructured":"A. Y. Levy . Obtaining complete answers from incomplete databases . In VLDB , pages 402 -- 412 , 1996 . A. Y. Levy. Obtaining complete answers from incomplete databases. In VLDB, pages 402--412, 1996."},{"key":"e_1_2_1_38_1","first-page":"47","article-title":"Intensional semantics for p2p data integration","volume":"6","author":"Majkic Z.","year":"2006","unstructured":"Z. Majkic . Intensional semantics for p2p data integration . Journal of Data Semantics , 6 : 47 -- 66 , 2006 . Z. Majkic. Intensional semantics for p2p data integration. Journal of Data Semantics, 6:47--66, 2006.","journal-title":"Journal of Data Semantics"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2005.12.007"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75410-7_6"},{"key":"e_1_2_1_41_1","series-title":"Studies in Fuzziness and Soft Computing","first-page":"307","volume-title":"Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa","author":"Nonnengart A.","year":"1998","unstructured":"A. Nonnengart and A. Sza\u0142as . A fixpoint approach to second-order quantifier elimination with applications to correspondence theory . In E. Or\u0142owska, editor, Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa , volume 24 of Studies in Fuzziness and Soft Computing , pages 307 -- 328 . Springer Physica-Verlag , 1998 . A. Nonnengart and A. Sza\u0142as. A fixpoint approach to second-order quantifier elimination with applications to correspondence theory. In E. Or\u0142owska, editor, Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, volume 24 of Studies in Fuzziness and Soft Computing, pages 307--328. Springer Physica-Verlag, 1998."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(78)90055-8"},{"key":"e_1_2_1_43_1","volume-title":"Proc. of the Workshop on Logic in Databases (LID 2008)","author":"Perez-Urbina H.","year":"2008","unstructured":"H. Perez-Urbina , B. Motik , and I. Horrocks . Rewriting conjunctive queries under description logic constraints . In Proc. of the Workshop on Logic in Databases (LID 2008) , 2008 . H. Perez-Urbina, B. Motik, and I. Horrocks. Rewriting conjunctive queries under description logic constraints. In Proc. of the Workshop on Logic in Databases (LID 2008), 2008."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/11762256_28"},{"key":"e_1_2_1_45_1","volume-title":"Proc. of the Workshop on Logic in Databases (LID 2008)","author":"Staworko S.","year":"2008","unstructured":"S. Staworko , E. Filiot , and J. Chomicki . Querying regular sets of XML documents . In Proc. of the Workshop on Logic in Databases (LID 2008) , 2008 . S. Staworko, E. Filiot, and J. Chomicki. Querying regular sets of XML documents. In Proc. of the Workshop on Logic in Databases (LID 2008), 2008."},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/11965893_10"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/294135.294145"},{"key":"e_1_2_1_48_1","volume-title":"Proc. of the Workshop on Logic in Databases (LID 2008)","author":"Vetere G.","year":"2008","unstructured":"G. Vetere , F. Venditti , and A. Faraotti . A doxastic approach to P2P information integration . In Proc. of the Workshop on Logic in Databases (LID 2008) , 2008 . G. Vetere, F. Venditti, and A. Faraotti. A doxastic approach to P2P information integration. In Proc. of the Workshop on Logic in Databases (LID 2008), 2008."},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/2113364.2113389"},{"key":"e_1_2_1_50_1","volume-title":"Proc. of the Workshop on Logic in Databases (LID 2008)","author":"Zhang X.","year":"2008","unstructured":"X. Zhang and J. Chomicki . Profiling sets for preference queries . In Proc. of the Workshop on Logic in Databases (LID 2008) , 2008 . X. Zhang and J. Chomicki. Profiling sets for preference queries. In Proc. of the Workshop on Logic in Databases (LID 2008), 2008."}],"container-title":["ACM SIGMOD Record"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1815933.1815946","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1815933.1815946","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:43Z","timestamp":1750246783000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1815933.1815946"}},"subtitle":["report on the LID 2008 workshop"],"short-title":[],"issued":{"date-parts":[[2010,12,15]]},"references-count":50,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,12,15]]}},"alternative-id":["10.1145\/1815933.1815946"],"URL":"https:\/\/doi.org\/10.1145\/1815933.1815946","relation":{},"ISSN":["0163-5808"],"issn-type":[{"type":"print","value":"0163-5808"}],"subject":[],"published":{"date-parts":[[2010,12,15]]},"assertion":[{"value":"2010-12-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}