1. A method for analyzing ballistic trajectories comprising: determining, using a preprocessor, invariants for known ballistic object trajectories; defining, using the preprocessor, a reference graph having nodes and links corresponding to the invariants for the known ballistic object trajectories; defining, using the preprocessor, a query graph having nodes connected to the nodes of the reference graph corresponding to anticipated queries to be made using the query graph; inputting into the reference graph, using a runtime processor, a first set of invariants corresponding to a first observed object and traversing through the nodes of the reference graph based on the first set of invariants; inputting into the reference graph, using the runtime processor, one or more additional sets of invariants corresponding to one or more additional observed objects and, traversing through the nodes of the reference graph for each of the one or more additional observed objects based on the one or more additional sets of invariants; selecting, using an interface, a query for the query graph corresponding to the first set of invariants, said query generating a query result identifying the nodes of the reference graph that satisfy the query; determining, using the runtime processor, whether one or more invariants corresponding to one or more of the one or more additional sets of invariants corresponding to one or more of the one or more additional observed objects passed through the identified nodes; and determining, for each one of the one or more additional observed objects using the runtime processor, that the one of the one or more additional observed objects corresponding to one of the one or more additional sets of invariants is the same as the first observed object when the invariants of the one of the one or more additional observed objects caused traversal through the identified nodes.
1. A method for analyzing ballistic trajectories comprising: determining, using a preprocessor, invariants for known ballistic object trajectories; defining, using the preprocessor, a reference graph having nodes and links corresponding to the invariants for the known ballistic object trajectories; defining, using the preprocessor, a query graph having nodes connected to the nodes of the reference graph corresponding to anticipated queries to be made using the query graph; inputting into the reference graph, using a runtime processor, a first set of invariants corresponding to a first observed object and traversing through the nodes of the reference graph based on the first set of invariants; inputting into the reference graph, using the runtime processor, one or more additional sets of invariants corresponding to one or more additional observed objects and, traversing through the nodes of the reference graph for each of the one or more additional observed objects based on the one or more additional sets of invariants; selecting, using an interface, a query for the query graph corresponding to the first set of invariants, said query generating a query result identifying the nodes of the reference graph that satisfy the query; determining, using the runtime processor, whether one or more invariants corresponding to one or more of the one or more additional sets of invariants corresponding to one or more of the one or more additional observed objects passed through the identified nodes; and determining, for each one of the one or more additional observed objects using the runtime processor, that the one of the one or more additional observed objects corresponding to one of the one or more additional sets of invariants is the same as the first observed object when the invariants of the one of the one or more additional observed objects caused traversal through the identified nodes. 4. The method of claim 1 , wherein traversing through the nodes of the reference graph based on the first set of invariants further comprises storing for each traversed node a record of the first observed object corresponding to the first set of invariants; wherein, traversing through the nodes of the reference graph for each of the one or more additional observed objects further comprises storing, for each one of the one or more additional observed objects, in the each traversed node a record of the one of the one or more additional observed objects whose invariants caused traversal of the traversed node; and wherein determining whether one or more invariants corresponding to one or more of the one or more additional sets of invariants corresponding to one or more of the one or more additional observed objects passed through the identified nodes comprises determining whether a record of the one of the one or more additional observed objects was stored in the identified nodes.