Big data systems: A software engineering perspective

A Davoudian, M Liu - ACM Computing Surveys (CSUR), 2020 - dl.acm.org
Big Data Systems (BDSs) are an emerging class of scalable software technologies whereby
massive amounts of heterogeneous data are gathered from multiple sources, managed …

Data warehouse systems

A Vaisman, E Zimányi - Data-Centric Systems and Applications, 2014 - Springer
Since the late 1970s, relational database technology has been adopted by most
organizations to store their essential data. However, nowadays, the needs of these …

Data lakes: A survey of functions and systems

R Hai, C Koutras, C Quix… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
Data lakes are becoming increasingly prevalent for Big Data management and data
analytics. In contrast to traditional 'schema-on-write'approaches such as data warehouses …

Query rewriting and optimization for ontological databases

G Gottlob, G Orsi, A Pieris - ACM Transactions on Database Systems …, 2014 - dl.acm.org
Ontological queries are evaluated against a knowledge base consisting of an extensional
database and an ontology (ie, a set of logical assertions and constraints that derive new …

Synthesizing database programs for schema refactoring

Y Wang, J Dong, R Shah, I Dillig - … of the 40th ACM SIGPLAN Conference …, 2019 - dl.acm.org
Many programs that interact with a database need to undergo schema refactoring several
times during their life cycle. Since this process typically requires making significant changes …

Living in parallel realities: Co-existing schema versions with a bidirectional database evolution language

K Herrmann, H Voigt, A Behrend, J Rausch… - Proceedings of the …, 2017 - dl.acm.org
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 …

Verifying equivalence of database-driven applications

Y Wang, I Dillig, SK Lahiri, WR Cook - Proceedings of the ACM on …, 2017 - dl.acm.org
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 …

Application of digital technology to Chinese traditional furniture: a review

L Zhu, J Gao, L Fu, Y Yan, J Lv - Studies in Conservation, 2023 - Taylor & Francis
This research delves into the contemporary utilization of digital technology within the context
of the material cultural heritage associated with traditional Chinese furniture. Digital …

Massively parallel databases and mapreduce systems

S Babu, H Herodotou - Foundations and Trends® in …, 2013 - nowpublishers.com
Timely and cost-effective analytics over" big data" has emerged as a key ingredient for
success in many businesses, scientific and engineering disciplines, and government …

Synthesis-powered optimization of smart contracts via data type refactoring

Y Chen, Y Wang, M Goyal, J Dong, Y Feng… - Proceedings of the ACM …, 2022 - dl.acm.org
Since executing a smart contract on the Ethereum blockchain costs money (measured in
gas), smart contract developers spend significant effort in reducing gas usage. In this paper …