Towards Intelligent Databases

This article is a presentation of the objectives and techniques of deductive databases. The deductive approach to databases aims at extending with intensional definitions other database paradigms that describe applications extensionaUy. We first show how constructive specifications can be expressed with deduction rules, and how normative conditions can be defined using integrity constraints. We outline the principles of bottom-up and top-down query answering procedures and present the techniques used for integrity checking. We then argue that it is often desirable to manage with a database system not only database applications, but also specifications of system components. We present such meta-level specifications and discuss their advantages over conventional approaches

Shift-Symmetric Configurations in Two-Dimensional Cellular Automata: Irreversibility, Insolvability, and Enumeration

The search for symmetry as an unusual yet profoundly appealing phenomenon, and the origin of regular, repeating configuration patterns have long been a central focus of complexity science and physics. To better grasp and understand symmetry of configurations in decentralized toroidal architectures, we employ group-theoretic methods, which allow us to identify and enumerate these inputs, and argue about irreversible system behaviors with undesired effects on many computational problems. The concept of so-called configuration shift-symmetry is applied to two-dimensional cellular automata as an ideal model of computation. Regardless of the transition function, the results show the universal insolvability of crucial distributed tasks, such as leader election, pattern recognition, hashing, and encryption. By using compact enumeration formulas and bounding the number of shift-symmetric configurations for a given lattice size, we efficiently calculate the probability of a configuration being shift-symmetric for a uniform or density-uniform distribution. Further, we devise an algorithm detecting the presence of shift-symmetry in a configuration. Given the resource constraints, the enumeration and probability formulas can directly help to lower the minimal expected error and provide recommendations for system's size and initialization. Besides cellular automata, the shift-symmetry analysis can be used to study the non-linear behavior in various synchronous rule-based systems that include inference engines, Boolean networks, neural networks, and systolic arrays.Comment: 22 pages, 9 figures, 2 appendice

A complementary view on the growth of directory trees

Trees are a special sub-class of networks with unique properties, such as the level distribution which has often been overlooked. We analyse a general tree growth model proposed by Klemm {\em et. al.} (2005) to explain the growth of user-generated directory structures in computers. The model has a single parameter $q$ which interpolates between preferential attachment and random growth. Our analysis results in three contributions: First, we propose a more efficient estimation method for $q$ based on the degree distribution, which is one specific representation of the model. Next, we introduce the concept of a level distribution and analytically solve the model for this representation. This allows for an alternative and independent measure of $q$. We argue that, to capture real growth processes, the $q$ estimations from the degree and the level distributions should coincide. Thus, we finally apply both representations to validate the model with synthetically generated tree structures, as well as with collected data of user directories. In the case of real directory structures, we show that $q$ measured from the level distribution are incompatible with $q$ measured from the degree distribution. In contrast to this, we find perfect agreement in the case of simulated data. Thus, we conclude that the model is an incomplete description of the growth of real directory structures as it fails to reproduce the level distribution. This insight can be generalised to point out the importance of the level distribution for modeling tree growth.Comment: 16 pages, 7 figure

Case study on the efficacy of a lanthanum-enriched clay (Phoslock®) in controlling eutrophication in Lake Het Groene Eiland (The Netherlands)

Lake Het Groene Eiland was created in the beginning of 2008 by construction of dikes for isolating it from the surrounding 220-ha water body. This so-called claustrum of 5 ha was treated using lanthanum-modified clay (Phoslock®) to control eutrophication and mitigate cyanobacterial nuisance. Cyanobacteria chlorophyll-a were significantly lower in the claustrum than those in the reference water body, where a massive bloom developed in summer, 2008. However, PO4-P and TP did not statistically differ in these two waters. TN and NO3-N were significantly lower in the claustrum, where dense submerged macrophytes beds developed. Lanthanum concentrations were elevated after the applications of the modified clay in the claustrum, but filterable lanthanum dropped rapidly below the Dutch standard of 10.1 μg l−1. During winter, dozens of Canada geese resided at the claustrum. Geese droppings contained an average of 2 mg PO4-P g−1 dry weight and 12 mg NH3-N g−1 dry weight and might present a growing source of nutrients to the water. Constructing the claustrum enabled unrestricted bathing in subsequent three summers, as no swimming bans had to be issued due to cyanobacteria blooms. However, the role of the modified clay in this positive outcome remains unclear, and longevity of the measures questionable.

Telomere Length Shows No Association with BRCA1 and BRCA2 Mutation Status

This study aimed to determine whether telomere length (TL) is a marker of cancer risk or genetic status amongst two cohorts of BRCA1 and BRCA2 mutation carriers and controls. The first group was a prospective set of 665 male BRCA1/2 mutation carriers and controls (mean age 53 years), all healthy at time of enrolment and blood donation, 21 of whom have developed prostate cancer whilst on study. The second group consisted of 283 female BRCA1/2 mutation carriers and controls (mean age 48 years), half of whom had been diagnosed with breast cancer prior to enrolment. TL was quantified by qPCR from DNA extracted from peripheral blood lymphocytes. Weighted and unweighted Cox regressions and linear regression analyses were used to assess whether TL was associated with BRCA1/2 mutation status or cancer risk. We found no evidence for association between developing cancer or being a BRCA1 or BRCA2 mutation carrier and telomere length. It is the first study investigating TL in a cohort of genetically predisposed males and although TL and BRCA status was previously studied in females our results don't support the previous finding of association between hereditary breast cancer and shorter TL

Models and metaphors: complexity theory and through-life management in the built environment

Complexity thinking may have both modelling and metaphorical applications in the through-life management of the built environment. These two distinct approaches are examined and compared. In the first instance, some of the sources of complexity in the design, construction and maintenance of the built environment are identified. The metaphorical use of complexity in management thinking and its application in the built environment are briefly examined. This is followed by an exploration of modelling techniques relevant to built environment concerns. Non-linear and complex mathematical techniques such as fuzzy logic, cellular automata and attractors, may be applicable to their analysis. Existing software tools are identified and examples of successful built environment applications of complexity modelling are given. Some issues that arise include the definition of phenomena in a mathematically usable way, the functionality of available software and the possibility of going beyond representational modelling. Further questions arising from the application of complexity thinking are discussed, including the possibilities for confusion that arise from the use of metaphor. The metaphor of a 'commentary machine' is suggested as a possible way forward and it is suggested that an appropriate linguistic analysis can in certain situations reduce perceived complexity

The polygenic nature of telomere length and the anti-ageing properties of lithium

Telomere length is a promising biomarker for age-related disease and a potential anti-ageing drug target. Here, we study the genetic architecture of telomere length and the repositioning potential of lithium as an anti-ageing medication. LD score regression applied to the largest telomere length genome-wide association study to-date, revealed SNP-chip heritability estimates of 7.29%, with polygenic risk scoring capturing 4.4% of the variance in telomere length in an independent cohort (p = 6.17 × 10-5). Gene-enrichment analysis identified 13 genes associated with telomere length, with the most significant being the leucine rich repeat gene, LRRC34 (p = 3.69 × 10-18). In the context of lithium, we confirm that chronic use in a sample of 384 bipolar disorder patients is associated with longer telomeres (p = 0.03). As complementary evidence, we studied three orthologs of telomere length regulators in a Caenorhabditis elegans model of lithium-induced extended longevity and found all transcripts to be affected post-treatment (p  0.05). Consequently, this suggests that lithium may be catalysing the activity of endogenous mechanisms that promote telomere lengthening, whereby its efficacy eventually becomes limited by each individual's inherent telomere maintenance capabilities. Our work indicates a potential use of polygenic risk scoring for the prediction of adult telomere length and consequently lithium's anti-ageing efficacy

Complexes Formed in Solution Between Vanadium(IV)/(V) and the Cyclic Dihydroxamic Acid Putrebactin or Linear Suberodihydroxamic Acid

The ability of microbial siderophores to coordinate metal ions, particularly Fe(III), continues to generate interest in the poten-tial applications of these bioligands in the environment and medicine.13 Siderophores produced by terrestrial and marin

The Interactive Effects of Ammonia and Microcystin on Life-History Traits of the Cladoceran Daphnia magna: Synergistic or Antagonistic?

The occurrence of Microcystis blooms is a worldwide concern that has caused numerous adverse effects on water quality and lake ecology. Elevated ammonia and microcystin concentrations co-occur during the degradation of Microcystis blooms and are toxic to aquatic organisms; we studied the relative and combined effects of these on the life history of the model organism Daphnia magna. Ammonia and microcystin-LR treatments were: 0, 0.366, 0.581 mg L−1 and 0, 10, 30, 100 µg L−1, respectively. Experiments followed a fully factorial design. Incubations were 14 d and recorded the following life-history traits: number of moults, time to first batch of eggs, time to first clutch, size at first batch of eggs, size at first clutch, number of clutches per female, number of offspring per clutch, and total offspring per female. Both ammonia and microcystin were detrimental to most life-history traits. Interactive effects of the toxins occurred for five traits: the time to first batch of eggs appearing in the brood pouch, time to first clutch, size at first clutch, number of clutches, and total offspring per female. The interactive effects of ammonia and microcystin appeared to be synergistic on some parameters (e.g., time to first eggs) and antagonistic on others (e.g., total offspring per female). In conclusion, the released toxins during the degradation of Microcystis blooms would result, according to our data, in substantially negative effect on D. magna