From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back.
Babak SalimiLeopoldo E. BertossiPublished in: ICDT (2015)
Keyphrases
- database queries
- model based diagnosis
- repair actions
- model based reasoning
- database
- diagnostic reasoning
- dynamic systems
- databases
- integrity constraints
- fault localization
- diagnostic systems
- discrete event systems
- physical systems
- consistency based diagnosis
- digital circuits
- constraint programming
- hardware designs
- distributed systems
- expert systems
- horn clauses
- aggregation queries
- model checking
- diagnostic process
- failure diagnosis
- lower bound