Closed world chasing

  • Authors:
  • Gösta Grahne;Adrian Onet

  • Affiliations:
  • Concordia University, Montreal, Canada;Concordia University, Montreal, Canada

  • Venue:
  • Proceedings of the 4th International Workshop on Logic in Databases
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We give a new closed world semantics for data exchange called constructible solutions semantics, and argue that this semantics is well suited for answering non-monotonic queries in data exchange. We show that the space of constructible solutions can be represented by conditional tables obtainable trough a novel conditional chase procedure which generalizes the classical chase.