10. The device of claim 9, wherein the controller generates an automaton based on the desired information, generates the composite automaton by combining a schema of the database with the automaton, and analyzes the composite automaton to identify broken paths.
10. The device of claim 9, wherein the controller generates an automaton based on the desired information, generates the composite automaton by combining a schema of the database with the automaton, and analyzes the composite automaton to identify broken paths. 16. The device of claim 10, wherein the controller identifies at least one path of the composite automaton that does not terminate in a state that corresponds to a terminal state of the automaton and identifies the at least one path as one of the broken paths.