# Analyze and Check FDs, print FDs as part of Datalog programs

IITDBGroup / gprom

GProM is a middleware that adds support for provenance to database backends.

Apache License 2.0

8 stars 5 forks source link

Closed lordpretzel closed 2 years ago

lordpretzel commented 2 years ago

[x] FDs are printed as part of the Datalog program
[x] analyze FDs to check that they pertain to existing tables
[x] support IDB
- [x] support IDB in analyzer (attributes are a0, a1, ...)
- [x] support IDB FDs in semantic optimizer

lordpretzel commented 2 years ago

Fds are now printed as part of a Datalog program overview

lordpretzel commented 2 years ago

variabels in comparison predicates are not backendified