Search Results - "Bulinski, Michael"

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
  2. 2
  3. 3

    Inference control of open relational queries under closed-world semantics based on theorem proving by Biskup, Joachim, Bring, Martin, Bulinski, Michael

    Published in Information systems (Oxford) (01-10-2017)
    “…Relational database systems may serve to evaluate an open query under closed-world semantics. The evaluation returns an explicit output relation complemented…”
    Get full text
    Journal Article
  4. 4
  5. 5
  6. 6