This paper considers the problem of containment of conjunctive queries CQ with disjunctive integrity constraints Query containment problem in the pres ence of integrity constraints has been studied broadly especially with functional and inclusion dependencies However to handle incomplete information in the database disjunctions are needed to be expressed as integrity constraints In this paper w...

This paper considers the problem of containment of conjunctive queries (CQ) with disjunctive integrity constraints. Query containment problem in the presence of integrity constraints has been studied broadly, especially with functional and inclusion dependencies. However, to handle incomplete information in the database, disjunctions are needed to be expressed as integrity constraints. In this ...

Wild poliovirus type-2 has been eradicated, use of live type-2 vaccine has been terminated globally, and all type-2 polioviruses are under strict laboratory containment protocols. Re-emergence may arise from prolonged asymptomatic excretion of poliovirus by hospitalised primary immune deficient (PID) patients, as described here, through repeated exposure of close contacts to high titres of infe...

We discuss containment checking for regular expressions with operators like XML Schema’s xs:all, that is, the operator that allows a sequence of letters to occur in arbitrary order. In this report, we model this operator by &, and give several algorithms of containment checking for regular expressions with &. Our algorithms are based on the notion of the permutability of word languages. Keyword...

We study strategies for targeted layered containment of an influenza pandemic in three US cities: Miami, Seattle, and Chicago. Differences in demographic, geographic, and other structures lead to differences in the social interaction networks in the three cities. This has consequences for how the containment strategies should be applied to mitigate the spread. We use large-scale simulations to ...

We present an algorithm for the two-dimensional translational containmentproblem: nd translations for k polygons (with up tom vertices each) which place them inside a polygonal container (with n vertices) without overlapping. The polygons and container may be nonconvex. The containment algorithm consists of new algorithms for restriction, evaluation, and subdivision of two-dimensional con gurat...

BACKGROUND Invasive meningococcal disease (IMD) is a serious disease with a rapid onset, high mortality rate, and risk of long-term complications. Numerous reports in the literature conclude that IMD outbreaks are associated with substantial costs to society and significant burden on communities due to the cost associated with the prevention of secondary cases. OBJECTIVE To systematically rev...

The study of the containment of conjunctive queries containing inequalities (denoted inequality queries in this paper) was a thoroughly studied and long standing problem. In [3], we offered an exact condition, along with a procedure, to test query containment of this type of queries, using the idea of canonical databases. In this work, we present a different approach that is sensibly more effic...

BACKGROUND Urban containment policies attempt to manage the location, character, and timing of growth to support a variety of goals such as compact development, preservation of greenspace, and efficient use of infrastructure. Despite prior research evaluating the effects of urban containment policies on land use, housing, and transportation outcomes, the public health implications of these poli...