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

Finite-dimensional states and entanglement generation for a nonlinear coupler

We discuss a system comprising two nonlinear (Kerr-like) oscillators coupled mutually by a nonlinear interaction. The system is excited by an external coherent field that is resonant to the frequency of one of the oscillators. We show that the coupler evolution can be closed within a finite set of $n$-photon states, analogously as in the \textit{nonlinear quantum scissors} model. Moreover, for this type of evolution our system can be treated as a \textit{Bell-like states} generator. Thanks to the nonlinear nature of both: oscillators and their internal coupling, these states can be generated even if the system exhibits its energy dissipating nature, contrary to systems with linear couplings.Comment: Accepted for publication in Physical Review

Contact force sensing in ablation of ventricular arrhythmias using a 56-hole open-irrigation catheter: a propensity-matched analysis.

PURPOSE: The effect of adding contact force (CF) sensing to 56-hole tip irrigation in ventricular arrhythmia (VA) ablation has not been previously studied. We aimed to compare outcomes with and without CF sensing in VA ablation using a 56-hole radiofrequency (RF) catheter. METHODS: A total of 164 patients who underwent first-time VA ablation using Thermocool SmartTouch Surround Flow (TC-STSF) catheter (Biosense-Webster, Diamond Bar, CA, USA) were propensity-matched in a 1:1 fashion to 164 patients who had first-time ablation using Thermocool Surround Flow (TC-SF) catheter. Patients were matched for age, gender, cardiac aetiology, ejection fraction and approach. Acute success, complications and long-term follow-up were compared. RESULTS: There was no difference between procedures utilising either TC-SF or TC-STSF in acute success (TC-SF: 134/164 (82%), TC-STSF: 141/164 (86%), p = 0.3), complications (TC-SF: 11/164 (6.7%), TC-STSF: 11/164 (6.7%), p = 1.0) or VA-free survival (TC-SF: mean arrhythmia-free survival time = 5.9 years, 95% CI = 5.4-6.4, TC-STSF: mean = 3.2 years, 95% CI = 3-3.5, log-rank p = 0.74). Fluoroscopy time was longer in normal hearts with TC-SF (19 min, IQR: 14-30) than TC-STSF (14 min, IQR: 8-25; p = 0.04). CONCLUSION: Both TC-SF and TC-STSF catheters are safe and effective in treating VAs. The use of CF sensing catheters did not improve safety or acute and long-term outcomes, but reduced fluoroscopy time in normal heart VA

Five-loop renormalization-group expansions for the three-dimensional n-vector cubic model and critical exponents for impure Ising systems

The renormalization-group (RG) functions for the three-dimensional n-vector cubic model are calculated in the five-loop approximation. High-precision numerical estimates for the asymptotic critical exponents of the three-dimensional impure Ising systems are extracted from the five-loop RG series by means of the Pade-Borel-Leroy resummation under n = 0. These exponents are found to be: \gamma = 1.325 +/- 0.003, \eta = 0.025 +/- 0.01, \nu = 0.671 +/- 0.005, \alpha = - 0.0125 +/- 0.008, \beta = 0.344 +/- 0.006. For the correction-to-scaling exponent, the less accurate estimate \omega = 0.32 +/- 0.06 is obtained.Comment: 11 pages, LaTeX, no figures, published versio

First Experimental Evidence for Chaos-Assisted Tunneling in a Microwave Annular Billiard

We report on first experimental signatures for chaos-assisted tunneling in a two-dimensional annular billiard. Measurements of microwave spectra from a superconducting cavity with high frequency resolution are combined with electromagnetic field distributions experimentally determined from a normal conducting twin cavity with high spatial resolution to resolve eigenmodes with properly identified quantum numbers. Distributions of so-called quasi-doublet splittings serve as basic observables for the tunneling between whispering gallery type modes localized to congruent, but distinct tori which are coupled weakly to irregular eigenstates associated with the chaotic region in phase space.Comment: 5 pages RevTex, 5 low-resolution figures (high-resolution figures: http://linac.ikp.physik.tu-darmstadt.de/heiko/chaospub.html, to be published in Phys. Rev. Let

A comparison of the Gurevich et al. and the Liu-Jew wake models for the ion flux around a satellite

Observations of ion currents obtained by a retarding potential analyzer on board the Explorer 31 Satellite were used to compare the Liu-Jew and Gurevich et al. wake models with experiment. The quantitative degree of agreement is shown and discussed. The Gurevich et al. `neutral approximation' was tested via the observations and was found to be fairly good for regions where the hydrogen ions constitute more than 20 per cent of the plasma and the Mach number is low. For the case of high Mach number, the Liu-Jew computations are in better agreement with the observations over the angle of attack range which could be studied, namely, 100[deg]-130[deg].Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/22093/1/0000517.pd

An international comparative study of blood pressure in populations of European vs. African descent

Background: The consistent finding of higher prevalence of hypertension in US blacks compared to whites has led to speculation that African-origin populations are particularly susceptible to this condition. Large surveys now provide new information on this issue. Methods: Using a standardized analysis strategy we examined prevalence estimates for 8 white and 3 black populations (N = 85,000 participants). Results: The range in hypertension prevalence was from 27 to 55% for whites and 14 to 44% for blacks. Conclusions: These data demonstrate that not only is there a wide variation in hypertension prevalence among both racial groups, the rates among blacks are not unusually high when viewed internationally. These data suggest that the impact of environmental factors among both populations may have been under-appreciated

Electrical detection of 31P spin quantum states

In recent years, a variety of solid-state qubits has been realized, including quantum dots, superconducting tunnel junctions and point defects. Due to its potential compatibility with existing microelectronics, the proposal by Kane based on phosphorus donors in Si has also been pursued intensively. A key issue of this concept is the readout of the P quantum state. While electrical measurements of magnetic resonance have been performed on single spins, the statistical nature of these experiments based on random telegraph noise measurements has impeded the readout of single spin states. In this letter, we demonstrate the measurement of the spin state of P donor electrons in silicon and the observation of Rabi flops by purely electric means, accomplished by coherent manipulation of spin-dependent charge carrier recombination between the P donor and paramagnetic localized states at the Si/SiO2 interface via pulsed electrically detected magnetic resonance. The electron spin information is shown to be coupled through the hyperfine interaction with the P nucleus, which demonstrates the feasibility of a recombination-based readout of nuclear spins