Cover Image

Semi-interval Comparison Constraints in Query Containment and Their Impact on Certain Answer Computation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Afrati, Foto N., Damigos, Matthew
Format:	Preprint
Published:	2025
Subjects:	Databases H.2.3, F.2.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Quantum Computing for Query Containment of Conjunctive Queries
by: Gerlach, Luisa, et al.
Published: (2026)

Scaling and Load-Balancing Equi-Joins
by: Metwally, Ahmed
Published: (2022)

DynaQuery: A Self-Adapting Framework for Querying Structured and Multimodal Data
by: Hassini, Aymane
Published: (2025)

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

[Extended Version] ArceKV: Towards Workload-driven LSM-compactions for Key-Value Store Under Dynamic Workloads
by: Liu, Junfeng, et al.
Published: (2025)

Categorical Calculus and Algebra for Multi-Model Data
by: Lu, Jiaheng
Published: (2026)

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

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

SQL Query Engine: A Self-Healing LLM Pipeline for Natural Language to PostgreSQL Translation
by: Ijaz, Muhammad Adeel
Published: (2026)

Proving correctness for SQL implementations of OCL constraints
by: Nguyen, Hoang, et al.
Published: (2024)

Constructive Cavity Method
by: Franchini, Simone
Published: (2026)

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

How Data Quality Affects Machine Learning Models for Credit Risk Assessment
by: Maurino, Andrea
Published: (2025)

Development of Hybrid Artificial Intelligence Training on Real and Synthetic Data: Benchmark on Two Mixed Training Strategies
by: Wachter, Paul, et al.
Published: (2025)

Query languages for neural networks
by: Grohe, Martin, et al.
Published: (2024)

Datrics Text2SQL: A Framework for Natural Language to SQL Query Generation
by: Gladkykh, Tetiana, et al.
Published: (2025)

MultiGraphMatch: a subgraph matching algorithm for multigraphs
by: Micale, Giovanni, et al.
Published: (2025)

Efficient Approximation of Fractional Hypertree Width
by: Korchemna, Viktoriia, et al.
Published: (2024)

The Complexity of Resilience Problems via Valued Constraint Satisfaction
by: Bodirsky, Manuel, et al.
Published: (2023)

On the Pure States of the Replica Symmetry Breaking ansatz
by: Franchini, Simone
Published: (2025)

An Automated SQL Query Grading System Using An Attention-Based Convolutional Neural Network
by: Schwartz, Donald R., et al.
Published: (2024)

Graphify: Automated Synthesis of Type-Safe Graph Backends via $O(S)$ GraphQL-to-Gremlin Transpilation
by: Graf, Johannes
Published: (2026)

SPARTA: Scalable and Principled Benchmark of Tree-Structured Multi-hop QA over Text and Tables
by: Park, Sungho, et al.
Published: (2026)

SPARQL Generation with Entity Pre-trained GPT for KG Question Answering
by: Bustamante, Diego, et al.
Published: (2024)

A Declarative System for Optimizing AI Workloads
by: Liu, Chunwei, et al.
Published: (2024)

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

Enhancing Productivity in Database Management Through AI: A Three-Phase Approach for Database
by: Parashar, Kushagra, et al.
Published: (2025)

Constructibility and the P versus NP problem
by: Hole, Arne
Published: (2024)

Text-to-SQL based on Large Language Models and Database Keyword Search
by: Nascimento, Eduardo R., et al.
Published: (2025)

Cost Trade-offs of Reasoning and Non-Reasoning Large Language Models in Text-to-SQL
by: Deochake, Saurabh, et al.
Published: (2025)

An efficient algorithm to compute the minimum free energy of interacting nucleic acid strands
by: Shalaby, Ahmed, et al.
Published: (2024)

Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability
by: Chen, Hubie, et al.
Published: (2023)

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

Non-Compact Proofs
by: Artemov, Sergei
Published: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
by: Artemov, Sergei
Published: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
by: Artemov, Sergei
Published: (2024)

PARD-SSM: Probabilistic Cyber-Attack Regime Detection via Variational Switching State-Space Models
by: Hiremath, Prakul Sunil, et al.
Published: (2026)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
by: Perháč, Ján, et al.
Published: (2025)

BoomHQ: Learning to Boost Multiple Hybrid Queries on Vector DBMSs
by: Qiu, Ermu, et al.
Published: (2026)

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