Commits · a6cad567e49fef4676472773b52374679e2e68ca · Pedot Nicola / semint-kprime-arm

Apr 01, 2020
- adds drop table, drop constraint · a6cad567
  npedot authored 4 years ago
  
  a6cad567
- adds cmd add double inclusion to schema · 4fbbb10e
  npedot authored 4 years ago
  
  4fbbb10e
- adds command trace add foreignkey · e6798be7
  npedot authored 4 years ago
  
  e6798be7
- adds add table to schema · 36c18787
  npedot authored 4 years ago
  
  36c18787
Feb 19, 2020
- removes print from test · 429d035a
  npedot authored 5 years ago
  
  429d035a
- merge tn bz Schema · 9f030128
  npedot authored 5 years ago
  
  9f030128
Feb 12, 2020
- adds schema algo projection and minimalbasis · db4e33eb
  npedot authored 5 years ago
  
  db4e33eb
- adds algo schema projection · 7fe921dc
  npedot authored 5 years ago
  
  7fe921dc
- adds algo schema remove unnecessary FD · 8857769a
  npedot authored 5 years ago
  
  8857769a
- adds powerset test · 6f16b7cf
  npedot authored 5 years ago
  
  6f16b7cf
- adds schema equivalent algo · 5c0186ca
  npedot authored 5 years ago
  
  5c0186ca
- adds algo schema remove trivals · 68495530
  npedot authored 5 years ago
  
  68495530
- adds basic constraint to string test · ec3587fb
  npedot authored 5 years ago
  
  ec3587fb
- adds test algo schema closure · 43ed59a7
  npedot authored 5 years ago
  
  43ed59a7
- adds schema keys algo with test · 016ed25b
  npedot authored 5 years ago
  
  016ed25b
- adds test superkeys · 2e46c374
  npedot authored 5 years ago
  
  2e46c374
- adds superkeys algo to schema · f2880f48
  npedot authored 5 years ago
  
  f2880f48