{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:21Z","timestamp":1750220601526,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":64,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,8,12]],"date-time":"2020-08-12T00:00:00Z","timestamp":1597190400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,8,12]]},"DOI":"10.1145\/3410566.3410592","type":"proceedings-article","created":{"date-parts":[[2020,8,25]],"date-time":"2020-08-25T16:11:46Z","timestamp":1598371906000},"page":"1-10","source":"Crossref","is-referenced-by-count":1,"title":["Consistent query answering with prioritized active integrity constraints"],"prefix":"10.1145","author":[{"given":"Marco","family":"Calautti","sequence":"first","affiliation":[{"name":"University of Trento, Trento (TN) - Italy"}]},{"given":"Luciano","family":"Caroprese","sequence":"additional","affiliation":[{"name":"ICAR-CNR, Rende (CS) - Italy"}]},{"given":"Sergio","family":"Greco","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende (CS) - Italy"}]},{"given":"Cristian","family":"Molinaro","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende (CS) - Italy"}]},{"given":"Irina","family":"Trubitsyna","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende (CS) - Italy"}]},{"given":"Ester","family":"Zumpano","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende (CS) - Italy"}]}],"member":"320","published-online":{"date-parts":[[2020,8,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Marcelo Arenas Leopoldo E. Bertossi and Jan Chomicki. 1999. Consistent Query Answers in Inconsistent Databases. In PODS. 68--79.  Marcelo Arenas Leopoldo E. Bertossi and Jan Chomicki. 1999. Consistent Query Answers in Inconsistent Databases. In PODS. 68--79.","DOI":"10.1145\/303976.303983"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001832"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.03.002"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147376.1147391"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Leopoldo E. Bertossi. 2011. Database Repairing and Consistent Query Answering. Morgan & Claypool Publishers.  Leopoldo E. Bertossi. 2011. Database Repairing and Consistent Query Answering. Morgan & Claypool Publishers.","DOI":"10.2200\/S00379ED1V01Y201108DTM020"},{"volume-title":"Proc. of the Int. Ws. on Foundations of Models and Languages for Data and Objects (FMLDO). 65--81","author":"Leopoldo","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2017.11.003"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.03.006"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00015-6"},{"key":"e_1_3_2_1_10_1","first-page":"97","article-title":"Checking Termination of Logic Programs with Function Symbols through Linear Constraints","volume":"8620","author":"Calautti Marco","year":"2014","journal-title":"RuleML"},{"key":"e_1_3_2_1_11_1","unstructured":"Marco Calautti Sergio Greco Cristian Molinaro and Irina Trubitsyna. 2015. Logic Program Termination Analysis Using Atom Sizes. In IJCAI. AAAI Press 2833--2839.  Marco Calautti Sergio Greco Cristian Molinaro and Irina Trubitsyna. 2015. Logic Program Termination Analysis Using Atom Sizes. In IJCAI. AAAI Press 2833--2839."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068416000077"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Marco Calautti Sergio Greco Cristian Molinaro and Irina Trubitsyna. 2020. Preference-based Inconsistency-Tolerant Query Answering under Existential Rules. In KR. to appear.  Marco Calautti Sergio Greco Cristian Molinaro and Irina Trubitsyna. 2020. Preference-based Inconsistency-Tolerant Query Answering under Existential Rules. In KR. to appear.","DOI":"10.24963\/kr.2020\/21"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000623"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2505879.2505883"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3143804"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Luciano Caroprese Sergio Greco and Cristian Molinaro. 2007. Prioritized Active Integrity Constraints for Database Maintenance. In DASFAA. 459--471.  Luciano Caroprese Sergio Greco and Cristian Molinaro. 2007. Prioritized Active Integrity Constraints for Database Maintenance. In DASFAA. 459--471.","DOI":"10.1007\/978-3-540-71703-4_40"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Luciano Caroprese Sergio Greco Cristina Sirangelo and Ester Zumpano. 2006. Declarative Semantics of Production Rules for Integrity Maintenance. In ICLP. 26--40.  Luciano Caroprese Sergio Greco Cristina Sirangelo and Ester Zumpano. 2006. Declarative Semantics of Production Rules for Integrity Maintenance. In ICLP. 26--40.","DOI":"10.1007\/11799573_5"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2008.226"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Luciano Caroprese Irina Trubitsyna Miroslaw Truszczynski and Ester Zumpano. 2012. The View-Update Problem for Indefinite Databases. In JELIA. 134--146.  Luciano Caroprese Irina Trubitsyna Miroslaw Truszczynski and Ester Zumpano. 2012. The View-Update Problem for Indefinite Databases. In JELIA. 134--146.","DOI":"10.1007\/978-3-642-33353-8_11"},{"key":"e_1_3_2_1_21_1","first-page":"4","article-title":"A Measure of Arbitrariness in Abductive Explanations","volume":"14","author":"Caroprese Luciano","year":"2014","journal-title":"Theory and Practice of Logic Progr."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000475"},{"key":"e_1_3_2_1_23_1","unstructured":"Stefano Ceri Roberta Cochrane and Jennifer Widom. 2000. Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award). In VLDB. 254--262.  Stefano Ceri Roberta Cochrane and Jennifer Widom. 2000. Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award). In VLDB. 254--262."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/185827.185828"},{"key":"e_1_3_2_1_25_1","unstructured":"Stefano Ceri and Jennifer Widom. 1990. Deriving Production Rules for Constraint Maintainance. In VLDB. 566--577.  Stefano Ceri and Jennifer Widom. 1990. Deriving Production Rules for Constraint Maintainance. In VLDB. 566--577."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Jan Chomicki. 2007. Consistent Query Answering: Five Easy Pieces. In ICDT. 1--17.  Jan Chomicki. 2007. Consistent Query Answering: Five Easy Pieces. In ICDT. 1--17.","DOI":"10.1007\/11965893_1"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1161596"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Alvaro Cort\u00e9s-Calabuig Marc Denecker Ofer Arieli and Maurice Bruynooghe. 2006. Representation of Partial Knowledge and Query Answering in Locally Complete Databases. In LPAR. 407--421.  Alvaro Cort\u00e9s-Calabuig Marc Denecker Ofer Arieli and Maurice Bruynooghe. 2006. Representation of Partial Knowledge and Query Answering in Locally Complete Databases. In LPAR. 407--421.","DOI":"10.1007\/11916277_28"},{"volume-title":"FoIKS","author":"Cruz-Filipe Lu\u00eds","key":"e_1_3_2_1_29_1"},{"volume-title":"ICLP","author":"Cruz-Filipe Lu\u00eds","key":"e_1_3_2_1_30_1"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Lu\u00eds Cruz-Filipe Gra\u00e7a Gaspar Patr\u00edcia Engr\u00e1cia and Isabel Nunes. 2013. Computing Repairs from Active Integrity Constraints. In TASE. IEEE Computer Society 183--190.  Lu\u00eds Cruz-Filipe Gra\u00e7a Gaspar Patr\u00edcia Engr\u00e1cia and Isabel Nunes. 2013. Computing Repairs from Active Integrity Constraints. In TASE. IEEE Computer Society 183--190.","DOI":"10.1109\/TASE.2013.32"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/2566972.2566991"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001539"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Alin Deutsch Alan Nash and Jeff B. Remmel. 2008. The Chase Revisisted. In PODS. 149--158.  Alin Deutsch Alan Nash and Jeff B. Remmel. 2008. The Chase Revisisted. In PODS. 149--158.","DOI":"10.1145\/1376916.1376938"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2019-1843"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Sergio Flesca Filippo Furfaro and Francesco Parisi. 2005. Consistent Query Answers on Numerical Databases Under Aggregate Constraints. In DBPL. 279--294.  Sergio Flesca Filippo Furfaro and Francesco Parisi. 2005. Consistent Query Answers on Numerical Databases Under Aggregate Constraints. In DBPL. 279--294.","DOI":"10.1007\/11601524_18"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Sergio Flesca Filippo Furfaro and Francesco Parisi. 2007. Preferred Database Repairs Under Aggregate Constraints. In SUM. 215--229.  Sergio Flesca Filippo Furfaro and Francesco Parisi. 2007. Preferred Database Repairs Under Aggregate Constraints. In SUM. 215--229.","DOI":"10.1007\/978-3-540-75410-7_16"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Sergio Flesca Filippo Furfaro and Francesco Parisi. 2010. Range-Consistent Answers of Aggregate Queries under Aggregate Constraints. In SUM. 163--176.  Sergio Flesca Filippo Furfaro and Francesco Parisi. 2010. Range-Consistent Answers of Aggregate Queries under Aggregate Constraints. In SUM. 163--176.","DOI":"10.1007\/978-3-642-15951-0_19"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068400001009"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-008-9088-3"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Ariel Fuxman and Ren\u00e9e J. Miller. 2005. First-Order Query Rewriting for Inconsistent Databases. In ICDT. 337--351.  Ariel Fuxman and Ren\u00e9e J. Miller. 2005. First-Order Query Rewriting for Inconsistent Databases. In ICDT. 337--351.","DOI":"10.1007\/978-3-540-30570-5_23"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.10.013"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068404002273"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1245280"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"crossref","unstructured":"Sergio Greco and Cristian Molinaro. 2007. Querying and Repairing Inconsistent Databases Under Three-Valued Semantics. In ICLP. 149--164.  Sergio Greco and Cristian Molinaro. 2007. Querying and Repairing Inconsistent Databases Under Three-Valued Semantics. In ICLP. 149--164.","DOI":"10.1007\/978-3-540-74610-2_11"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"Sergio Greco and Cristian Molinaro. 2008. Approximate Probabilistic Query Answering over Inconsistent Databases. In ER. 311--325.  Sergio Greco and Cristian Molinaro. 2008. Approximate Probabilistic Query Answering over Inconsistent Databases. In ER. 311--325.","DOI":"10.1007\/978-3-540-87877-3_23"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-012-9287-9"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1017\/S147106841300046X"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Sergio Greco Cristian Molinaro and Irina Trubitsyna. 2018. Computing Approximate Query Answers over Inconsistent Knowledge Bases. In IJCAI J\u00e9r\u00f4me Lang (Ed.). ijcai.org 1838--1846.  Sergio Greco Cristian Molinaro and Irina Trubitsyna. 2018. Computing Approximate Query Answers over Inconsistent Knowledge Bases. In IJCAI J\u00e9r\u00f4me Lang (Ed.). ijcai.org 1838--1846.","DOI":"10.24963\/ijcai.2018\/254"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068409990251"},{"key":"e_1_3_2_1_51_1","unstructured":"Sergio Greco Cristina Sirangelo Irina Trubitsyna and Ester Zumpano. 2003. Preferred Repairs for Inconsistent Databases. In IDEAS. 202--211.  Sergio Greco Cristina Sirangelo Irina Trubitsyna and Ester Zumpano. 2003. Preferred Repairs for Inconsistent Databases. In IDEAS. 202--211."},{"key":"e_1_3_2_1_52_1","first-page":"44","article-title":"Feasibility Conditions and Preference Criteria in Querying and Repairing Inconsistent Databases","volume":"3180","author":"Greco Sergio","year":"2004","journal-title":"DEXA"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/11853886_18"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622637.1622650"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"crossref","unstructured":"Sergio Greco and Ester Zumpano. 2000. Querying Inconsistent Databases. In LPAR. 308--325.  Sergio Greco and Ester Zumpano. 2000. Querying Inconsistent Databases. In LPAR. 308--325.","DOI":"10.1007\/3-540-44404-1_20"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"crossref","unstructured":"Bruno Marnette. 2009. Generalized schema-mappings: From termination to tractability. In PODS. 13--22.  Bruno Marnette. 2009. Generalized schema-mappings: From termination to tractability. In PODS. 13--22.","DOI":"10.1145\/1559795.1559799"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/582410.582411"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)90040-X"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.649312"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/311531.311623"},{"volume-title":"DL (CEUR Workshop Proceedings","year":"2017","author":"Rantsoudis Christos","key":"e_1_3_2_1_61_1"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00054-0"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/176567.176571"},{"key":"e_1_3_2_1_64_1","unstructured":"Jennifer Widom and Stefano Ceri (Eds.). 1996. Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann.  Jennifer Widom and Stefano Ceri (Eds.). 1996. Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann."}],"event":{"name":"IDEAS 2020: 24th International Database Engineering & Applications Symposium","acronym":"IDEAS 2020","location":"Seoul Republic of Korea"},"container-title":["Proceedings of the 24th Symposium on International Database Engineering & Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3410566.3410592","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3410566.3410592","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:32:00Z","timestamp":1750195920000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3410566.3410592"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,12]]},"references-count":64,"alternative-id":["10.1145\/3410566.3410592","10.1145\/3410566"],"URL":"https:\/\/doi.org\/10.1145\/3410566.3410592","relation":{},"subject":[],"published":{"date-parts":[[2020,8,12]]}}}