On the Expressive Power of Schemes.

Gilles Dowek Ying Jiang

Published in: CoRR (2023)

Keyphrases

expressive power
first order logic
query language
data complexity
relational algebra
transitive closure
computational properties
database
data model
database systems
search algorithm
expert systems
recursive queries
closure properties
user defined aggregates