The initial and basic role of the chase procedure was to test logical implication between sets of dependencies in order to determine equivalence of database instances known to satisfy a given set of dependencies and to determine query equivalence under database constrains. Recently the chase procedure has experienced a revival due to its application in data exchange. In this chapter we review t...

The chase procedure is an indispensable tool for several database applications, where its termination guarantees decidability of these tasks. Most previous studies have focused on the skolem chase variant and its termination. It is known that the standard chase variant is more powerful in termination analysis provided a database is given. But all-instance termination analysis presents a challen...

Senior Consultant with Bitrán g Asociados in Santiago, Chile; Paavo Monkkonen worked on this chapter while working as a Consultant for the World Bank. This chapter is based largely on material contained in a background paper written for this report by Bitrán, Giedion, and Valenzuela (2003). The chapter benefited from the comments and suggestions of Isabela Danel and Marianne Fay. 5 Keeping Heal...

type II diabetes5. However, like most proteases, a complete picture of the targets of DPP4 is lacking, which makes it difficult to anticipate metabolic function has prompted the development of a number of small-molecule inhibitors of DPP4, including sitagliptin (Januvia), which was recently approved by the US Food Proteases are enzymes that perform the basic task of cutting up other proteins an...