List of NTNU, NTU, NTUST courses that I learned.

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.

A Reddit Database for Course 2DV513 - Database Theory

The Magic of Programming

Implementation of algorithms in Python regarding the direct product and homomorphism in labelled directed graphs.

Practical works and homeworks on the subject "Database Theory. MS SQL Server" (10.06.2022 - 01.07.2022) at STEP IT Academy in Kryvyi Rih.

Examination work on subjects "Database Theory" and "Programming and Administration of the MS SQL Server DBMS"

A Python library implementing provenance-aware relational algebra (σ, π, ×, ⊎, δ) over K-relations, supporting Boolean, Boolean Function, Counting, and Polynomial semirings.

Python implementation of a ranked enumeration algorithm for acyclic, projection-free conjunctive queries, following the decomposition-based framework of Deep and Koutris (ICDT 2021).