Intuitionistic Data Exchange


The field of Data Exchange has overcome many obstacles, but when it comes to negation in rule bodies combined with existentially quantified variables in rule heads, to unequalities ≠, as well as to inconsistency management, the same intractability barriers that plague the area of incomplete information arise. In this paper we develop an intuitionistic relevance-logic based semantics that allows us to extend the polynomial time “naive evaluation” technique to Data Exchange dependencies (TGDs and EGDs) with negated atoms and unequalities, and to Data Exchange Target Queries consisting of unions of conjunctive queries with negation and unequalities. The semantics is also paraconsistent, and avoids the intractability barriers encountered in inconsistency management as well.

Extracted Key Phrases

Cite this paper

@inproceedings{Grahne2015IntuitionisticDE, title={Intuitionistic Data Exchange}, author={G{\"{o}sta Grahne and Ali Moallemi and Adrian Onet}, booktitle={AMW}, year={2015} }