Toward a verified relational database management system
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS implementation, and proof that the implementation meets the specification are all ...
G. Malecha+3 more
semanticscholar +1 more source
The education experiences of young people experiencing child criminal and sexual exploitation
Abstract School exclusion forms part of the processes that can increase young people's risk of offending and involvement in exploitation and harm. However, little is known about the education experiences of young people impacted by harm, such as child sexual and criminal exploitation.
Jenny Lloyd
wiley +1 more source
Applying self-powered sensor and support vector machine in load energy consumption modeling and prediction of relational database. [PDF]
Yang D, Yu J, He Z, Li P, Du X.
europepmc +1 more source
A relational database for bibliometric analysis [PDF]
Abstract In this article a relational database schema for a bibliometric database is developed. After the introduction explaining the motivation to use relational databases in bibliometrics, an overview of the related literature is given. A review of typical bibliometric questions serves as an informal requirement analysis.
openaire +4 more sources
Translating a first-order modal language to relational algebra [PDF]
This paper is about Kripke structures that are inside a relational database and queried with a modal language. At first the modal language that is used is introduced, followed by a definition of the database and relational algebra. Based on these definitions two things are presented: a mapping from components of the modal structure to a relational ...
arxiv
The potential of deep learning in improving K‐12 students' writing skills: A systematic review
Abstract The purpose of this study is to examine the relationship between technology‐supported writing instruction at the K‐12 level and deep learning approaches and to understand the trends in this field. In the study, 12 articles selected from Web of Science, Scopus, ERIC and EBSCO databases were systematically analysed.
Mazhar Bal, Emre Öztürk
wiley +1 more source
Graph Transformation in Relational Databases
AbstractWe present a novel approach to implement a graph transformation engine based on standard relational database management systems (RDBMSs). The essence of the approach is to create database views for each rules and to handle pattern matching by inner join operations while negative application conditions by left outer join operations. Furthermore,
Varró, Gergely György+2 more
openaire +2 more sources
On Embeddings in Relational Databases [PDF]
We address the problem of learning a distributed representation of entities in a relational database using a low-dimensional embedding. Low-dimensional embeddings aim to encapsulate a concise vector representation for an underlying dataset with minimum loss of information.
arxiv
Unsettling subject English in the twenty‐first century
Abstract This paper uses examples from Australia and England to explore subject English with regard to the multiple metaphors inherent in the terms ‘settling’ and ‘unsettling’. In doing so we are concerned with imagining a future for a subject English curriculum which dislodges it from its imperial, colonial roots. In the first instance, we outline the
Victoria Elliott, Larissa McLean Davies
wiley +1 more source
Developing a Relational Database for Best Practice Data Management: The Turn Everyone and Move for Ulcer Prevention Database. [PDF]
Alderden JG+7 more
europepmc +1 more source