This paper presents an extended Clausal Database Model for a logic programming language. Instead of being restricted to one global database, as is the case with Prolog, we allow segmentation of the database into database units which are linked together into a semi-lattice. Each database unit defines a database view which includes clauses which have been asserted into that unit as well as clause...

BACKGROUND Huangqi injection is derived from Astragalus membranaceus root. In China, recent reports of Huangqi injection for the treatment of leucopenia have emerged. However, a systematic review of these reports has not been performed. Thus, we conducted a meta-analysis of clinical controlled trials to assess the clinical value of Huangqi injection in the treatment of leucopenia. METHODS We ...

Large database schemata can be drastically simplified if techniques of modular and structural modeling are used. Applications and thus schemata have an inner meta-structure. The explicit treatment of the inner structuring may be used during development of large database schemata and may ease the development to a large extent. It is surprising that dimensions and internal separations have not be...

Some studies have reported that angiotensin converting enzyme (ACE) and angiotensinogen (AGT) genes have been associated with hypertrophic cardiomyopathy (HCM). However, there have been inconsonant results among different studies. To clarify the influence of ACE and AGT on HCM, a systemic review and meta-analysis of case-control studies were performed. The following databases were searched to i...

We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to represent information safety, and to derive answers to standard queries and to safety queries. The design of this logic is based on signaling act theory. Two strong simplifications lead to a logic S” with two modalities to ...

OBJECTIVE To examine how the results of network meta-analyses are reported. DESIGN Methodological systematic review of published reports of network meta-analyses. DATA SOURCES Cochrane Database of Systematic Reviews, Database of Abstracts of Reviews of Effects, Medline, and Embase, searched from inception to 12 July 2012. STUDY SELECTION All network meta-analyses comparing the clinical ef...

We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a database and an access policy specification. For processing access control requests we specialise the meta-program for a given access policy and database by using the logen partial evaluation system. The resulting speciali...

context hemorrhoidal disease is the most common anorectal disorder that requires surgical intervention. hemorrhoids require treatment when they result in symptoms such as bleeding or prolapse. surgical intervention is indicated for significant prolapse, and a number of accepted and viable methods are available for treating prolapsing hemorrhoids that do not reduce spontaneously (grade iii and i...

ion: Meta-data are given at different levels of abstraction, a conceptual (abstract) and a relational (executable) level. This makes an abstract case understandable and re-usable. Data documentation: All attributes together with the database tables and views, which are input to a preprocessing chain are explicitly listed at both, the conceptual and relational part of the meta-data level. An ont...