Abstract:
We present two techniques of reasoning about diagnosis. The first uses relational databases to represent the I/O relations of a component, and then uses SQL queries to represent the behavior of a system. The second technique uses constraint logic programming to detect faults. Our diagnosis algorithms exploit the inference capabilities entailed in these relational and constraint languages.