Search Results - "Computer Science - Databases"

Refine Results
  1. 1

    The Shapley Value of Inconsistency Measures for Functional Dependencies by Livshits, Ester, Kimelfeld, Benny

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science e.V 15.06.2022
    Published in Logical methods in computer science (15.06.2022)
    “…Quantifying the inconsistency of a database is motivated by various goals including reliability estimation for new datasets and progress indication in data…”
    Get full text
    Journal Article
  2. 2

    Robustness against Read Committed for Transaction Templates with Functional Constraints by Vandevoort, Brecht, Ketsman, Bas, Koch, Christoph, Neven, Frank

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science e.V 25.12.2023
    Published in Logical methods in computer science (25.12.2023)
    “…The popular isolation level Multiversion Read Committed (RC) trades some of the strong guarantees of serializability for increased transaction throughput…”
    Get full text
    Journal Article
  3. 3

    PANDA: Query Evaluation in Submodular Width by Khamis, Mahmoud Abo, Ngo, Hung Q., Suciu, Dan

    ISSN: 2751-4838, 2751-4838
    Published: TheoretiCS Foundation e.V 30.04.2025
    Published in TheoretiCS (30.04.2025)
    “…In recent years, several information-theoretic upper bounds have been introduced on the output size and evaluation cost of database join queries. These bounds…”
    Get full text
    Journal Article
  4. 4

    Ranked Enumeration of Conjunctive Query Results by Deep, Shaleen, Koutris, Paraschos

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science e.V 16.05.2025
    Published in Logical methods in computer science (16.05.2025)
    “…We study the problem of enumerating answers of Conjunctive Queries ranked according to a given ranking function. Our main contribution is a novel algorithm…”
    Get full text
    Journal Article
  5. 5

    A Near-Optimal Parallel Algorithm for Joining Binary Relations by Ketsman, Bas, Suciu, Dan, Tao, Yufei

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science e.V 05.05.2022
    Published in Logical methods in computer science (05.05.2022)
    “…We present a constant-round algorithm in the massively parallel computation (MPC) model for evaluating a natural join where every input relation has two…”
    Get full text
    Journal Article
  6. 6

    The Shapley Value of Tuples in Query Answering by Livshits, Ester, Bertossi, Leopoldo, Kimelfeld, Benny, Sebag, Moshe

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science e.V 01.01.2021
    Published in Logical methods in computer science (01.01.2021)
    “…We investigate the application of the Shapley value to quantifying the contribution of a tuple to a query answer. The Shapley value is a widely known numerical…”
    Get full text
    Journal Article
  7. 7

    Diversity of Answers to Conjunctive Queries by Merkl, Timo Camillo, Pichler, Reinhard, Skritek, Sebastian

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science e.V 01.01.2025
    Published in Logical methods in computer science (01.01.2025)
    “…Enumeration problems aim at outputting, without repetition, the set of solutions to a given problem instance. However, outputting the entire solution set may…”
    Get full text
    Journal Article
  8. 8

    Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners by Schmid, Markus L., Schweikardt, Nicole

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science Association 21.11.2024
    Published in Logical methods in computer science (21.11.2024)
    “…The regular spanners (characterised by vset-automata) are closed under the algebraic operations of union, join and projection, and have desirable algorithmic…”
    Get full text
    Journal Article
  9. 9

    Conjunctive Queries with Free Access Patterns under Updates by Kara, Ahmet, Nikolic, Milos, Olteanu, Dan, Zhang, Haozhe

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science e.V 01.01.2025
    Published in Logical methods in computer science (01.01.2025)
    “…We study the problem of answering conjunctive queries with free access patterns (CQAPs) under updates. A free access pattern is a partition of the free…”
    Get full text
    Journal Article
  10. 10

    Integrity Constraints Revisited: From Exact to Approximate Implication by Kenig, Batya, Suciu, Dan

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science e.V 2022
    “…Integrity constraints such as functional dependencies (FD) and multi-valued dependencies (MVD) are fundamental in database schema design. Likewise,…”
    Get full text
    Journal Article
  11. 11

    Linear Programs with Conjunctive Database Queries by Capelli, Florent, Crosetti, Nicolas, Niehren, Joachim, Ramon, Jan

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science Association 01.01.2024
    Published in Logical methods in computer science (01.01.2024)
    “…In this paper, we study the problem of optimizing a linear program whose variables are the answers to a conjunctive query. For this we propose the language…”
    Get full text
    Journal Article
  12. 12

    A Simple Algorithm for Consistent Query Answering under Primary Keys by Figueira, Diego, Padmanabha, Anantha, Segoufin, Luc, Sirangelo, Cristina

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science Association 21.02.2025
    Published in Logical methods in computer science (21.02.2025)
    “…We consider the dichotomy conjecture for consistent query answering under primary key constraints. It states that, for every fixed Boolean conjunctive query q,…”
    Get full text
    Journal Article
  13. 13

    Decidability of Querying First-Order Theories via Countermodels of Finite Width by Feller, Thomas, Lyon, Tim S., Ostropolski-Nalewaja, Piotr, Rudolph, Sebastian

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science e.V 01.01.2025
    Published in Logical methods in computer science (01.01.2025)
    “…We propose a generic framework for establishing the decidability of a wide range of logical entailment problems (briefly called querying), based on the…”
    Get full text
    Journal Article
  14. 14

    Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries by Kara, Ahmet, Nikolic, Milos, Olteanu, Dan, Zhang, Haozhe

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science e.V 01.01.2023
    Published in Logical methods in computer science (01.01.2023)
    “…We investigate trade-offs in static and dynamic evaluation of hierarchical queries with arbitrary free variables. In the static setting, the trade-off is…”
    Get full text
    Journal Article
  15. 15

    From traditional teaching to flipped classroom: Impact on learning in engineering degrees by Aura Hernàndez-Sabaté, Lluís Albarracín, Oriol Ramos, Debora Gil, Carles Sánchez, Enric Martí

    ISSN: 2013-6374
    Published: OmniaScience 19.06.2024
    “…Computer engineering students should develop competences related to the contents of databases design and SQL queries. For this purpose, the recommendations on…”
    Get full text
    Journal Article
  16. 16

    Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries by Figueira, Diego, Morvan, Rémi

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science Association 01.03.2025
    Published in Logical methods in computer science (01.03.2025)
    “…We show that the problem of whether a query is equivalent to a query of tree-width$k$is decidable, for the class of Unions of Conjunctive Regular Path Queries…”
    Get full text
    Journal Article
  17. 17

    Infinite Probabilistic Databases by Grohe, Martin, Lindner, Peter

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science e.V 25.02.2022
    Published in Logical methods in computer science (25.02.2022)
    “…Probabilistic databases (PDBs) model uncertainty in data in a quantitative way. In the established formal framework, probabilistic (relational) databases are…”
    Get full text
    Journal Article
  18. 18

    Unbalanced Triangle Detection and Enumeration Hardness for Unions of Conjunctive Queries by Bringmann, Karl, Carmeli, Nofar

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science Association 27.03.2025
    Published in Logical methods in computer science (27.03.2025)
    “…We study the enumeration of answers to Unions of Conjunctive Queries (UCQs) with optimal time guarantees. More precisely, we wish to identify the queries that…”
    Get full text
    Journal Article
  19. 19

    The Complexity of Aggregates over Extractions by Regular Expressions by Doleschal, Johannes, Kimelfeld, Benny, Martens, Wim

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science e.V 01.01.2023
    Published in Logical methods in computer science (01.01.2023)
    “…Regular expressions with capture variables, also known as regex-formulas, extract relations of spans (intervals identified by their start and end indices) from…”
    Get full text
    Journal Article
  20. 20

    Rewriting with Acyclic Queries: Mind Your Head by Geck, Gaetano, Keppeler, Jens, Schwentick, Thomas, Spinrath, Christopher

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science e.V 01.01.2023
    Published in Logical methods in computer science (01.01.2023)
    “…The paper studies the rewriting problem, that is, the decision problem whether, for a given conjunctive query$Q$and a set$\mathcal{V}$of views, there is a…”
    Get full text
    Journal Article