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

On positive solutions and the Omega limit set for a class of delay differential equations

This paper studies the positive solutions of a class of delay differential equations with two delays. These equations originate from the modeling of hematopoietic cell populations. We give a sufficient condition on the initial function for $t\leq 0$ such that the solution is positive for all time $t>0$. The condition is "optimal". We also discuss the long time behavior of these positive solutions through a dynamical system on the space of continuous functions. We give a characteristic description of the $\omega$ limit set of this dynamical system, which can provide informations about the long time behavior of positive solutions of the delay differential equation.Comment: 15 pages, 2 figure

Liquid drop splashing on smooth, rough and textured surfaces

Splashing occurs when a liquid drop hits a dry solid surface at high velocity. This paper reports experimental studies of how the splash depends on the roughness and the texture of the surfaces as well as the viscosity of the liquid. For smooth surfaces, there is a "corona" splash caused by the presence of air surrounding the drop. There are several regimes that occur as the velocity and liquid viscosity are varied. There is also a "prompt" splash that depends on the roughness and texture of the surfaces. A measurement of the size distribution of the ejected droplets is sensitive to the surface roughness. For a textured surface in which pillars are arranged in a square lattice, experiment shows that the splashing has a four-fold symmetry. The splash occurs predominantly along the diagonal directions. In this geometry, two factors affect splashing the most: the pillar height and spacing between pillars.Comment: 9 pages, 11 figure

Comment on ``Measurement of the 3^3He mass diffusion coefficient in superfluid 4^4He over the 0.45--0.95 K temperature range

The role of 3He-3He collisions in our diffusion experiment is addressed and shown to not be relevant to the measurement of 3He diffusion against phonons in superfluid helium.Comment: Two pages, in Europhysics Letters forma

Matter-wave bistability in coupled atom-molecule quantum gases

We study the matter-wave bistability in coupled atom-molecule quantum gases, in which heteronuclear molecules are created via an interspecies Feshbach resonance involving either two-species Bose or two-species Fermi atoms at zero temperature. We show that the resonant two-channel Bose model is equivalent to the nondegenerate parametric down-conversion in quantum optics, while the corresponding Fermi model can be mapped to a quantum optics model that describes a single-mode laser field interacting with an ensemble of inhomogeneously broadened two-level atoms. Using these analogy and the fact that both models are subject to the Kerr nonlinearity due to the two-body s-wave collisions, we show that under proper conditions, the population in the molecular state in both models can be made to change with the Feshbach detuning in a bistable fashion.Comment: 6 pages, 5 figure