Properties of a Computational Lambda Calculus for Higher-Order Relational Queries.

Claudio Sacerdoti Coen Riccardo Treglia

Published in: ICTCS (2023)

Keyphrases

lambda calculus
relational queries
higher order
programming language
predicate calculus
probabilistic databases
program understanding
database query languages
general purpose
complex objects
databases
management system
sql queries