Buchumschlag

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ghasemirad, Shabnam, Sprenger, Christoph, Liu, Si, Multazzu, Luca, Basin, David
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Databases Distributed, Parallel, and Cluster Computing Formal Languages and Automata Theory Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

VerIso: Verifiable Isolation Guarantees for Database Transactions
von: Ghasemirad, Shabnam, et al.
Veröffentlicht: (2025)

HistMSO: A Logic for Reasoning about Consistency Models with MONA
von: Coget, Isabelle, et al.
Veröffentlicht: (2026)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
von: Guillou, Lucie, et al.
Veröffentlicht: (2023)

Verifying Randomized Consensus Protocols with Common Coins
von: Gao, Song, et al.
Veröffentlicht: (2024)

Deciding Serializability in Network Systems
von: Amir, Guy, et al.
Veröffentlicht: (2026)

State machines for large scale computer software and systems
von: Yodaiken, Victor
Veröffentlicht: (2016)

Population Protocols over Ordered Agents
von: Blondin, Michael, et al.
Veröffentlicht: (2026)

The Black Ninjas and the Sniper: On Robustness of Population Protocols
von: Lossin, Benno, et al.
Veröffentlicht: (2024)

A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
von: Wang, Chao, et al.
Veröffentlicht: (2026)

Logical Synchrony Networks: A formal model for deterministic distribution
von: Kenwright, Logan, et al.
Veröffentlicht: (2024)

2-Coloring Cycles in One Round
von: Flin, Maxime, et al.
Veröffentlicht: (2026)

Synchronizability of Communicating Finite State Machines is not Decidable
von: Finkel, Alain, et al.
Veröffentlicht: (2017)

Types for Grassroots Logic Programs
von: Shapiro, Ehud
Veröffentlicht: (2026)

Classification of Local Optimization Problems in Directed Cycles
von: Boudier, Thomas, et al.
Veröffentlicht: (2026)

Complete Multiparty Session Type Projection with Automata
von: Li, Elaine, et al.
Veröffentlicht: (2023)

Smart Casual Verification of the Confidential Consortium Framework
von: Howard, Heidi, et al.
Veröffentlicht: (2024)

Implementability of Global Distributed Protocols modulo Network Architectures
von: Li, Elaine, et al.
Veröffentlicht: (2026)

On defining and modeling context-awareness
von: Rodis, Panteleimon
Veröffentlicht: (2026)

Homomorphism Problems in Graph Databases and Automatic Structures
von: Morvan, Rémi
Veröffentlicht: (2025)

Promoting Simple Agents: Ensemble Methods for Event-Log Prediction
von: Bollig, Benedikt, et al.
Veröffentlicht: (2026)

Complex event recognition under time constraints: towards a formal framework for efficient query evaluation
von: García, Julián, et al.
Veröffentlicht: (2025)

FC-Datalog as a Framework for Efficient String Querying
von: Bell, Owen M., et al.
Veröffentlicht: (2025)

A Trichotomy for Regular Trail Queries
von: Martens, Wim, et al.
Veröffentlicht: (2019)

A formal query language and automata model for aggregation in complex event recognition
von: Bourhis, Pierre, et al.
Veröffentlicht: (2026)

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
von: Figueira, Diego, et al.
Veröffentlicht: (2022)

Practical Livelock Analysis in Parameterized Unidirectional Rings
von: Farahat, Aly
Veröffentlicht: (2026)

LLM-based policy generation for intent-based management of applications
von: Dzeparoska, Kristina, et al.
Veröffentlicht: (2024)

Decidability Issues for Petri Nets -- a survey
von: Esparza, Javier, et al.
Veröffentlicht: (2024)

Mixed Choice in Asynchronous Multiparty Session Types
von: Bocchi, Laura, et al.
Veröffentlicht: (2026)

Tree-Verifiable Graph Grammars
von: Chimes, Mark, et al.
Veröffentlicht: (2024)

Computing Inductive Invariants of Regular Abstraction Frameworks
von: Czerner, Philipp, et al.
Veröffentlicht: (2024)

Learning Verified Monitors for Hidden Markov Models
von: van der Maas, Luko, et al.
Veröffentlicht: (2025)

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
von: Klopfenstein, Rocky, et al.
Veröffentlicht: (2025)

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)

Styx: Transactional Stateful Functions on Streaming Dataflows
von: Psarakis, Kyriakos, et al.
Veröffentlicht: (2023)

Ira: Efficient Transaction Replay for Distributed Systems
von: Bhat, Adithya, et al.
Veröffentlicht: (2026)

Evaluating the Impact Of Spatial Features Of Mobility Data and Index Choice On Database Performance
von: Rese, Tim C., et al.
Veröffentlicht: (2025)

Exploring Distributed Vector Databases Performance on HPC Platforms: A Study with Qdrant
von: Ockerman, Seth, et al.
Veröffentlicht: (2025)

PolarStore: High-Performance Data Compression for Large-Scale Cloud-Native Databases
von: Hu, Qingda, et al.
Veröffentlicht: (2025)

Push Down Optimization for Distributed Multi Cloud Data Integration
von: Kodali, Ravi Kiran, et al.
Veröffentlicht: (2026)