Characterizing Downwards closed, strongly First-order, Relativizable Dependencies.

Pietro Galliani

Published in: J. Symb. Log. (2019)

Keyphrases

first order logic
higher order
dependency graphs
queueing networks
database schemes
data model
horn clauses
data dependencies
dependency relations
closed world
stochastic dominance
open or closed