In our most recent paper, we're using SAT solvers to find lexicographically smallest algebra isomorphic to a given one. More at http://people.ciirc.cvut.cz/~janotmik/

#sat #algebra #lexicographicallysmallest #normalform

Dachte, das MS Access Gefrickel & Geraffel seit 2020 los zu sein. Leider muss ich ein Legacy Programm migrieren (lassen), der kurz vor Rente stehende Developer bekommt seine technischen Schulden nicht in den Griff, kann für diverse DB Inhalte keine Relationen liefern, da diese nur über die GUI implementiert wurden, nicht auf Tabellen Ebene. Man müsste #Microsoft auf Schmerzensgeld verklagen 😅 #microsoftaccess is evil #vba #rdbms #RelationaleDatenbanken #development #normalisierung #normalform