In the 2002 case Simat Corp v. Arizona Health Care Containment System, the Arizona Supreme Court ruled that the Arizona Health Care Containment System must pay for abortions when they are necessary to preserve the health of pregnant women in the system. In the case, the Court ruled that the Arizona Revised Statutes 35-196.02 and the Arizona Health Care Containment System (AHCCCS) policies, whic...

Higher-order transformations are ubiquitous within data management. In relational databases, higher-order queries appear in numerous aspects including query rewriting and query specification. This work investigates languages that combine higher-order transformations with ordinary relational database query languages. We study the two most basic computational problems associated with these query ...

Computer worms — malicious, self-propagating programs — represent a significant threat to large networks. One possible defense, containment, seeks to limit a worm’s spread by isolating it in a small subsection of the network. In this work we develop containment algorithms suitable for deployment in high-speed, low-cost network hardware. We show that these techniques can stop a scanning host aft...

We study the containment problem for a query language over probabilistic relational databases that allows queries like “is the probability that q1 holds greater than 0.2 and the probability that q2 holds greater than 0.6?” where q1 and q2 are Boolean conjunctive queries. In addition to being a fundamental problem in its own right, the containment problem is the key problem that an optimizer mus...

Uncertainty is an inherent feature of strategies to contain animal disease. In this paper, an interdisciplinary framework for representing strategies of containment, and analysing how uncertainties are embedded and propagated through them, is developed and illustrated. Analysis centres on persistent, periodic and emerging disease threats, with a particular focus on cryptosporidiosis, foot and m...

Simulating wildfire spread and containment remains a challenging problem due to the complexity of fire behavior. In this paper, the authors present an integrated simulation environment for surface wildfire spread and containment called DEVS-FIRE. DEVS-FIRE is based on the discrete event system specification (DEVS) and uses a cellular space model for simulating wildfire spread and agent models f...

In the 2002 case Simat Corp v. Arizona Health Care Containment System, the Arizona Supreme Court ruled that the Arizona Health Care Containment System must pay for abortions when they are necessary to preserve the health of pregnant women in the system. In the case, the Court ruled that the Arizona Revised Statutes 35-196.02 and the Arizona Health Care Containment System (AHCCCS) policies, whic...

Query containment for conjunctive queries is the problem of checking whether a query q is contained in another query q′ with respect to a given Description Logic schema S. It is known that query containment can also be used to answer queries. Query containment is important in many areas, including information integration, query optimisation, and reasoning about Entity-Relationship diagrams, whi...

Fault containment is an important constituent of fault tolerance. Means for fault containment allow a system to limit the impact of manifested faults to some predefined system boundaries. This document presents some of the best known techniques for fault containment formatted as design patterns. These patterns are elicited from the areas of self-stabilization, specification closure and fault to...

Optimisations of the state space of weak alternating parity automata (WAPA) are needed for example to speed up μTL model-checking algorithms which involve WAPA. It is assumed that deciding language containment for WAPA is helpful to perform such optimisations. In this paper the problem of language containment is reduced to the problem of computing winning sets in weak parity games. For the latt...