output
20232025
most citedNemo: First Glimpse of a New Rule Engine

4 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2025Show all

1 paper · 1 filter

cs.DB2025

About the Multi-Head Linear Restricted Chase Termination

Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski +1

The chase is a ubiquitous algorithm in database theory. However, for existential rules (aka tuple-generating dependencies), its termination is not guaranteed, and even undecidable…