Search Results - Computer Science - Databases
-
1
Corrections to “On the data complexity of consistent query answering over graph databases [Journal of Computer and System Sciences 88 (2017) 164–194]”
ISSN: 0022-0000Published: Elsevier Inc 01.02.2026Published 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
Mind the Gap: Understanding Coverage Breaks of Newly Launched Engineering and Computer Science Journals in Core Databases
ISSN: 1092-1206, 1092-1206Published: University of Alberta Library 05.10.2023Published in Issues in science and technology librarianship (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
Software for pest-management science: computer models and databases from the United States Department of Agriculture-Agricultural Research Service
ISSN: 1526-498X, 1526-4998Published: Chichester, UK John Wiley & Sons, Ltd 01.06.2003Published 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
Infinite Probabilistic Databases
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science e.V 25.02.2022Published 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
Is DBLP a Good Computer Science Journals Database?
ISSN: 0018-9162, 1558-0814Published: New York IEEE 01.03.2023Published 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
The Shapley Value of Inconsistency Measures for Functional Dependencies
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science e.V 15.06.2022Published 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
Enumerating Answers to First-Order Queries over Databases of Low Degree
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science Association 10.05.2022Published 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
Ranked Enumeration of Conjunctive Query Results
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science e.V 16.05.2025Published 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
Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science Association 01.03.2025Published 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
Linear Programs with Conjunctive Database Queries
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science Association 01.01.2024Published 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
A Simple Algorithm for Consistent Query Answering under Primary Keys
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science Association 21.02.2025Published 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
Robustness against Read Committed for Transaction Templates with Functional Constraints
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science e.V 25.12.2023Published 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
Decidability of Querying First-Order Theories via Countermodels of Finite Width
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science e.V 01.01.2025Published 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
A Trichotomy for Regular Trail Queries
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science e.V 01.01.2023Published 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
Conjunctive Queries with Free Access Patterns under Updates
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science e.V 01.01.2025Published 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
Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science Association 21.11.2024Published 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
Diversity of Answers to Conjunctive Queries
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science e.V 01.01.2025Published 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
The Shapley Value of Tuples in Query Answering
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science e.V 01.01.2021Published 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
The Complexity of Aggregates over Extractions by Regular Expressions
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science e.V 01.01.2023Published 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
Unbalanced Triangle Detection and Enumeration Hardness for Unions of Conjunctive Queries
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science Association 27.03.2025Published 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