{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:43:17Z","timestamp":1770280997960,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":40,"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\/1376916.1376957","type":"proceedings-article","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T14:13:22Z","timestamp":1213107202000},"page":"291-300","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Type inference for datalog and its application to query optimisation"],"prefix":"10.1145","author":[{"given":"Oege","family":"de Moor","sequence":"first","affiliation":[{"name":"Semmle Ltd., Oxford, United Kngdm"}]},{"given":"Damien","family":"Sereni","sequence":"additional","affiliation":[{"name":"Semmle Ltd., Oxford, United Kngdm"}]},{"given":"Pavel","family":"Avgustinov","sequence":"additional","affiliation":[{"name":"Semmle Ltd., Oxford, United Kngdm"}]},{"given":"Mathieu","family":"Verbaere","sequence":"additional","affiliation":[{"name":"Semmle Ltd., Oxford, United Kngdm"}]}],"member":"320","published-online":{"date-parts":[[2008,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/648291.754378"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/551350"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/170035.170044"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/763787.763792"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/6012.15399"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11552222_9"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055558.1055600"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11547662_5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/645505.656426"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/137097.137869"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/153850.153862"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/182591.182602"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62259"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263744"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/791230.792312"},{"key":"e_1_3_2_1_18_1","series-title":"Lecture Notes in Logic","first-page":"51","volume-title":"Logic Colloquium '95","author":"Dawar Anuj","year":"1995","unstructured":"Anuj Dawar . Types and indiscernibles in finite models . In J. A. Makowsky, editor, Logic Colloquium '95 , Lecture Notes in Logic , pages 51 -- 65 . Springer , 1995 . Anuj Dawar. Types and indiscernibles in finite models. In J. A. Makowsky, editor, Logic Colloquium '95, Lecture Notes in Logic, pages 51--65. Springer, 1995."},{"key":"e_1_3_2_1_19_1","volume-title":"Generative and Transformational Techniques in Software Engineering","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 Ralf L\u00e4mmel, Jo\u00e3o Saraiva, and Joost Visser, editors, Generative and Transformational Techniques in Software Engineering , LNCS. Springer , 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 Ralf L\u00e4mmel, Jo\u00e3o Saraiva, and Joost Visser, editors, Generative and Transformational Techniques in Software Engineering, LNCS. Springer, 2007."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2007.13"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/645346.650641"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1991.151654"},{"key":"e_1_3_2_1_23_1","unstructured":"John P. Gallagher and Kim S. Henriksen. Type analysis and transformation tool. http:\/\/wagner.ruc.dk\/Tattoo\/ 2007.  John P. Gallagher and Kim S. Henriksen. Type analysis and transformation tool. http:\/\/wagner.ruc.dk\/Tattoo\/ 2007."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11562931_22"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/645772.667955"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96729"},{"key":"e_1_3_2_1_27_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 Maluszy\u0144ski . Static type-checking of datalog with ontologies . In Hans J\u00fcrgen Ohlbach and Sebastian Schaffert, editors, Principles and Practice of Web Reasoning , volume 3208 of LNCS , pages 76 -- 89 . Springer , 2004 . Jakob Henriksson and Jan Maluszy\u0144ski. Static type-checking of datalog with ontologies. In Hans J\u00fcrgen Ohlbach and Sebastian Schaffert, editors, Principles and Practice of Web Reasoning, volume 3208 of LNCS, pages 76--89. Springer, 2004."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/647372.724057"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/153676"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250783"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/263661.263665"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.180603"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/507234.507237"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177650"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/67544.66931"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/509043"},{"key":"e_1_3_2_1_37_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_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90040-N"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/354222.353189"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55015-1_14"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/73721.73729"}],"event":{"name":"SIGMOD\/PODS '08: SIGMOD\/PODS '08 - International Conference on Management of Data","location":"Vancouver Canada","acronym":"SIGMOD\/PODS '08","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1376916.1376957","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1376916.1376957","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:55Z","timestamp":1750255075000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1376916.1376957"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,9]]},"references-count":40,"alternative-id":["10.1145\/1376916.1376957","10.1145\/1376916"],"URL":"https:\/\/doi.org\/10.1145\/1376916.1376957","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"}}]}}