4,471 research outputs found
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
- …