Bidirectional Type Checking for Relational Properties.

Ezgi Çiçek Weihao Qu Gilles Barthe Marco Gaboardi Deepak Garg

Published in: CoRR (2018)

Keyphrases

type checking
database query languages
relational databases
data model
databases
relational data
data types
relational model
preprocessing
knowledge discovery