On the Analysis of Library Growth

Paper by H. L. Resnikoff and J. L. Dolb

Polynomial conjunctive query rewriting under unary inclusion dependencies

Ontology-based data access (OBDA) is widely accepted as an important ingredient of the new generation of information systems. In the OBDA paradigm, potentially incomplete relational data is enriched by means of ontologies, representing intensional knowledge of the application domain. We consider the problem of conjunctive query answering in OBDA. Certain ontology languages have been identified as FO-rewritable (e.g., DL-Lite and sticky-join sets of TGDs), which means that the ontology can be incorporated into the user's query, thus reducing OBDA to standard relational query evaluation. However, all known query rewriting techniques produce queries that are exponentially large in the size of the user's query, which can be a serious issue for standard relational database engines. In this paper, we present a polynomial query rewriting for conjunctive queries under unary inclusion dependencies. On the other hand, we show that binary inclusion dependencies do not admit polynomial query rewriting algorithms

I\u27ll Come Home My Love To Thee

Title with brown border and flowers at top and bottomhttps://scholarsjunction.msstate.edu/cht-sheet-music/6468/thumbnail.jp

Ontology-based data access: ontop of databases

We present the architecture and technologies underpinning the OBDA system Ontop and taking full advantage of storing data in relational databases. We discuss the theoretical foundations of Ontop: the tree-witness query rewriting, T-mappings and optimisations based on database integrity constraints and SQL features. We analyse the performance of Ontop in a series of experiments and demonstrate that, for standard ontologies, queries and data stored in relational databases, Ontop is fast, efficient and produces SQL rewritings of high quality

Circuit Complexity Meets Ontology-Based Data Access

Ontology-based data access is an approach to organizing access to a database augmented with a logical theory. In this approach query answering proceeds through a reformulation of a given query into a new one which can be answered without any use of theory. Thus the problem reduces to the standard database setting. However, the size of the query may increase substantially during the reformulation. In this survey we review a recently developed framework on proving lower and upper bounds on the size of this reformulation by employing methods and results from Boolean circuit complexity.Comment: To appear in proceedings of CSR 2015, LNCS 9139, Springe

Ontology-based data access with databases: a short course

Ontology-based data access (OBDA) is regarded as a key ingredient of the new generation of information systems. In the OBDA paradigm, an ontology defines a high-level global schema of (already existing) data sources and provides a vocabulary for user queries. An OBDA system rewrites such queries and ontologies into the vocabulary of the data sources and then delegates the actual query evaluation to a suitable query answering system such as a relational database management system or a datalog engine. In this chapter, we mainly focus on OBDA with the ontology language OWL 2QL, one of the three profiles of the W3C standard Web Ontology Language OWL 2, and relational databases, although other possible languages will also be discussed. We consider different types of conjunctive query rewriting and their succinctness, different architectures of OBDA systems, and give an overview of the OBDA system Ontop

Sex and the Cinema: What American Pie Teaches the Young

This paper focuses upon the wildly successful blockbuster American Pie teenpics, especially American Pie 3 – the Wedding. I argue that these films, which are sited so securely within the visual and pedagogical machinery of Hollywood culture, are specifically designed to appeal to teenage male audiences, and to provide lessons in sex and romance. Movies like this are especially important as they are experienced by far more teenagers than, for example, instructional films or other classroom materials; indeed, as Henry Giroux has observed, "teens and youth learn how to define themselves outside of the traditional sites of instruction, such as the home and the school… Learning in the postmodern age is located elsewhere – in popular spheres that shape their identities, through forms of knowledge and desires that appear absent from what is taught in schools" (Giroux, 1997, p.49). In this paper I discuss whether the American Pie series is actually a "new age" effort which, via insubordinate performances of gender, contests the hegemonic field of signification which regulates the production of sex, gender and desire, or whether it is more accurately described as a retrogressive hetero-conservative opus with a veneer of sexual radicalism. In short, I intend to probe whether this filmic vector for sex education is all about the shaping of responsible, caring, vulnerable men, or is it guiding them to become just like their heterosexual, middle-class fathers? And whether, despite its riotous and raunchy advertising, American Pie really dishes up something spicy or something terribly wholesome instead

First observations of confined fast ions in MAST Upgrade with an upgraded neutron camera

Spherical tokamaks are key to the successful design of operating scenarios of future fusion reactors in the areas of divertor physics, neutral beam current drive and fast ion physics. MAST Upgrade, which has successfully concluded its first experimental campaign, was specifically designed to address the role of the radial gradient of the fast ion distribution in driving the excitation of magneto-hydrodynamic (MHD) instabilities, such as toroidal Alfvén eigenmodes, fish-bones and long-lived mode, thanks to its two tangential neutral beam injection systems, one on the equatorial plane and one that is vertically shifted 65 cm above the equatorial plane. To study the fast ion dynamics in the presence of such instabilities, as well as of sawteeth and neo-classical tearing modes, several fast ion diagnostics were upgraded and new ones added. Among them, the MAST prototype neutron camera (NC) has been upgraded to six, equatorial sight-lines. The first observations of the confined fast ion behavior with the upgraded NC in a wide range of plasma scenarios characterized by on-axis and/or off-axis heating and different MHD instabilities are presented here. The observations presented in this study confirm previous results on MAST but with a higher level of detail and highlight new physics observations unique to the MAST Upgrade. The results presented here confirm the improved performance of the NC Upgrade, which thus becomes one of the key elements, in combination with the rich set of fast ion diagnostics available on the MAST Upgrade, for a more constrained modeling of the fast ion dynamics in fusion reactor relevant scenarios

Microscopic self-consistent theory of Josephson junctions including dynamical electron correlations

We formulate a fully self-consistent, microscopic model to study the retardation and correlation effects of the barrier within a Josephson junction. The junction is described by a series of planes, with electronic correlation included through a local self energy for each plane. We calculate current-phase relationships for various junctions, which include non-magnetic impurities in the barrier region, or an interfacial scattering potential. Our results indicate that the linear response of the supercurrent to phase across the barrier region is a good, but not exact indicator of the critical current. Our calculations of the local density of states show the current-carrying Andreev bound states and their energy evolution with the phase difference across the junction. We calculate the figure of merit for a Josephson junction, which is the product of the critical current, Ic, and the normal state resistance, R(N), for junctions with different barrier materials. The normal state resistance is calculated using the Kubo formula, for a system with zero current flow and no superconducting order. Semiclassical calculations would predict that these two quantities are determined by the transmission probabilities of electrons in such a way that the product is constant for a given superconductor at fixed temperature. Our self-consistent solutions for different types of barrier indicate that this is not the case. We suggest some forms of barrier which could increase the Ic.R(N) product, and hence improve the frequency response of a Josephson device.Comment: 46 pages, 21 figure