Login / Signup
Inference control of open relational queries under closed-world semantics based on theorem proving.
Joachim Biskup
Martin Bring
Michael Bulinski
Published in:
Inf. Syst. (2017)
Keyphrases
</>
theorem proving
closed world
inference control
relational queries
data exchange
first order logic
theorem prover
sql queries
inference rules
conjunctive queries
object oriented
databases
expert systems
database design