Login / Signup

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory.

Michael BenediktPierre PradicChristoph Wernhard
Published in: CoRR (2022)
Keyphrases
  • probabilistic model
  • databases
  • high level
  • database
  • np hard
  • object oriented
  • default reasoning
  • proof theory