Login / Signup

Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity.

Lucy HamMarcel 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