English
Related papers

Related papers: Toward Co-existing Database Schemas based on Bidir…

200 papers

We introduce end-to-end support of co-existing schema versions within one database. While it is state of the art to run multiple versions of a continuously developed application concurrently, it is hard to do the same for databases. In…

Databases · Computer Science 2017-09-20 Kai Herrmann , Hannes Voigt , Andreas Behrend , Jonas Rausch , Wolfgang Lehner

Relational databases play a central role in many information systems. Their schema contains structural (e.g. tables and columns) and behavioral (e.g. stored procedures or views) entity descriptions. Then, just like for ``normal'' software,…

Software Engineering · Computer Science 2024-04-15 Anne Etien , Nicolas Anquetil

A traditional database systems is organized around a single data model that determines how data can be organized, stored and manipulated. But the vision of this paper is to develop new principles and techniques to manage multiple data…

Databases · Computer Science 2016-12-26 Jiaheng Lu , Zhen Hua Liu , Pengfei Xu , Chao Zhang

Distributed software systems that are designed to run over workstation machines within organisations are termed workstation-based. Workstation-based systems are characterised by dynamically changing sets of machines that are used primarily…

Databases · Computer Science 2012-07-23 Angus Macdonald

This paper addresses the problem of verifying equivalence between a pair of programs that operate over databases with different schemas. This problem is particularly important in the context of web applications, which typically undergo…

Logic in Computer Science · Computer Science 2017-10-24 Yuepeng Wang , Isil Dillig , Shuvendu K. Lahiri , William R. Cook

Baseline is a platform for richly structured data supporting change in multiple dimensions: mutation over time, collaboration across space, and evolution through design changes. It is built upon Operational Differencing, a new technique for…

Databases · Computer Science 2025-12-11 Jonathan Edwards , Tomas Petricek

This paper proposes a set of tools to help dealing with XML database evolution. It aims at establishing a multi-system environment where a global integrated system works in harmony with some local original ones, allowing data translation in…

Databases · Computer Science 2014-06-06 Joshua Amavi , Jacques Chabin , Mirian Halfeld Ferrari , Pierre Réty

Biologists are increasingly using databases for storing and managing their data. Biological databases typically consist of a mixture of raw data, metadata, sequences, annotations, and related data obtained from various sources. Current…

Databases · Computer Science 2007-05-23 Mohamed Y. Eltabakh , Mourad Ouzzani , Walid G. Aref

Many improvements to programming have come from shortening feedback loops, for example with Integrated Development Environments, Unit Testing, Live Programming, and Distributed Version Control. A barrier to feedback that deserves greater…

Programming Languages · Computer Science 2024-12-10 Jonathan Edwards , Tomas Petricek , Tijs van der Storm , Geoffrey Litt

During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validity of produced data. Nowadays, a challenge is to assess and…

Programming Languages · Computer Science 2008-11-27 Pierre Genevès , Nabil Layaïda , Vincent Quint

Minimizing coordination, or blocking communication between concurrently executing operations, is key to maximizing scalability, availability, and high performance in database systems. However, uninhibited coordination-free execution can…

Databases · Computer Science 2014-10-31 Peter Bailis , Alan Fekete , Michael J. Franklin , Ali Ghodsi , Joseph M. Hellerstein , Ion Stoica

Due to the ever increasing importance of the internet, interoperability of heterogeneous data sources is as well of ever increasing importance. Interoperability can be achieved e.g. through data integration and data exchange. Common to both…

Databases · Computer Science 2013-04-04 Gosta Grahne , Adrian Onet , Nihat Tartal

Relational type systems have been designed for several applications including information flow, differential privacy, and cost analysis. In order to achieve the best results, these systems often use relational refinements and relational…

Programming Languages · Computer Science 2020-11-18 Ezgi Çiçek , Weihao Qu , Gilles Barthe , Marco Gaboardi , Deepak Garg

Whether it is for audit or for recovery purposes, data checkpointing is an important problem of distributed database systems. Actually, transactions establish dependence relations on data checkpoints taken by data object managers. So, given…

Databases · Computer Science 2007-05-23 R. Baldoni , F. Quaglia , M. Raynal

The recent rise of interest in bidirectional transformations (BXs) has led to the development of many BX frameworks, originating in diverse computer science disciplines. From a user perspective, these frameworks vary significantly in both…

Programming Languages · Computer Science 2013-06-27 Hugo Pacheco , Nuno Macedo , Alcino Cunha , Janis Voigtländer

Bidirectional transformations (bx) support principled consistency maintenance between data sources. Each data source corresponds to one perspective on a composite system, manifested by operations to 'get' and 'set' a view of the whole from…

Programming Languages · Computer Science 2017-09-12 Faris Abou-Saleh , James Cheney , Jeremy Gibbons , James McKinna , Perdita Stevens

Modern database applications often change their schemas to keep up with the changing requirements. However, support for online and transactional schema evolution remains challenging in existing database systems. Specifically, prior work…

Databases · Computer Science 2022-10-11 Tianxun Hu , Tianzheng Wang , Qingqing Zhou

This paper considers how a formal mathematically-based model can be used in support of evolutionary software development, and in particular how such a model can be kept consistent with the implementation as it changes to meet new…

Software Engineering · Computer Science 2011-11-14 A. Gravell , Y. Howard , J. C. Augusto , C. Ferreira , S. Gruner

Long-term data-driven studies have become indispensable in many areas of science. Often, the data formats, structures and semantics of data change over time, the data sets evolve. Therefore, studies over several decades in particular have…

Databases · Computer Science 2022-11-28 Tanja Auge , Andreas Heuer

The Database field is undergoing significant changes. Although relational systems are still predominant, the interest in NoSQL systems is continuously increasing. In this scenario, polyglot persistence is envisioned as the database…

Databases · Computer Science 2025-10-24 Carlos J. Fernández Candel , Diego Sevilla Ruiz , Jesús J. García-Molina
‹ Prev 1 2 3 10 Next ›