{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:37:16Z","timestamp":1750307836364,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,6,9]],"date-time":"2008-06-09T00:00:00Z","timestamp":1212969600000},"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":[[2008,6,9]]},"DOI":"10.1145\/1376616.1376673","type":"proceedings-article","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T14:13:22Z","timestamp":1213107202000},"page":"553-566","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Adding magic to an optimising datalog compiler"],"prefix":"10.1145","author":[{"given":"Damien","family":"Sereni","sequence":"first","affiliation":[{"name":"Semmle Ltd., Oxford, United Kingdom"}]},{"given":"Pavel","family":"Avgustinov","sequence":"additional","affiliation":[{"name":"Semmle Ltd., Oxford, United Kingdom"}]},{"given":"Oege","family":"de Moor","sequence":"additional","affiliation":[{"name":"Semmle Ltd., Oxford, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2008,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)90030-S"},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"SIGMOD Conference","author":"Bancilhon Fran\u00e7ois","year":"1986","unstructured":"Fran\u00e7ois Bancilhon , David Maier , Yehoshua Sagiv , and Jeffrey D. Ullman . Magic sets and other strange ways to implement logic programs . In SIGMOD Conference , pages 1 -- 16 . ACM, 1986 . Fran\u00e7ois Bancilhon, David Maier, Yehoshua Sagiv, and Jeffrey D. Ullman. Magic sets and other strange ways to implement logic programs. In SIGMOD Conference, pages 1--16. ACM, 1986."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/28659.28689"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376916.1376957"},{"key":"e_1_3_2_1_6_1","volume-title":"Generative and Transformational Techniques for Software Engineering (GTTSE '07)","author":"de Moor Oege","year":"2007","unstructured":"Oege de Moor , Damien Sereni , Mathieu Verbaere , Elnar Hajiyev , Pavel Avgustinov , Torbj\u00f6rn Ekman , Neil Ongkingco , and Julian Tibble . .QL : Object-oriented queries made easy . In Generative and Transformational Techniques for Software Engineering (GTTSE '07) , 2007 . Oege de Moor, Damien Sereni, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbj\u00f6rn Ekman, Neil Ongkingco, and Julian Tibble. .QL: Object-oriented queries made easy. In Generative and Transformational Techniques for Software Engineering (GTTSE '07), 2007."},{"issue":"4","key":"e_1_3_2_1_7_1","first-page":"233","article-title":"Optimum branchings. Journal of Research of the National Bureau of Standards -- B","volume":"71","author":"Edmonds Jack","year":"1967","unstructured":"Jack Edmonds . Optimum branchings. Journal of Research of the National Bureau of Standards -- B . Mathematics and Mathematical Physics , 71B ( 4 ): 233 -- 240 , October-December 1967 . Jack Edmonds. Optimum branchings. Journal of Research of the National Bureau of Standards -- B. Mathematics and Mathematical Physics, 71B(4):233--240, October-December 1967.","journal-title":"Mathematics and Mathematical Physics"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02579168"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00888-5"},{"key":"e_1_3_2_1_10_1","unstructured":"H2 Database Engine. Website with documentation and downloads. http:\/\/www.h2database.com 2007.  H2 Database Engine. Website with documentation and downloads. http:\/\/www.h2database.com 2007."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_2"},{"key":"e_1_3_2_1_12_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-540-30122-6_6","volume-title":"Principles and Practice of Web Reasoning","author":"Henriksson Jakob","year":"2004","unstructured":"Jakob Henriksson and Jan Ma\u0142uszy\\ \u2019nski . Static type-checking of datalog with ontologies . In Principles and Practice of Web Reasoning , volume 3208 of LNCS , pages 76 -- 89 , 2004 . Jakob Henriksson and Jan Ma\u0142uszy\\\u2019nski. Static type-checking of datalog with ontologies. In Principles and Practice of Web Reasoning, volume 3208 of LNCS, pages 76--89, 2004."},{"key":"e_1_3_2_1_13_1","unstructured":"JFreeChart. Website with documentation and downloads. http:\/\/www.jfree.org\/jfreechart\/ 2007.  JFreeChart. Website with documentation and downloads. http:\/\/www.jfree.org\/jfreechart\/ 2007."},{"key":"e_1_3_2_1_14_1","first-page":"128","volume-title":"VLDB","author":"Krishnamurthy Ravi","year":"1986","unstructured":"Ravi Krishnamurthy , Haran Boral , and Carlo Zaniolo . Optimization of nonrecursive queries . In VLDB , pages 128 -- 137 , 1986 . Ravi Krishnamurthy, Haran Boral, and Carlo Zaniolo. Optimization of nonrecursive queries. In VLDB, pages 128--137, 1986."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065169"},{"key":"e_1_3_2_1_16_1","first-page":"165","volume-title":"Proceedings of the Fifteenth International Conference on Very Large Data Bases","author":"Richard","year":"1989","unstructured":"Richard J. Lipton and Jeffrey F. Naughton. Estimating the size of generalized transitive closures. In Peter M. G. Apers and Gio Wiederhold, editors , Proceedings of the Fifteenth International Conference on Very Large Data Bases , pages 165 -- 171 . Morgan Kaufmann , 1989 . Richard J. Lipton and Jeffrey F. Naughton. Estimating the size of generalized transitive closures. In Peter M. G. Apers and Gio Wiederhold, editors, Proceedings of the Fifteenth International Conference on Very Large Data Bases, pages 165--171. Morgan Kaufmann, 1989."},{"key":"e_1_3_2_1_17_1","unstructured":"Microsoft. SQL server website with documentation and downloads. http:\/\/www.microsoft.com\/sql 2007.  Microsoft. SQL server website with documentation and downloads. http:\/\/www.microsoft.com\/sql 2007."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/308386.308419"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/93597.98734"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/191839.191860"},{"key":"e_1_3_2_1_21_1","unstructured":"PostgreSQL. Documentation and downloads. http:\/\/www.postgresql.org 2007.  PostgreSQL. Documentation and downloads. http:\/\/www.postgresql.org 2007."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/615191.615195"},{"key":"e_1_3_2_1_23_1","volume-title":"Collection of .QL queries used in benchmarks","author":"Ltd Semmle","year":"2007","unstructured":"Semmle Ltd . Collection of .QL queries used in benchmarks , 2007 . http:\/\/semmle.com\/benchmarks\/defaultqueries.tar.gz. Semmle Ltd. Collection of .QL queries used in benchmarks, 2007. http:\/\/semmle.com\/benchmarks\/defaultqueries.tar.gz."},{"key":"e_1_3_2_1_24_1","unstructured":"Semmle Ltd. Company website with free downloads documentation and discussion forums. http:\/\/semmle.com 2007.  Semmle Ltd. Company website with free downloads documentation and discussion forums. http:\/\/semmle.com 2007."},{"key":"e_1_3_2_1_25_1","volume-title":"Database schema with annotations","author":"Ltd Semmle","year":"2007","unstructured":"Semmle Ltd . Database schema with annotations , 2007 . http:\/\/semmle.com\/benchmarks\/semmlecode.dbscheme. Semmle Ltd. Database schema with annotations, 2007. http:\/\/semmle.com\/benchmarks\/semmlecode.dbscheme."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/233269.233360"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/67544.66961"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_8"}],"event":{"name":"SIGMOD\/PODS '08: SIGMOD\/PODS '08 - International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","ACM Association for Computing Machinery"],"location":"Vancouver Canada","acronym":"SIGMOD\/PODS '08"},"container-title":["Proceedings of the 2008 ACM SIGMOD international conference on Management of data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1376616.1376673","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1376616.1376673","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:58:01Z","timestamp":1750255081000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1376616.1376673"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,9]]},"references-count":28,"alternative-id":["10.1145\/1376616.1376673","10.1145\/1376616"],"URL":"https:\/\/doi.org\/10.1145\/1376616.1376673","relation":{},"subject":[],"published":{"date-parts":[[2008,6,9]]},"assertion":[{"value":"2008-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}