Copertina

Proving correctness for SQL implementations of OCL constraints

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Nguyen, Hoang, Clavel, Manuel
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Databases H.2.3, D.2.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Paraconsistent logic and query answering in inconsistent databases
di: Middelburg, C. A.
Pubblicazione: (2022)

Belnap-Dunn logic and query answering in inconsistent databases with null values
di: Middelburg, C. A.
Pubblicazione: (2023)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
di: Arndt, Dörthe, et al.
Pubblicazione: (2025)

RubikSQL: Lifelong Learning Agentic Knowledge Base as an Industrial NL2SQL System
di: Chen, Zui, et al.
Pubblicazione: (2025)

Efficient Cloud-Edge-Device Query Execution Based on Collaborative Scan Operator
di: Zhao, Chunyu, et al.
Pubblicazione: (2025)

Combating Reentrancy Bugs on Sharded Blockchains
di: Kashitsyn, Roman, et al.
Pubblicazione: (2025)

ProvSQL: A General System for Keeping Track of the Provenance and Probability of Data
di: Sen, Aryak, et al.
Pubblicazione: (2025)

Bala-Join: An Adaptive Hash Join for Balancing Communication and Computation in Geo-Distributed SQL Databases
di: Song, Wenlong, et al.
Pubblicazione: (2026)

Semantic Caching for OLAP via LLM-Based Query Canonicalization (Extended Version)
di: Bindschaedler, Laurent
Pubblicazione: (2026)

QVCache: A Query-Aware Vector Cache
di: Göçer, Anıl Eren, et al.
Pubblicazione: (2026)

OnPair: Short Strings Compression for Fast Random Access
di: Gargiulo, Francesco, et al.
Pubblicazione: (2025)

Understanding and Reusing Test Suites Across Database Systems
di: Zhong, Suyang, et al.
Pubblicazione: (2024)

ReViSQL: Achieving Human-Level Text-to-SQL
di: Zhu, Yuxuan, et al.
Pubblicazione: (2026)

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
di: Thompson, Kyle, et al.
Pubblicazione: (2024)

PilotDB: Database-Agnostic Online Approximate Query Processing with A Priori Error Guarantees (Technical Report)
di: Zhu, Yuxuan, et al.
Pubblicazione: (2025)

Valori: A Deterministic Memory Substrate for AI Systems
di: Gudur, Varshith
Pubblicazione: (2025)

Samyama: A Unified Graph-Vector Database with In-Database Optimization, Agentic Enrichment, and Hardware Acceleration
di: Mandarapu, Madhulatha, et al.
Pubblicazione: (2026)

Multiset semantics in SPARQL, Relational Algebra and Datalog
di: Angles, Renzo, et al.
Pubblicazione: (2026)

Beyond Similarity Search: A Unified Data Layer for Production RAG Systems
di: Budigi, Venkata Krishna Prasanth, et al.
Pubblicazione: (2026)

GaussDB-Global: A Geographically Distributed Database System
di: Memarzia, Puya, et al.
Pubblicazione: (2025)

Revisiting Conjunctive Query Entailment for $\mathcal S$
di: Ibáñez-García, Yazmín, et al.
Pubblicazione: (2025)

Executable First-Order Queries in the Logic of Information Flows
di: Aamer, Heba, et al.
Pubblicazione: (2022)

Enzyme: Incremental View Maintenance for Data Engineering
di: Yadav, Ritwik, et al.
Pubblicazione: (2026)

HONEYBEE: Efficient Role-based Access Control for Vector Databases via Dynamic Partitioning[Technical Report]
di: Zhong, Hongbin, et al.
Pubblicazione: (2025)

Workload-Aware Incremental Reclustering in Cloud Data Warehouses
di: Liu, Yipeng, et al.
Pubblicazione: (2026)

Optimizing Navigational Graph Queries
di: Mulder, Thomas, et al.
Pubblicazione: (2024)

Tractable Conjunctive Queries over Static and Dynamic Relations
di: Kara, Ahmet, et al.
Pubblicazione: (2024)

TreeTracker Join: Simple, Optimal, Fast
di: Hu, Zeyuan, et al.
Pubblicazione: (2024)

Avoiding Materialisation for Guarded Aggregate Queries
di: Lanzinger, Matthias, et al.
Pubblicazione: (2024)

Practical Persistent Multi-Word Compare-and-Swap Algorithms for Many-Core CPUs
di: Sugiura, Kento, et al.
Pubblicazione: (2024)

GTX: A Transactional Graph Data System For HTAP Workloads
di: Zhou, Libin, et al.
Pubblicazione: (2024)

GTX: A Write-Optimized Latch-free Graph Data System with Transactional Support -- Extended Version
di: Zhou, Libin, et al.
Pubblicazione: (2024)

How Good Are Multi-dimensional Learned Indices? An Experimental Survey
di: Liu, Qiyu, et al.
Pubblicazione: (2024)

Low-Latency Stateful Stream Processing through Timely and Accurate Prefetching
di: Zapridou, Eleni, et al.
Pubblicazione: (2026)

The Linked Data Benchmark Council (LDBC): Driving competition and collaboration in the graph data management space
di: Szárnyas, Gábor, et al.
Pubblicazione: (2023)

Process Faster, Pay Less: Functional Isolation for Stream Processing
di: Zapridou, Eleni, et al.
Pubblicazione: (2026)

One Ring to Shuffle Them All: Scalable Intra-Process Data Redistribution with Ring-Buffer Shuffle in Redpanda Oxla
di: Szymański, Adam, et al.
Pubblicazione: (2026)

Risk-Aware GPU-Assisted Cardinality Estimation for Cost-Based Query Optimizers
di: Chang, Ilsun
Pubblicazione: (2025)

Near Data Processing in Taurus Database
di: Lin, Shu, et al.
Pubblicazione: (2025)

Evaluating Learned Query Performance Prediction Models at LinkedIn: Challenges, Opportunities, and Findings
di: Song, Chujun, et al.
Pubblicazione: (2025)