Closure Properties of Measurable Ultrapowers.

Philipp Lücke Sandra Müller

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

Keyphrases

closure properties
expressive power
context free grammars
tree automata
conjunctive queries
query language
structural properties
context free
relational databases
data model
state space
np complete
first order logic
databases
query answering
regular expressions
metadata