Rickerd1234 / RelationalAlgebra Star 6 Code Issues Pull requests University Master Thesis first-order-logic relational-databases relational-model mathlib lean4 relationalalgebra mathlib4 query-equivalence Updated Jan 27, 2026 Lean
Shubham-Bhavar / My_Sql_Projects Star 0 Code Issues Pull requests MySQL queries and projects covering database design, CRUD operations, joins, subqueries, views, stored procedures, triggers, and data analysis. schema sql database architecture constraints database-management foreign-keys relational-databases joins subqueries clauses primarykey crudoperations relationalalgebra queries-database Updated Jun 9, 2026