FO-Definability of Shrub-Depth.

Yijia Chen Jörg Flum

Published in: CSL (2020)

Keyphrases

first order logic
propositional logic
fixed point
database systems
expert systems
depth map
expressive power
depth information
transitive closure
neural network
data sources
data management