We study the termination problem of the chase algorithm, a central tool in various database problems such as the constraint implication problem, Conjunctive Query optimization, rewriting queries using views, data exchange, and data integration. The basic idea of the chase is, given a database instance and a set of constraints as input, to fix constraint violations in the database instance. It i...

Metabolic rates of aquatic organisms are estimated from measurements of oxygen consumption rates ( ) through swimming and resting respirometry. These distinct approaches are increasingly used in ecophysiology and conservation physiology studies; however, few studies have tested whether they yield comparable results. We examined whether two fundamental measures, standard metabolic rate (SMR) and...

Intracellular transport of secretory proteins has been studied in the parotid to examine this process in an exocrine gland other than the pancreas and to explore a possible source of less degraded membranes than obtainable from the latter gland. Rabbit parotids were chosen on the basis of size (2-2.5 g per animal), ease of surgical removal, and amylase concentration. Sites of synthesis, rates o...

Existential rules have been proposed for representing ontological knowledge, specifically in the context of OntologyBased Data Access. Entailment with existential rules is undecidable. We focus in this paper on conditions that ensure the termination of a breadth-first forward chaining algorithm known as the chase. Several variants of the chase have been proposed. In the first part of this paper...