Login / Signup
Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity.
Lucy Ham
Marcel Jackson
Published in:
CoRR (2022)
Keyphrases
</>
finite model theory
database theory
normal form
database
computational complexity
database design
fixed point
propositional logic
open problems
databases
data model
special case
relational algebra