2. The method of claim 1, wherein the identifying step comprises: generating an automaton based on the desired information; generating the composite automaton by combining a schema of the database with the automaton; and analyzing the composite automaton to identify broken paths.
7. The method of claim 2, wherein the generating a composite automaton step comprises: generating product states, each of the product states corresponding to a state from the schema and a state from the automaton; and connecting the product states together with transitions based on transitions of the schema and the automaton.