Demo Data from EDBT 2026 / reviewers in the wild / expert
Matilda Häggblom
dblp:377/8976
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2025
—ORCID · unresolved
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 2 · 2 first-author · 2 since 2021Theory of computation · 2 · 2 first-author · 2 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Logic in computer science · 100% | |
| Databases, data mining, and information retrieval
1 paper |
Database theory · 100% |
Topics — the 3 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Database theory
data dependencies |
0.8 | 1 | 2024 | Axiomatization of Approximate Exclusion · KR 2024 |
Logic in computer science › meta-logic
axiomatization |
0.8 | 1 | 2024 | Axiomatization of Approximate Exclusion · KR 2024 |
Logic in computer science › formal semantics
team semantics |
0.8 | 1 | 2024 | Axiomatization of Approximate Exclusion · KR 2024 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Inclusion with Repetitions and Boolean Constants - Implication Problems Revisited
Matilda Häggblom |
JELIA (2) | 1 |
| 2024 | Axiomatization of Approximate ExclusionabstractWe define and axiomatize approximate exclusion atoms in the team semantic setting. A team is a set of assignments, which can be seen as a mathematical model of a uni-relational database. We say that an approximate exclusion atom is satisfied in a team if the corresponding usual exclusion atom is satisfied in a large enough subteam. We consider the implication problem for a set of approximate exclusion atoms and show that it is axiomatizable for consequences with a degree of approximation that is not too large. We prove the completeness theorem for usual exclusion atoms, currently missing from the literature, and generalize it to the approximate case. We also provide a polynomial time algorithm for the implication problems. The results can also be applied to exclusion dependencies in database theory. Matilda Häggblom |
KR | 1 |