English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

This paper revisits the problem of repairing and querying inconsistentdatabases equipped with universal constraints. We adopt symmetric differencerepairs, in which both deletions and additions of facts can be used to restoreconsistency, and suppose that preferred repair actions are specified via abinary priority relation over (negated) facts. Our first contribution is toshow how existing notions of optimal repairs, defined for simpler denialconstraints and repairs solely based on fact deletion, can be suitably extendedto our richer setting. We next study the computational properties of theresulting repair notions, in particular, the data complexity of repair checkingand inconsistency-tolerant query answering. Finally, we clarify therelationship between optimal repairs of prioritized databases and repairnotions introduced in the framework of active integrity constraints. Inparticular, we show that Pareto-optimal repairs in our setting correspond tofounded, grounded and justified repairs w.r.t. the active integrity constraintsobtained by translating the prioritized database. Our study also yields usefulinsights into the behavior of active integrity constraints.

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints