Search Results - Computer Science - Databases

Refine Results
  1. 1

    Corrections to “On the data complexity of consistent query answering over graph databases [Journal of Computer and System Sciences 88 (2017) 164–194]” by Barceló, Pablo, Fontaine, Gaëlle, Salvati, Sylvain, Tison, Sophie

    ISSN: 0022-0000
    Published: Elsevier Inc 01.02.2026
    Published in Journal of computer and system sciences (01.02.2026)
    “…Applications of graph databases are prone to inconsistency due to interoperability issues…”
    Get full text
    Journal Article
  2. 2

    Mind the Gap: Understanding Coverage Breaks of Newly Launched Engineering and Computer Science Journals in Core Databases by Zhang, Yuening, Yu, Dylan

    ISSN: 1092-1206, 1092-1206
    Published: University of Alberta Library 05.10.2023
    “…Journal coverage is an important factor to consider when evaluating a database. In this study, we counted the number of articles…”
    Get full text
    Journal Article
  3. 3

    Software for pest-management science: computer models and databases from the United States Department of Agriculture-Agricultural Research Service by Wauchope, R Don, Ahuja, Lajpat R, Arnold, Jeffrey G, Bingner, Ron, Lowrance, Richard, van Genuchten, Martinus T, Adams, Larry D

    ISSN: 1526-498X, 1526-4998
    Published: Chichester, UK John Wiley & Sons, Ltd 01.06.2003
    Published in Pest management science (01.06.2003)
    “…We present an overview of USDA Agricultural Research Service (ARS) computer models and databases related to pest…”
    Get full text
    Journal Article
  4. 4

    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…”
    Get full text
    Journal Article
  5. 5

    Is DBLP a Good Computer Science Journals Database? by Rosenfeld, Ariel

    ISSN: 0018-9162, 1558-0814
    Published: New York IEEE 01.03.2023
    Published in Computer (Long Beach, Calif.) (01.03.2023)
    “…DBLP provides comprehensive and free computer science (CS) bibliographic data to all. But how well does it really cover CS journals…”
    Get full text
    Journal Article
  6. 6

    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 cleaning…”
    Get full text
    Journal Article
  7. 7

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

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science Association 10.05.2022
    Published in 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…”
    Get full text
    Journal Article
  8. 8

    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
  9. 9

    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
  10. 10

    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
  11. 11

    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)
    “… whether it evaluates to true over all repairs of a given inconsistent database) is either polynomial time or coNP-complete…”
    Get full text
    Journal Article
  12. 12

    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
  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

    A Trichotomy for Regular Trail Queries by Martens, Wim, Niewerth, Matthias, Popp, Tina

    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)
    “… In order to avoid having to consider infinitely many paths, some database engines restrict such paths to be trails, that is, they only consider paths without repeated edges…”
    Get full text
    Journal Article
  15. 15

    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
  16. 16

    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
  17. 17

    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
  18. 18

    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
  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

    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