Login / Signup
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices
Daniel Lima Ventura
Mauricio Ayala-Rincón
Fairouz Kamareddine
Published in:
WRS (2009)
Keyphrases
</>
normal form
database design
relational databases
information content
database theory
functional dependencies
formal definitions
nested relations
data dependencies
graph structure
relational algebra
mutual information
np complete
open problems