Michael K. Tschudi

  • Citations Per Year
Learn More
This paper describes the implementation of the Refined Triggering Graph (RTG) method for active rule termination analysis and provides an evaluation of the approach based on the application of the method to a sample active application. The RTG method has been defined in the context of an active-deductive, object-oriented database language known as CDOL(More)
Uncertainty in future water supplies for the Phoenix Metropolitan Area (Phoenix) are exacerbated by the near certainty of increased, future water demands; water demand may increase eightfold or more by 2030 for some communities. We developed a provider-based water management and planning model for Phoenix termed WaterSim 4.0. The model combines a FORTRAN(More)
  • 1