This SpringerBrief proposes a general framework for reasoning about inconsistency in a wide varie...

The chase has long been used as a central tool to analyze dependencies and their effect on querie...

The use of logic in databases started in the late 1960s. In the early 1970s Codd formalized datab...