78. The method of claim 77 , wherein said type of declarative system can be any of a simple formula, multi-source directional, or a constrained system.
77. The method of claim 74 , wherein said updating step comprises utilizing an optimization algorithm with a cost function to propagate the data modification.