Login / Signup
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory.
Michael Benedikt
Pierre Pradic
Christoph Wernhard
Published in:
CoRR (2022)
Keyphrases
</>
probabilistic model
databases
high level
database
np hard
object oriented
default reasoning
proof theory