Výsledky vyhľadávania - "Computer Science - Databases"
-
1
The Shapley Value of Inconsistency Measures for Functional Dependencies
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 15.06.2022Vydané 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
Robustness against Read Committed for Transaction Templates with Functional Constraints
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 25.12.2023Vydané 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
Ranked Enumeration of Conjunctive Query Results
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 16.05.2025Vydané 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
The Shapley Value of Tuples in Query Answering
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 01.01.2021Vydané 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
A Near-Optimal Parallel Algorithm for Joining Binary Relations
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 05.05.2022Vydané 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
Diversity of Answers to Conjunctive Queries
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 01.01.2025Vydané 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
Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science Association 21.11.2024Vydané 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
Conjunctive Queries with Free Access Patterns under Updates
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 01.01.2025Vydané 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
Linear Programs with Conjunctive Database Queries
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science Association 01.01.2024Vydané 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
A Simple Algorithm for Consistent Query Answering under Primary Keys
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science Association 21.02.2025Vydané 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
Decidability of Querying First-Order Theories via Countermodels of Finite Width
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 01.01.2025Vydané 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
Integrity Constraints Revisited: From Exact to Approximate Implication
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 2022Vydané v Logical methods in computer science (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
Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 01.01.2023Vydané 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
From traditional teaching to flipped classroom: Impact on learning in engineering degrees
ISSN: 2013-6374Vydavateľské údaje: OmniaScience 19.06.2024Vydané v Journal of technology and science education (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
Infinite Probabilistic Databases
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 25.02.2022Vydané 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
Unbalanced Triangle Detection and Enumeration Hardness for Unions of Conjunctive Queries
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science Association 27.03.2025Vydané 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
The Complexity of Aggregates over Extractions by Regular Expressions
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 01.01.2023Vydané 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
Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science Association 01.03.2025Vydané 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
Enumerating Answers to First-Order Queries over Databases of Low Degree
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science Association 10.05.2022Vydané 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
Rewriting with Acyclic Queries: Mind Your Head
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 01.01.2023Vydané 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