Structuring the process of integrity maintenance (extended version)

Two different approaches have been traditionally considered for dealing with the process of integrity constraints enforcement: integrity checking and integrity maintenance. However, while previous research in the first approach has mainly addressed efficiency issues, research in the second approach has been mainly concentrated in being able to generate all possible repairs that falsify an integrity constraint violation. In this paper we address efficiency issues during the process of integrity maintenance. In this sense, we propose a technique which improves efficiency of existing methods by defining the order in which maintenance of integrity constraints should be performed. Moreover, we use also this technique for being able to handle in an integrated way the integrity constraintsPostprint (published version

A Review of integrity constraint maintenance and view updating techniques

Two interrelated problems may arise when updating a database. On one hand, when an update is applied to the database, integrity constraints may become violated. In such case, the integrity constraint maintenance approach tries to obtain additional updates to keep integrity constraints satisfied. On the other hand, when updates of derived or view facts are requested, a view updating mechanism must be applied to translate the update request into correct updates of the underlying base facts. This survey reviews the research performed on integrity constraint maintenance and view updating. It is proposed a general framework to classify and to compare methods that tackle integrity constraint maintenance and/or view updating. Then, we analyze some of these methods in more detail to identify their actual contribution and the main limitations they may present.Postprint (published version

Contribución al conocimiento del buitre negro (Aegypius monachus) en Mallorca

Abstract not availabl

Multidimensional Josephson vortices in spin-orbit coupled Bose-Einstein condensates: snake instability and decay through vortex dipoles

We analyze the dynamics of Josephson vortex states in two-component Bose-Einstein condensates with Rashba-Dresselhaus spin-orbit coupling by using the Gross-Pitaevskii equation. In 1D, both in homogeneous and harmonically trapped systems, we report on stationary states containing doubly charged, static Josephson vortices. In multidimensional systems, we find stable Josephson vortices in a regime of parameters typical of current experiments with $^{87}$Rb atoms. In addition, we discuss the instability regime of Josephson vortices in disk-shaped condensates, where the snake instability operates and vortex dipoles emerge. We study the rich dynamics that they exhibit in different regimes of the spin-orbit coupled condensate depending on the orientation of the Josephson vortices.Comment: 11 pages. 12 figure