Projects in Awesome Lists tagged with database-theory
A curated list of projects in awesome lists tagged with database-theory .
https://github.com/ryanlinjui/course-learning
List of NTNU, NTU, NTUST courses that I learned.
adsp advanced-digital-signal-processing alogrithms ar-vr-programming artificial-intelligence assignment-solutions cg computer-graphics computer-networks computer-programming data-structures database-theory image-processing information-security iot ntnu ntu ntust ooad
Last synced: 07 May 2025
https://github.com/monsterkrampe/existential-rules-in-lean
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.
database-theory knowledge-representation logic reasoning
Last synced: 16 Jun 2026
https://github.com/liannoi/exam-database
Examination work on subjects "Database Theory" and "Programming and Administration of the MS SQL Server DBMS"
database-theory exam exam-practice ms-sql-server sql sql-server t-sql
Last synced: 14 Mar 2026
