Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Amirhossein Alizad

dblp:423/8137 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Database theory › data dependencies › chase procedure
chase termination
1.012026
Semi-Oblivious Chase Termination for Linear Existential Rules and Beyond: An Experimental Analysis · ACM Trans. Database Syst. 2026
Database theory
linearization
1.012026
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
YearPublicationVenuePosition
2026 Semi-Oblivious Chase Termination for Linear Existential Rules and Beyond: An Experimental Analysis
abstract
The 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 Data1