A Rule-Based Approach to Analyzing Database Schema Objects with Datalog

Database schema elements such as tables, views, triggers and functions are typically defined with many interrelationships. In order to support database users in understanding a given schema, a rule-based approach for analyzing the respective dependencies is proposed using Datalog expressions. We show that many interesting properties of schema elements can be systematically determined this way. The expressiveness of the proposed analysis is exemplarily shown with the problem of computing induced functional dependencies for derived relations. The propagation of functional dependencies plays an important role in data integration and query optimization but represents an undecidable problem in general. And yet, our rule-based analysis covers all relational operators as well as linear recursive expressions in a systematic way showing the depth of analysis possible by our proposal. The analysis of functional dependencies is well-integrated in a uniform approach to analyzing dependencies between schema elements in general.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Sulfur reduction in sediments of marine and evaporite environments

Transformations of sulfur in sediments of ponds ranging in salinities from that of normal seawater to those of brines saturated with sodium chloride were examined. The chemistry of the sediment and pore waters were focused on with emphasis on the fate of sulfate reduction. The effects of increasing salinity on both forms of sulfur and microbial activity were determined. A unique set of chemical profiles and sulfate-reducing activity was found for the sediments of each of the sites examined. The quantity of organic matter in the salt pond sediments was significantly greater than that occurring in the adjacent intertidal site. The total quantitative and qualitative distribution of volatile fatty acids was also greater in the salt ponds. Volatile fatty acids increased with salinity

Modelling the atomic structure of very high-density amorphous ice

The structure of very high-density amorphous (VHDA) ice has been modelled by positionally disordering three crystalline phases, namely ice IV, VI and XII. These phases were chosen because only they are stable or metastable in the region of the ice phase diagram where VHDA ice is formed, and their densities are comparable to that of VHDA ice. An excellent fit to the medium range of the experimentally observed pair-correlation function g(r) of VHDA ice was obtained by introducing disorder into the positions of the H2O molecules, as well as small amounts of molecular rotational disorder, disorder in the O--H bond lengths and disorder in the H--O--H bond angles. The low-k behaviour of the experimental structure factor, S(k), is also very well reproduced by this disordered-crystal model. The fraction of each phase present in the best-fit disordered model is very close to that observed in the probable crystallization products of VHDA ice. In particular, only negligible amounts of ice IV are predicted, in accordance with experimental observation.Comment: 4 pages, 3 figures, 1 table, v2: changes made in response to referees' comments, the justification for using certain ice phases is improved, and ice IV is now disordered as wel

Simulation Subsumption or Déjà vu on the Web

Simulation unification is a special kind of unification adapted to retrieving semi-structured data on the Web. This article introduces simulation subsumption, or containment, that is, query subsumption under simulation unification. Simulation subsumption is crucial in general for query optimization, in particular for optimizing pattern-based search engines, and for the termination of recursive rule-based web languages such as the XML and RDF query language Xcerpt. This paper first motivates and formalizes simulation subsumption. Then, it establishes decidability of simulation subsumption for advanced query patterns featuring descendant constructs, regular expressions, negative subterms (or subterm exclusions), and multiple variable occurrences. Finally, we show that subsumption between two query terms can be decided in O(n!n) where n is the sum of the sizes of both query terms

Macro- and micro-strain in GaN nanowires on Si(111)

We analyze the strain state of GaN nanowire ensembles by x-ray diffraction. The nanowires are grown by molecular beam epitaxy on a Si(111) substrate in a self-organized manner. On a macroscopic scale, the nanowires are found to be free of strain. However, coalescence of the nanowires results in micro-strain with a magnitude from +-0.015% to +-0.03%.This micro-strain contributes to the linewidth observed in low-temperature photoluminescence spectra

Crystal structures and proton dynamics in potassium and cesium hydrogen bistrifluoroacetate salts with strong symmetric hydrogen bonds

The crystal structures of potassium and cesium bistrifluoroacetates were determined at room temperature and at 20 K and 14 K, respectively, with the single crystal neutron diffraction technique. The crystals belong to the I2/a and A2/a monoclinic space groups, respectively, and there is no visible phase transition. For both crystals, the trifluoroacetate entities form dimers linked by very short hydrogen bonds lying across a centre of inversion. Any proton disorder or double minimum potential can be rejected. The inelastic neutron scattering spectral profiles in the OH stretching region between 500 and 1000 cm^{-1} previously published [Fillaux and Tomkinson, Chem. Phys. 158 (1991) 113] are reanalyzed. The best fitting potential has the major characteristics already reported for potassium hydrogen maleate [Fillaux et al. Chem. Phys. 244 (1999) 387]. It is composed of a narrow well containing the ground state and a shallow upper part corresponding to dissociation of the hydrogen bond.Comment: 31 pages, 7 figure