FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021002502> ?p ?o ?g. }

• W2021002502 abstract "The framework of database repairs provides a principled approach to managing inconsistencies in databases. Informally, a repair of an inconsistence database is a consistent database that differs from the inconsistent one in a minimal way. A fundamental problem in this framework is the repair-checking problem: given two instances, is the second a repair of the first? Here, all repairs are taken into account, and they are treated on a par with each other. There are situations, however, in which it is natural and desired to prefer one repair over another; for example, one data source is regarded to be more reliable than another, or timestamp information implies that a more recent fact should be preferred over an earlier one. Motivated by these considerations, Staworko, Chomicki and Marcinkowski introduced the framework of preferred repairs. The main characteristic of this framework is that it uses a priority relation between conflicting facts of an inconsistent database to define notions of preferred repairs. In this paper we focus on the globally-optimal repairs, in the case where the constraints are functional dependencies. Intuitively, a globally-optimal repair is a repair that cannot be improved by exchanging facts with preferred facts. In this setting, it is known that there is a fixed schema (i.e., signature and functional dependencies) where globally-optimal repair-checking is coNP-complete.Our main result is a dichotomy in complexity: for each fixed relational signature and each fixed set of functional dependencies, the globally-optimal repair-checking problem either is solvable in polynomial time or is coNP-complete. Specifically, the problem is solvable in polynomial time if for each relation symbol in the signature, the functional dependencies are equivalent to either a single functional dependency or to a set of two key constraints; in all other cases, the globally-optimal repair-checking problem is coNP-complete. We also show that there is a polynomial-time algorithm for distinguishing between the tractable and the intractable cases. The setup of preferred repairs assumes that preferences are only between conflicting facts. In the last part of the paper, we investigate the effect of this assumption on the complexity of globally-optimal repair checking. With this assumption relaxed, we give another dichotomy theorem and another polynomial-time distinguishing algorithm. Interestingly, the two dichotomies turn out to have quite different conditions for distinguishing tractability from intractability." @default.
• W2021002502 created "2016-06-24" @default.
• W2021002502 creator A5006706357 @default.
• W2021002502 creator A5027117465 @default.
• W2021002502 creator A5041825861 @default.
• W2021002502 date "2015-05-20" @default.
• W2021002502 modified "2023-09-23" @default.
• W2021002502 title "Dichotomies in the Complexity of Preferred Repairs" @default.
• W2021002502 cites W1967693793 @default.
• W2021002502 cites W1969595233 @default.
• W2021002502 cites W1978460233 @default.
• W2021002502 cites W1985581502 @default.
• W2021002502 cites W1986891954 @default.
• W2021002502 cites W1994353670 @default.
• W2021002502 cites W2077518845 @default.
• W2021002502 cites W2080137646 @default.
• W2021002502 cites W2116548113 @default.
• W2021002502 cites W2133328255 @default.
• W2021002502 cites W2149799241 @default.
• W2021002502 cites W2150339067 @default.
• W2021002502 doi "https://doi.org/10.1145/2745754.2745762" @default.
• W2021002502 hasPublicationYear "2015" @default.
• W2021002502 type Work @default.
• W2021002502 sameAs 2021002502 @default.
• W2021002502 citedByCount "27" @default.
• W2021002502 countsByYear W20210025022015 @default.
• W2021002502 countsByYear W20210025022016 @default.
• W2021002502 countsByYear W20210025022017 @default.
• W2021002502 countsByYear W20210025022018 @default.
• W2021002502 countsByYear W20210025022019 @default.
• W2021002502 countsByYear W20210025022020 @default.
• W2021002502 countsByYear W20210025022021 @default.
• W2021002502 crossrefType "proceedings-article" @default.
• W2021002502 hasAuthorship W2021002502A5006706357 @default.
• W2021002502 hasAuthorship W2021002502A5027117465 @default.
• W2021002502 hasAuthorship W2021002502A5041825861 @default.
• W2021002502 hasConcept C113954288 @default.
• W2021002502 hasConcept C177264268 @default.
• W2021002502 hasConcept C199360897 @default.
• W2021002502 hasConcept C23123220 @default.
• W2021002502 hasConcept C26320393 @default.
• W2021002502 hasConcept C33762810 @default.
• W2021002502 hasConcept C38652104 @default.
• W2021002502 hasConcept C41008148 @default.
• W2021002502 hasConcept C52146309 @default.
• W2021002502 hasConcept C5655090 @default.
• W2021002502 hasConcept C77088390 @default.
• W2021002502 hasConcept C80444323 @default.
• W2021002502 hasConceptScore W2021002502C113954288 @default.
• W2021002502 hasConceptScore W2021002502C177264268 @default.
• W2021002502 hasConceptScore W2021002502C199360897 @default.
• W2021002502 hasConceptScore W2021002502C23123220 @default.
• W2021002502 hasConceptScore W2021002502C26320393 @default.
• W2021002502 hasConceptScore W2021002502C33762810 @default.
• W2021002502 hasConceptScore W2021002502C38652104 @default.
• W2021002502 hasConceptScore W2021002502C41008148 @default.
• W2021002502 hasConceptScore W2021002502C52146309 @default.
• W2021002502 hasConceptScore W2021002502C5655090 @default.
• W2021002502 hasConceptScore W2021002502C77088390 @default.
• W2021002502 hasConceptScore W2021002502C80444323 @default.
• W2021002502 hasLocation W20210025021 @default.
• W2021002502 hasOpenAccess W2021002502 @default.
• W2021002502 hasPrimaryLocation W20210025021 @default.
• W2021002502 hasRelatedWork W1545910533 @default.
• W2021002502 hasRelatedWork W1967693793 @default.
• W2021002502 hasRelatedWork W1978460233 @default.
• W2021002502 hasRelatedWork W1985239372 @default.
• W2021002502 hasRelatedWork W2036118854 @default.
• W2021002502 hasRelatedWork W2038993620 @default.
• W2021002502 hasRelatedWork W2044469685 @default.
• W2021002502 hasRelatedWork W2045054164 @default.
• W2021002502 hasRelatedWork W2047745978 @default.
• W2021002502 hasRelatedWork W2077518845 @default.
• W2021002502 hasRelatedWork W2081186682 @default.
• W2021002502 hasRelatedWork W2103775650 @default.
• W2021002502 hasRelatedWork W2116548113 @default.
• W2021002502 hasRelatedWork W2133328255 @default.
• W2021002502 hasRelatedWork W2153531471 @default.
• W2021002502 hasRelatedWork W2163600218 @default.
• W2021002502 hasRelatedWork W2172834723 @default.
• W2021002502 hasRelatedWork W2591700809 @default.
• W2021002502 hasRelatedWork W2612661634 @default.
• W2021002502 hasRelatedWork W1754725800 @default.
• W2021002502 isParatext "false" @default.
• W2021002502 isRetracted "false" @default.
• W2021002502 magId "2021002502" @default.
• W2021002502 workType "article" @default.