We formalize the intuitive reasoning which we normally use to get convinced that a query has successful LD-derivations in a program. We give two suucient conditions: one for characterizing absence of nitely failing LD-derivations (FDs) and a weaker one for guaranteeing the presence of at least one successful LD-derivation if there are nite ones. These conditions can be useful both in verifying ...

A five year Joint Project between SASEX and the KwaZulu-Natal Department of Agriculture and Environmental Affairs was initiated in 1996, aimed at improving the crop production capabilities of small scale cane growers. As part of this Project, research trials were conducted to investigate the economics and practicalities of intercropping cane with food crops. Results from the first two years of ...

“ would prefer to spend . . . time discussing briefly our greatest need in hospital pharmacy— leadership.” This is a quote from Gloria Niemeyer Francke’s 1955 Whitney address, which is still appropriate. Leadership is just as critical today to our future success as it was in 1955. As a profession we need to thrive in order to continue to protect patients from medication harm and ensure the desi...

We are no longer concerned just with living through our third decade but with how we are living through our sixth, seventh, and eighth. For many of us, physical survival is no longer the primary issue and attention has turned to the quality and nature of that survival, to patterns of development, and to what comprises successful aging. To be concerned with such issues is a luxury as there are s...