Demo Data from EDBT 2026 / reviewers in the wild / expert
Amirhossein Alizad
dblp:423/8137
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2026
0009-0003-6357-7894ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Databases, data management, data science and information retrieval · 2 · 2 first-author · 2 since 2021Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 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.
| Databases, data mining, and information retrieval
1 paper |
Database theory · 100% |
Topics — the 2 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Database theory › data dependencies › chase procedure
chase termination |
1.0 | 1 | 2026 | Semi-Oblivious Chase Termination for Linear Existential Rules and Beyond: An Experimental Analysis · ACM Trans. Database Syst. 2026 |
Database theory
linearization |
1.0 | 1 | 2026 | Semi-Oblivious Chase Termination for Linear Existential Rules and Beyond: An Experimental Analysis · ACM Trans. Database Syst. 2026 |
Methods — techniques the papers use, named apart from their topics
experimental analysis · 1.0complexity analysis · 1.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Semi-Oblivious Chase Termination for Linear Existential Rules and Beyond: An Experimental AnalysisabstractThe chase procedure is a fundamental algorithmic tool in databases that allows us to reason with constraints, such as existential rules, with a plethora of applications. It takes a database and a set of constraints as input and iteratively completes the database as dictated by the constraints. A key challenge, though, is the fact that the chase may not terminate, which leads to the problem of checking whether it terminates given a database and a set of constraints. In this work, we focus on the semi-oblivious version of the chase, which is well-suited for practical implementations, and linear existential rules, a central class of constraints with several applications. In this setting, there is a mature body of theoretical work that provides syntactic characterizations of when the chase terminates, algorithms for checking chase termination, precise complexity results, and worst-case optimal bounds on the size of the result of the chase (whenever it is finite). Our main objective is to experimentally evaluate the existing chase termination algorithms with the aim of understanding which input parameters affect their performance, clarifying whether they can be used in practice, and revealing their performance limitations. Concerning guarded existential rules, a natural generalization of linear existential rules, one can reuse the machinery for linear existential rules by first applying the so-called linearization technique, that is, the technique of converting guarded existential rules into linear existential rules without affecting the termination of the chase. A secondary objective of this work is to understand how realistic is the use of the linearization technique in the context of the semi-oblivious chase termination problem. Amirhossein Alizad, Marco Calautti, Mostafa Milani, Andreas Pieris |
ACM Trans. Database Syst. | 1 |
| 2025 | Relation-Stratified Sampling for Shapley Values Estimation in Relational Databases
Amirhossein Alizad, Mostafa Milani |
IEEE Big Data | 1 |