Technical Propositions for the paper "Conjunctive Query Containment with Safe Negation and TGD One-boundedness"
Fuente:
Zenodo
Enregistré dans:
| Auteur principal: | Anonymous |
|---|---|
| Format: | Recurso digital |
| Publié: |
Zenodo
2025
|
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Let's Play Tag: Linear Time Evaluation of Conjunctive Queries under TGD Constraints
par: Carmeli, Nofar, et autres
Publié: (2026)
par: Carmeli, Nofar, et autres
Publié: (2026)
Quantum Computing for Query Containment of Conjunctive Queries
par: Gerlach, Luisa, et autres
Publié: (2026)
par: Gerlach, Luisa, et autres
Publié: (2026)
Direct Access for Conjunctive Queries with Negations
par: Capelli, Florent, et autres
Publié: (2023)
par: Capelli, Florent, et autres
Publié: (2023)
Responsibility Measures for Conjunctive Queries with Negation
par: Bienvenu, Meghyn, et autres
Publié: (2026)
par: Bienvenu, Meghyn, et autres
Publié: (2026)
Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations
par: Focke, Jacob, et autres
Publié: (2021)
par: Focke, Jacob, et autres
Publié: (2021)
Bag Semantics Conjunctive Query Containment. Four Small Steps Towards Undecidability
par: Marcinkowski, Jerzy, et autres
Publié: (2025)
par: Marcinkowski, Jerzy, et autres
Publié: (2025)
Acyclic Conjunctive Regular Path Queries are no Harder than Corresponding Conjunctive Queries
par: Khamis, Mahmoud Abo, et autres
Publié: (2025)
par: Khamis, Mahmoud Abo, et autres
Publié: (2025)
A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order
par: Figueira, Diego, et autres
Publié: (2025)
par: Figueira, Diego, et autres
Publié: (2025)
Scalable Multi-phase Word Embedding Using Conjunctive Propositional Clauses
par: Kadhim, Ahmed K., et autres
Publié: (2025)
par: Kadhim, Ahmed K., et autres
Publié: (2025)
Diversity of Answers to Conjunctive Queries
par: Merkl, Timo Camillo, et autres
Publié: (2023)
par: Merkl, Timo Camillo, et autres
Publié: (2023)
Negated String Containment is Decidable (Technical Report)
par: Havlena, Vojtěch, et autres
Publié: (2025)
par: Havlena, Vojtěch, et autres
Publié: (2025)
Lower Bounds for Conjunctive Query Evaluation
par: Mengel, Stefan
Publié: (2025)
par: Mengel, Stefan
Publié: (2025)
Revisiting Conjunctive Query Entailment for $\mathcal S$
par: Ibáñez-García, Yazmín, et autres
Publié: (2025)
par: Ibáñez-García, Yazmín, et autres
Publié: (2025)
Minimizing Conjunctive Regular Path Queries
par: Figueira, Diego, et autres
Publié: (2025)
par: Figueira, Diego, et autres
Publié: (2025)
Ranked Enumeration of Conjunctive Query Results
par: Deep, Shaleen, et autres
Publié: (2019)
par: Deep, Shaleen, et autres
Publié: (2019)
Extremal Fitting Problems for Conjunctive Queries
par: Cate, Balder ten, et autres
Publié: (2022)
par: Cate, Balder ten, et autres
Publié: (2022)
Finding Smallest Witnesses for Conjunctive Queries
par: Hu, Xiao, et autres
Publié: (2023)
par: Hu, Xiao, et autres
Publié: (2023)
Output-sensitive Conjunctive Query Evaluation
par: Deep, Shaleen, et autres
Publié: (2024)
par: Deep, Shaleen, et autres
Publié: (2024)
Linear Programs with Conjunctive Database Queries
par: Capelli, Florent, et autres
Publié: (2022)
par: Capelli, Florent, et autres
Publié: (2022)
The Weisfeiler-Leman Dimension of Conjunctive Queries
par: Göbel, Andreas, et autres
Publié: (2023)
par: Göbel, Andreas, et autres
Publié: (2023)
Enumeration Algorithms for Conjunctive Queries with Projection
par: Deep, Shaleen, et autres
Publié: (2021)
par: Deep, Shaleen, et autres
Publié: (2021)
Propositional Calculus with Multiple Negations
par: Ramírez, Oscar
Publié: (2024)
par: Ramírez, Oscar
Publié: (2024)
One Model, Any Conjunctive Query: Graph Neural Networks for Answering Queries over Incomplete Knowledge Graphs
par: Olejniczak, Krzysztof, et autres
Publié: (2024)
par: Olejniczak, Krzysztof, et autres
Publié: (2024)
Consistent Query Answering for Primary Keys and Conjunctive Queries with Counting
par: Khalfioui, Aziz Amezian El, et autres
Publié: (2022)
par: Khalfioui, Aziz Amezian El, et autres
Publié: (2022)
Space-Time Tradeoffs for Spatial Conjunctive Queries
par: Esmailpour, Aryan, et autres
Publié: (2025)
par: Esmailpour, Aryan, et autres
Publié: (2025)
Direct Access for Answers to Conjunctive Queries with Aggregation
par: Eldar, Idan, et autres
Publié: (2023)
par: Eldar, Idan, et autres
Publié: (2023)
Towards Parameterized Hardness on Maintaining Conjunctive Queries
par: Wang, Qichen
Publié: (2026)
par: Wang, Qichen
Publié: (2026)
Will My Favorite Chases Terminate if Evaluating Conjunctive Queries Does? One Does Not Simply Decide This
par: Larroque, Lucas, et autres
Publié: (2026)
par: Larroque, Lucas, et autres
Publié: (2026)
Logica-TGD: Transforming Graph Databases Logically
par: Skvortsov, Evgeny, et autres
Publié: (2025)
par: Skvortsov, Evgeny, et autres
Publié: (2025)
Fine-Grained Dichotomies for Conjunctive Queries with Minimum or Maximum
par: Carmeli, Nofar, et autres
Publié: (2025)
par: Carmeli, Nofar, et autres
Publié: (2025)
Tractability Frontiers of the Shapley Value for Aggregate Conjunctive Queries
par: Standke, Christoph, et autres
Publié: (2025)
par: Standke, Christoph, et autres
Publié: (2025)
Tractable Conjunctive Queries over Static and Dynamic Relations
par: Kara, Ahmet, et autres
Publié: (2024)
par: Kara, Ahmet, et autres
Publié: (2024)
Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability
par: Chen, Hubie, et autres
Publié: (2023)
par: Chen, Hubie, et autres
Publié: (2023)
Conjunctive Queries with Free Access Patterns under Updates
par: Kara, Ahmet, et autres
Publié: (2022)
par: Kara, Ahmet, et autres
Publié: (2022)
Reproduction code for paper
par: Anonymous
Publié: (2026)
par: Anonymous
Publié: (2026)
Reproduction data for paper
par: Anonymous
Publié: (2026)
par: Anonymous
Publié: (2026)
Satellite Safe Margin: Fast solutions for Conjunction Analysis
par: Ferreira, Ricardo N., et autres
Publié: (2024)
par: Ferreira, Ricardo N., et autres
Publié: (2024)
Technical papers
Publié: (2023)
Publié: (2023)
Output-Sensitive Evaluation of Acyclic Conjunctive Regular Path Queries
par: Khamis, Mahmoud Abo, et autres
Publié: (2025)
par: Khamis, Mahmoud Abo, et autres
Publié: (2025)
Project-connex Decompositions and Tractability of Aggregate Group-by Conjunctive Queries
par: Figueira, Diego, et autres
Publié: (2025)
par: Figueira, Diego, et autres
Publié: (2025)
Documents similaires
-
Let's Play Tag: Linear Time Evaluation of Conjunctive Queries under TGD Constraints
par: Carmeli, Nofar, et autres
Publié: (2026) -
Quantum Computing for Query Containment of Conjunctive Queries
par: Gerlach, Luisa, et autres
Publié: (2026) -
Direct Access for Conjunctive Queries with Negations
par: Capelli, Florent, et autres
Publié: (2023) -
Responsibility Measures for Conjunctive Queries with Negation
par: Bienvenu, Meghyn, et autres
Publié: (2026) -
Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations
par: Focke, Jacob, et autres
Publié: (2021)