{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:28:53Z","timestamp":1759638533003,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,3,25]],"date-time":"2011-03-25T00:00:00Z","timestamp":1301011200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-09-DEFIS, 2009-2012"],"award-info":[{"award-number":["ANR-09-DEFIS, 2009-2012"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,3,25]]},"DOI":"10.1145\/1966357.1966365","type":"proceedings-article","created":{"date-parts":[[2011,4,7]],"date-time":"2011-04-07T09:36:11Z","timestamp":1302168971000},"page":"33-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["On Armstrong-compliant logical query languages"],"prefix":"10.1145","author":[{"given":"Marie","family":"Agier","sequence":"first","affiliation":[{"name":"Universit\u00e9 Blaise Pascal, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christine","family":"Froidevaux","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Sud, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"Petit","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lyon, Lyon, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoan","family":"Renaud","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lyon, Lyon, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jef","family":"Wijsen","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Mons, Mons, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,3,25]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Foundations of Databases","author":"Abiteboul S.","year":"1995","unstructured":"S. Abiteboul , R. Hull , and V. Vianu . Foundations of Databases . Addison Wesley , 1995 . S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley, 1995."},{"issue":"4","key":"e_1_3_2_1_2_1","first-page":"543","article-title":"Unifying framework for rule semantics: Application to gene expression data","volume":"78","author":"Agier M.","year":"2007","unstructured":"M. Agier , J.-M. Petit , and E. Suzuki . Unifying framework for rule semantics: Application to gene expression data . Fundam. Inform. , 78 ( 4 ): 543 -- 559 , 2007 . M. Agier, J.-M. Petit, and E. Suzuki. Unifying framework for rule semantics: Application to gene expression data. Fundam. Inform., 78(4):543--559, 2007.","journal-title":"Fundam. Inform."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/170035.170072"},{"key":"e_1_3_2_1_4_1","first-page":"580","volume-title":"Proc. of IFIP Congress","author":"Armstrong W. W.","year":"1974","unstructured":"W. W. Armstrong . Dependency structures of data base relationships . In Proc. of IFIP Congress , pages 580 -- 583 , 1974 . W. W. Armstrong. Dependency structures of data base relationships. In Proc. of IFIP Congress, pages 580--583, 1974."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/320064.320066"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"T.\n      Calders\n     and \n      J.\n      Wijsen\n  . \n  On monotone data mining languages\n  . In G. Ghelli and G. Grahne editors DBPL volume \n  2397\n   of \n  Lecture Notes in Computer Science pages \n  119\n  --\n  132\n  . \n  Springer 2001\n  .   T. Calders and J. Wijsen. On monotone data mining languages. In G. Ghelli and G. Grahne editors DBPL volume 2397 of Lecture Notes in Computer Science pages 119--132. Springer 2001.","DOI":"10.1007\/3-540-46093-4_7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.2307\/2269326"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1739041.1739076"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59830-2"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-540-44497-8_4","volume-title":"Database Support for Data Mining Applications, LNCS 2682","author":"Giannotti F.","year":"2004","unstructured":"F. Giannotti , G. Manco , and F. Turini . Towards a logic query language for data mining . In Database Support for Data Mining Applications, LNCS 2682 , pages 76 -- 94 , 2004 . F. Giannotti, G. Manco, and F. Turini. Towards a logic query language for data mining. In Database Support for Data Mining Applications, LNCS 2682, pages 76--94, 2004."},{"issue":"4","key":"e_1_3_2_1_11_1","first-page":"385","article-title":"Investigations on Armstrong relations, dependency inference, and excluded functional dependencies","volume":"9","author":"Gottlob G.","year":"1990","unstructured":"G. Gottlob and L. Libkin . Investigations on Armstrong relations, dependency inference, and excluded functional dependencies . Acta Cybernetica , 9 ( 4 ): 385 -- 402 , 1990 . G. Gottlob and L. Libkin. Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. Acta Cybernetica, 9(4):385--402, 1990.","journal-title":"Acta Cybernetica"},{"issue":"95","key":"e_1_3_2_1_12_1","first-page":"5","article-title":"Familles minimales d'implications informatives résultant d'un tableau de données binaires","volume":"24","author":"Guigues J.-L.","year":"1986","unstructured":"J.-L. Guigues and V. Duquenne . Familles minimales d'implications informatives résultant d'un tableau de données binaires . Math. Sci. Humaines , 24 ( 95 ): 5 -- 18 , 1986 . J.-L. Guigues and V. Duquenne. Familles minimales d'implications informatives résultant d'un tableau de données binaires. Math. Sci. Humaines, 24(95):5--18, 1986.","journal-title":"Math. Sci. Humaines"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/240455.240472"},{"key":"e_1_3_2_1_14_1","first-page":"370","volume-title":"Proceedings of the third international conference on Very large data bases","volume":"3","author":"Lacroix M.","year":"1977","unstructured":"M. Lacroix and A. Pirotte . Domain-oriented relational languages . In Proceedings of the third international conference on Very large data bases , volume 3 , pages 370 -- 378 . VLDB Endowment , 1977 . M. Lacroix and A. Pirotte. Domain-oriented relational languages. In Proceedings of the third international conference on Very large data bases, volume 3, pages 370--378. VLDB Endowment, 1977."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12098-5_24"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/322217.322223"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009796218281"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009774406717"},{"key":"e_1_3_2_1_19_1","first-page":"719","volume-title":"VLDB","author":"Netz A.","year":"2000","unstructured":"A. Netz , S. Chaudhuri , J. Bernhardt , and U. M. Fayyad . Integration of data mining with database technology . In VLDB , pages 719 -- 722 , 2000 . A. Netz, S. Chaudhuri, J. Bernhardt, and U. M. Fayyad. Integration of data mining with database technology. In VLDB, pages 719--722, 2000."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/648166.750486"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1401890.1401919"}],"event":{"name":"EDBT\/ICDT '11: EDBT\/ICDT '11 joint conference","acronym":"EDBT\/ICDT '11","location":"Uppsala Sweden"},"container-title":["Proceedings of the 4th International Workshop on Logic in Databases"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1966357.1966365","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1966357.1966365","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:25Z","timestamp":1750245745000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1966357.1966365"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,25]]},"references-count":21,"alternative-id":["10.1145\/1966357.1966365","10.1145\/1966357"],"URL":"https:\/\/doi.org\/10.1145\/1966357.1966365","relation":{},"subject":[],"published":{"date-parts":[[2011,3,25]]},"assertion":[{"value":"2011-03-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}