Skip to content

A program for finding the Minimum coverage of functional dependencies, closures of all sets of attributes, determining the minimum keys, non-trivial FDs, precomposition to any normal forms (in development!), Checking the decomposition for the maturation property of FDs and lossless connections.

Notifications You must be signed in to change notification settings

oQaris/DBSolver

Repository files navigation

About

A program for finding the Minimum coverage of functional dependencies, closures of all sets of attributes, determining the minimum keys, non-trivial FDs, precomposition to any normal forms (in development!), Checking the decomposition for the maturation property of FDs and lossless connections.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages