An Exploratory Case Study of Query Plan Representations

J Ba, M Rigger - arxiv preprint arxiv:2408.07857, 2024‏ - arxiv.org
In database systems, a query plan is a series of concrete internal steps to execute a query.
Multiple testing approaches utilize query plans for finding bugs. However, query plans are …

[PDF][PDF] Mechanized Data Consistency Models for Distributed Database Transactions

S Ghasemirad - 2022‏ - research-collection.ethz.ch
Cloud database systems use transactions for synchronization. Depending on the desired
scalability and availability, different systems provide different transactional consistency …

[PDF][PDF] Testing Database Engines via Query Plans

J Ba - Proceeding of ACM Management of Data (SIGMOD'24), 2024‏ - ba**sheng.github.io
Performance is one of the most important metrics for DBMSs, especially in today's big data
era. From a software standpoint, the mainstream direction to optimize DBMSs' performance …

Streamlining Decentralized Ledger: Enhancing Historical Data Access in Hyperledger Fabric

A Bachinin - 2024‏ - search.proquest.com
This thesis presents design and implementation of Indexing Solution (IS) that aims to
enhance query retrieval process in Hyperledger Fabric (HLF). In order to address limitations …

[PDF][PDF] ONLINE SKILL TEST PLATFORM

IVM Nawaz, T Agarwal… - J. Mech. Cont. & Math …, 2022‏ - jmcms.s3.amazonaws.com
Abstract Information communication and technology are the most important skills for 21st-
century learning and help promote other skills, including life and career skills and learning …

An Innovative Comparative Performance Analysis on Document Store Non-Relational Databases

S Miah, K Fahd, S Venkatraman, S Parvin - 2024‏ - researchsquare.com
The crucial role of competent software architecture is essential in managing the challenging
of big data processing for both relational and nonrelational databases. Relational databases …

A Novel Comparative Performance Analysis of Document Store Non-Relational Databases

K Fahd, S Venkatraman, S Parvin, SJ Miah - 2024‏ - researchsquare.com
The crucial role of competent software architecture is essential in managing the challenging
big data processing for both relational and nonrelational databases. Relational databases …

Towards automatic validation of composite heterogeneous systems in edge situations

L Černý - 2022 IEEE International Symposium on Software …, 2022‏ - ieeexplore.ieee.org
Systems implementing safety functions are becoming more complex, which is also related to
their communication and perception capabilities in an environment. Such systems, primarily …

Incremental Causal Consistency Checking for Read-Write Memory Histories

Y Huang, H Wei - Proceedings of the 13th Asia-Pacific Symposium on …, 2022‏ - dl.acm.org
Causal consistency is one of the strongest consistency models that can be implemented to
ensure availability under network partition in distributed systems. The problem of causal …

Evaluation of Eventual Consistency and Linearizability in MongoDB

HR Vora - 2023‏ - 14.139.122.115
Sharding and replication are crucial techniques for scaling distributed systems, enabling
data distribution across multiple nodes. However, as the number ofreplicas increases …