This Classic article is a reprint of the original work by Henry Chase Marble, Application of Curative Therapy in the Ward. An accompanying biographical sketch on Henry Chase Marble, MD, is available at DOI 10.1007/s11999-009-0789-7 . The Classic Article is (c)1920 by the Journal of Bone and Joint Surgery, Inc. and is reprinted with permission from Marble HC. Application of curative therapy in t...

Cite as: O " " ? B ! ! m " ' Proc. of 9th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2010) # $ $ % $ " & ! ' ()*(+ ,)() . / & / ' © ,)() ! "' 000& & & & g !N (& The search interest “Comedy Videos that contain a muscular guy who is chased by a small dog” can be represented as Comedy Video ∃ contain.(Small Dog ∃ chase.(Muscular Man)). On the other hand, the search interest “Com...

Two of the major problems raised by information incompleteness in databases are how to evaluate queries and how to take data dependencies into account. We give a unified solution of these two intermingled problems for the relational model. Formal criteria for the correctness of the relational algebra and dependency satisfaction are presented. We give a correct redefinition of the complete relat...

The problem of finding subclasses of XPath queries and document type definitions (DTDs) for which containment can be tested efficiently has been much studied. Along the way, a number of constraints inferred from DTDs have been used to characterise containment in terms of the chase procedure. However, previous attempts have resulted in procedures that are non-terminating for cyclic DTDs, even wh...

Chase procedures are well-known decision and semi-decision procedures for the implication problem among dependencies, a specific type of first-order logic formulas, that are used for expressing database constraints. Of course, the implication problem can also be treated by general refutationally complete inference systems, like resolution with paramodulation. Recently the inference rule of basi...