{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:51Z","timestamp":1750306671983,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,18]],"date-time":"2014-06-18T00:00:00Z","timestamp":1403049600000},"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":[],"published-print":{"date-parts":[[2014,6,18]]},"DOI":"10.1145\/2594538.2594550","type":"proceedings-article","created":{"date-parts":[[2014,6,20]],"date-time":"2014-06-20T13:06:05Z","timestamp":1403269565000},"page":"200-211","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Generating low-cost plans from proofs"],"prefix":"10.1145","author":[{"given":"Michael","family":"Benedikt","sequence":"first","affiliation":[{"name":"Oxford University, Oxford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Balder","family":"ten Cate","sequence":"additional","affiliation":[{"name":"LogicBlox, Atlanta, GA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Efthymia","family":"Tsamoura","sequence":"additional","affiliation":[{"name":"Oxford University, Oxford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/551350"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.2307\/2695090"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2448496.2448522"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1052669059"},{"key":"e_1_3_2_1_5_1","volume-title":"SEBD","author":"Borgida A.","year":"2010","unstructured":"A. Borgida , J. de Bruijn , E. Franconi , I. Seylan , U. Straccia , D. Toman , and G. E. Weddell . On finding query rewritings under expressive constraints . In SEBD , 2010 . A. Borgida, J. de Bruijn, E.Franconi, I. Seylan, U. Straccia, D. Toman, and G. E. Weddell. On finding query rewritings under expressive constraints. In SEBD, 2010."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2012.03.001"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.2307\/2963594"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.11.008"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/645925.756643"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1121995.1122010"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(99)00025-4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/304182.304210"},{"key":"e_1_3_2_1_13_1","volume-title":"Adv. Modal Logic","author":"Hirsch C.","year":"2000","unstructured":"C. Hirsch and S. Tobies . A tableau algorithm for the clique guarded fragment . In Adv. Modal Logic , 2000 . C. Hirsch and S. Tobies. A tableau algorithm for the clique guarded fragment. In Adv. Modal Logic, 2000."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/212433.220198"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-002-0085-6"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/502030.502032"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1959.9.129"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806907.1806913"},{"key":"e_1_3_2_1_19_1","volume-title":"DEIS","author":"Onet A.","year":"2013","unstructured":"A. Onet . The chase procedure and its applications in data exchange . In DEIS , 2013 . A. Onet. The chase procedure and its applications in data exchange. In DEIS, 2013."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.2307\/420966"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/932669"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2073448"}],"event":{"name":"SIGMOD\/PODS'14: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"location":"Snowbird Utah USA","acronym":"SIGMOD\/PODS'14"},"container-title":["Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594538.2594550","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2594538.2594550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:52Z","timestamp":1750230052000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594538.2594550"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,18]]},"references-count":22,"alternative-id":["10.1145\/2594538.2594550","10.1145\/2594538"],"URL":"https:\/\/doi.org\/10.1145\/2594538.2594550","relation":{},"subject":[],"published":{"date-parts":[[2014,6,18]]},"assertion":[{"value":"2014-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}