TypeQL: A Type-Theoretic & Polymorphic Query Language.

Christoph Dorn Haikal Pribadi

Published in: Proc. ACM Manag. Data (2024)

Keyphrases

query language
type checking
database query languages
data model
object oriented
neural network
artificial intelligence
decision trees
expressive power
social choice
database
information systems
search algorithm
query evaluation
complex objects
relational algebra