This repo contains formalizations around Existential Rules (aka. Tuple-Generating Dependencies) with disjunctions and the Chase algorithm. Mostly this will be about (basics of) my own formal works.
-
Updated
Nov 6, 2025 - Lean
#
database-theory
Here is 1 public repository matching this topic...
Improve this page
Add a description, image, and links to the database-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the database-theory topic, visit your repo's landing page and select "manage topics."