Internalizing Relational Parametricity in the Extensional Calculus of Constructions.
Neelakantan R. KrishnaswamiDerek DreyerPublished in: CSL (2013)
Keyphrases
- relational calculus
- database query languages
- relational data
- relational databases
- data model
- relational model
- relational learning
- real time
- decision trees
- relational algebra
- probabilistic relational models
- computer algebra
- automated theorem proving
- conceptual schema
- statistical relational learning
- partial order
- complex objects
- database systems
- data mining
- databases