Login / Signup

Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).

Matthias HeizmannMax BarthDaniel DietschLeonard FichtnerJochen HoenickeDominik KlumppMehdi NaouarTanja SchindlerFrank SchüsseleAndreas Podelski
Published in: TACAS (2) (2023)
Keyphrases
  • normal form
  • database design
  • relational databases
  • functional dependencies
  • relational algebra
  • nested relations
  • data dependencies
  • information content
  • real valued
  • prime implicates