Transactions and updates in deductive databases

n this paper we develop a new approach providing a smooth integration of extensional updates and declarative query language for deductive databases. The approach is based on a declarative speci cation of updates in rule bodies. Updates are not executed as soon are evaluated. Instead, they are collectedand then applied to the database when the query evaluation is completed. We call this approach non-immediate update semantics. We provide a top down and equivalent bottom-up semantics which re ect the corresponding computation models. We also package set of updates into transactions and we provide a formal semantics for transactions. Then, in order to handle complex transactions, we extend the transaction language with control constructors still perserving formal semantics and semantics equivalence

Uncertainty in Semantic Schema Integration

In this paper we present a new method of semantic schema integration, based on uncertain semantic mappings. The purpose of semantic schema integration is to produce a unified representation of multiple data sources. First, schema matching is performed to identify the semantic mappings between the schema objects. Then, an integrated schema is produced during the schema merging process based on the identified mappings. If all semantic mappings are known, schema merging can be performed (semi-)automatically

MeltMigrator : a MATLAB-based software for modeling three-dimensional melt migration and crustal thickness variations at mid-ocean ridges following a rules-based approach

Author Posting. © American Geophysical Union, 2017. This article is posted here by permission of American Geophysical Union for personal use, not for redistribution. The definitive version was published in Geochemistry, Geophysics, Geosystems 18 (2017): 445–456, doi:10.1002/2016GC006686.MeltMigrator is a MATLAB®-based melt migration software developed to process three-dimensional mantle temperature and velocity data from user-supplied numerical models of mid-ocean ridges, calculate melt production and melt migration trajectories in the mantle, estimate melt flux along plate boundaries, and predict crustal thickness distribution on the seafloor. MeltMigrator is also capable of calculating compositional evolution depending on the choice of petrologic melting model. Programmed in modules, MeltMigrator is highly customizable and can be expanded to a wide range of applications. We have applied it to complex mid-ocean ridge model settings, including transform faults, oblique segments, ridge migration, asymmetrical spreading, background mantle flow, and ridge-plume interaction. In this technical report, we include an example application to a segmented mid-ocean ridge. MeltMigrator is available as a supplement to this paper, and it is also available from GitHub and the University of Maryland Geodynamics Group website.National Science Foundation Grant Number: OCE-0937277 and OCE-14582012017-07-2

The Paths to Choreography Extraction

Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification (e.g., Multiparty Session Types) and synthesis of correct-by-construction software (Choreographic Programming). They require a top-down approach: programmers first write choreographies, and then use them to verify or synthesize their programs. However, most existing software does not come with choreographies yet, which prevents their application. To attack this problem, we propose a novel methodology (called choreography extraction) that, given a set of programs or protocol specifications, automatically constructs a choreography that describes their behavior. The key to our extraction is identifying a set of paths in a graph that represents the symbolic execution of the programs of interest. Our method improves on previous work in several directions: we can now deal with programs that are equipped with a state and internal computation capabilities; time complexity is dramatically better; we capture programs that are correct but not necessarily synchronizable, i.e., they work because they exploit asynchronous communication

Reasoning About a Service-oriented Programming Paradigm

This paper is about a new way for programming distributed applications: the service-oriented one. It is a concept paper based upon our experience in developing a theory and a language for programming services. Both the theoretical formalization and the language interpreter showed us the evidence that a new programming paradigm exists. In this paper we illustrate the basic features it is characterized by

Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries

The algebraic approach for provenance tracking, originating in the semiring model of Green et. al, has proven useful as an abstract way of handling metadata. Commutative Semirings were shown to be the "correct" algebraic structure for Union of Conjunctive Queries, in the sense that its use allows provenance to be invariant under certain expected query equivalence axioms. In this paper we present the first (to our knowledge) algebraic provenance model, for a fragment of update queries, that is invariant under set equivalence. The fragment that we focus on is that of hyperplane queries, previously studied in multiple lines of work. Our algebraic provenance structure and corresponding provenance-aware semantics are based on the sound and complete axiomatization of Karabeg and Vianu. We demonstrate that our construction can guide the design of concrete provenance model instances for different applications. We further study the efficient generation and storage of provenance for hyperplane update queries. We show that a naive algorithm can lead to an exponentially large provenance expression, but remedy this by presenting a normal form which we show may be efficiently computed alongside query evaluation. We experimentally study the performance of our solution and demonstrate its scalability and usefulness, and in particular the effectiveness of our normal form representation

Old subjects with sepsis in the emergency department: Trend analysis of case fatality rate

Background: The burden of sepsis represents a global health care problem. We aimed to assess the case fatality rate (CFR) and its predictors in subjects with sepsis admitted to a general Italian hospital from 2009 to 2016, stratified by risk score. Methods: We performed a retrospective analysis of all sepsis-related hospitalizations after Emergency Department (ED) visit in a public Italian hospital in an 8-year period. A risk score to predict CFR was computed by logistic regression analysis of selected variables in a training set (2009-2012), and then confirmed in the whole study population. A trend analysis of CFR during the study period was performed dividing patient as high-risk (upper tertile of risk score) or low-risk. Results: Two thousand four hundred ninety-two subjects were included. Over time the incidental admission rate (no. of sepsis-related admissions per 100 total admissions) increased from 4.1% (2009-2010) to 5.4% (2015-2016); P < 0.001, accompanied by a reduced CFR (from 38.0 to 18.4%; P < 0.001). A group of 10 variables (admission to intensive care unit, cardio-vascular dysfunction, HIV infection, diabetes, age 65 80 years, respiratory diseases, number of organ dysfunction, digestive diseases, dementia and cancer) were selected by the logistic model to predict CFR with good accuracy: AUC 0.873 [0.009]. Along the years CFR decreased from 31.8% (2009-2010) to 25.0% (2015-2016); P = 0.007. The relative proportion of subjects 6580 years (overall, 52.9% of cases) and classified as high-risk did not change along the years. CFR decreased only in low-risk subjects (from 13.3 to 5.2%; P < 0.001), and particularly in those aged 6580 (from 18.2 to 6.6%; P = 0.003), but not in high-risk individuals (from 69.9 to 64.2%; P = 0.713). Conclusion: Between 2009 and 2016 the incidence of sepsis-related hospitalization increased in a general Italian hospital, with a downward trend in CFR, only limited to low-risk patients and particularly to subjects 6580 years

Controls on melt migration and extraction at the ultraslow Southwest Indian Ridge 10°–16°E

Author Posting. © American Geophysical Union, 2011. This article is posted here by permission of American Geophysical Union for personal use, not for redistribution. The definitive version was published in Journal of Geophysical Research 116 (2011): B10102, doi:10.1029/2011JB008259.Crustal thickness variations at the ultraslow spreading 10–16°E region of the Southwest Indian Ridge are used to constrain melt migration processes. In the study area, ridge morphology correlates with the obliquity of the ridge axis with respect to the spreading direction. A long oblique “supersegment”, nearly devoid of magmatism, is flanked at either end by robust magmatic centers (Joseph Mayes Seamount and Narrowgate segment) of much lesser obliquity. Plate-driven mantle flow and temperature structure are calculated in 3-D based on the observed ridge segmentation. Melt extraction is assumed to occur in three steps: (1) vertical migration out of the melting region, (2) focusing along an inclined permeability barrier, and (3) extraction when the melt enters a region shallower than ∼35 km within 5 km of the ridge axis. No crust is predicted in our model along the oblique supersegment. The formation of Joseph Mayes Seamount is consistent with an on-axis melt anomaly induced by the local orthogonal spreading. The crustal thickness anomaly at Narrowgate results from melt extracted at a tectonic damage zone as it travels along the axis toward regions of lesser obliquity. Orthogonal spreading enhances the Narrowgate crustal thickness anomaly but is not necessary for it. The lack of a residual mantle Bouguer gravity high along the oblique supersegment can be explained by deep serpentization of the upper mantle permissible by the thermal structure of this ridge segment. Buoyancy-driven upwelling and/or mantle heterogeneities are not required to explain the extreme focusing of melt in the study area.This work was supported by grants OCE‐ 0623188 and OCE‐0937277 from the National Science Foundation

Structural changes and conductance thresholds in metal-free intrinsic SiOx resistive random access memory

We present an investigation of structural changes in silicon-rich silicon oxide metal-insulator-metal resistive RAM devices. The observed unipolar switching, which is intrinsic to the bulk oxide material and does not involve movement of metal ions, correlates with changes in the structure of the oxide. We use atomic force microscopy, conductive atomic force microscopy, x-ray photoelectron spectroscopy, and secondary ion mass spectroscopy to examine the structural changes occurring as a result of switching. We confirm that protrusions formed at the surface of samples during switching are bubbles, which are likely to be related to the outdiffusion of oxygen. This supports existing models for valence-change based resistive switching in oxides. In addition, we describe parallel linear and nonlinear conduction pathways and suggest that the conductance quantum, G0, is a natural boundary between the high and low resistance states of our devices