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

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

Coupled role of alloying and manufacturing on deep cryogenic treatment performance on high-alloyed ferrous alloys

This study focuses on influence of alloying content and type of manufacturing on the effectiveness of deep cryogenic treatment (DCT) on properties of selected high-alloyed ferrous alloys (HAFA): EN HS6-5-2, EN HS6-5-2-5, EN HS6-5-3 and EN HS12-1-4. In order to evaluate the dependency of DCT performance on chemical composition and manufacturing type, the microstructure, hardness, impact and fracture toughness and fatigue properties were analyzed. Additionally, the fatigue data was evaluated using an adapted strain-life model in order to understand the unique effects of DCT with selected factors and provide a model for estimating the fatigue limit of DCT HAFA. The study indicates that DCT affects carbide precipitation, size and morphology of nanocarbides, average distance between carbides and nanocarbides, as well as the base matrix (martensitic laths). The induced microstructural changes cause an overall positive change of mechanical properties in selected HAFA, which correlates well with individual alloying and manufacturing differences. Overall, DCT has greater effect on wrought HAFA than powder metallurgy manufactured HAFA, at which high content of W and Co generally degenerates the DCT induced microstructure modifications

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

Ab-initio study of structure and dynamics properties of crystalline ice

We investigated the structural and dynamical properties of a tetrahedrally coordinated crystalline ice from first principles based on density functional theory within the generalized gradient approximation with the projected augmented wave method. First, we report the structural behaviour of ice at finite temperatures based on the analysis of radial distribution functions obtained by molecular dynamics simulations. The results show how the ordering of the hydrogen bonding breaks down in the tetrahedral network of ice with entropy increase in agreement with the neutron diffraction data. We also calculated the phonon spectra of ice in a 3x1x1 supercell by using the direct method. So far, due to the direct method used in this calculation, the phonon spectra is obtained without taking into account the effect of polarization arising from dipole-dipole interactions of water molecules which is expected to yield the splitting of longitudinal and transverse optic modes at the Gamma-point. The calculated longitudinal acoustic velocities from the initial slopes of the acoustic mode is in a reasonable agreement with the neutron scatering data. The analysis of the vibrational density of states shows the existence of a boson peak at low energy of translational region a characteristic common to amorphous systems.Comment: International symposium on structure and dynamics of heterogeneous system SDHS'0

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