A Python library implementing provenance-aware relational algebra (σ, π, ×, ⊎, δ) over K-relations, supporting Boolean, Boolean Function, Counting, and Polynomial semirings.
-
Updated
Apr 11, 2026 - Python
#
database-theory
Here are 2 public repositories matching this topic...
Python implementation of a ranked enumeration algorithm for acyclic, projection-free conjunctive queries, following the decomposition-based framework of Deep and Koutris (ICDT 2021).
-
Updated
Apr 2, 2026 - Python
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."