Výsledky vyhľadávania - "Computer Science - Databases"

Upresniť hľadanie
  1. 1

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science e.V 15.06.2022
    Vydané v 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…”
    Získať plný text
    Journal Article
  2. 2

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science e.V 25.12.2023
    Vydané v 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…”
    Získať plný text
    Journal Article
  3. 3

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science e.V 16.05.2025
    Vydané v 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…”
    Získať plný text
    Journal Article
  4. 4

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science e.V 01.01.2021
    Vydané v 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…”
    Získať plný text
    Journal Article
  5. 5

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science e.V 05.05.2022
    Vydané v 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…”
    Získať plný text
    Journal Article
  6. 6

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science e.V 01.01.2025
    Vydané v 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…”
    Získať plný text
    Journal Article
  7. 7

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science Association 21.11.2024
    Vydané v 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…”
    Získať plný text
    Journal Article
  8. 8

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science e.V 01.01.2025
    Vydané v 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…”
    Získať plný text
    Journal Article
  9. 9

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science Association 01.01.2024
    Vydané v 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…”
    Získať plný text
    Journal Article
  10. 10

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science Association 21.02.2025
    Vydané v 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,…”
    Získať plný text
    Journal Article
  11. 11

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science e.V 01.01.2025
    Vydané v 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…”
    Získať plný text
    Journal Article
  12. 12

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: 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,…”
    Získať plný text
    Journal Article
  13. 13

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science e.V 01.01.2023
    Vydané v 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…”
    Získať plný text
    Journal Article
  14. 14

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

    ISSN: 2013-6374
    Vydavateľské údaje: 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…”
    Získať plný text
    Journal Article
  15. 15

    Infinite Probabilistic Databases Autor Grohe, Martin, Lindner, Peter

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science e.V 25.02.2022
    Vydané v 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…”
    Získať plný text
    Journal Article
  16. 16

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science Association 27.03.2025
    Vydané v 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…”
    Získať plný text
    Journal Article
  17. 17

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science e.V 01.01.2023
    Vydané v 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…”
    Získať plný text
    Journal Article
  18. 18

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science Association 01.03.2025
    Vydané v 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…”
    Získať plný text
    Journal Article
  19. 19

    Enumerating Answers to First-Order Queries over Databases of Low Degree Autor Durand, Arnaud, Schweikardt, Nicole, Segoufin, Luc

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science Association 10.05.2022
    Vydané v Logical methods in computer science (10.05.2022)
    “…A class of relational databases has low degree if for all$\delta>0$ , all but finitely many databases in the class have degree at most$n^{\delta}$ , where$n$is…”
    Získať plný text
    Journal Article
  20. 20

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

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science e.V 01.01.2023
    Vydané v 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…”
    Získať plný text
    Journal Article