From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back.
Leopoldo E. BertossiBabak SalimiPublished in: Theory Comput. Syst. (2017)
Keyphrases
- database queries
- model based diagnosis
- repair actions
- discrete event systems
- database
- model based reasoning
- databases
- consistency based diagnosis
- dynamic systems
- diagnostic reasoning
- integrity constraints
- physical systems
- fault localization
- constraint programming
- diagnostic systems
- complex systems
- failure diagnosis
- horn clauses
- digital circuits
- model checking
- fault models
- knowledge based systems
- computational complexity
- query processing
- diagnostic process
- conflict resolution
- data warehouse
- hardware designs
- cooperative