The Relational Machine Calculus.

Chris Barrett Daniel Castle Willem Heijltjes

Published in: LICS (2024)

Keyphrases

data model
relational databases
relational data
automated deduction
relational calculus
multi relational
data sets
expressive power
database query languages
batch processing
relational learning
relational model
object oriented
data structure
artificial intelligence
data mining
databases