Data exchange in the presence of arithmetic comparisons

Afrati, F; Li, C; Pavlaki, V

dc.contributor.author	Afrati, F	en
dc.contributor.author	Li, C	en
dc.contributor.author	Pavlaki, V	en
dc.date.accessioned	2014-03-01T02:45:13Z
dc.date.available	2014-03-01T02:45:13Z
dc.date.issued	2008	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/32209
dc.subject	Conjunctive Queries	en
dc.subject	Data Exchange	en
dc.subject	Data Structure	en
dc.subject	Existence of Solution	en
dc.subject	Query Answering	en
dc.subject	Query Language	en
dc.subject	Satisfiability	en
dc.subject.other	Arithmetic comparisons	en
dc.subject.other	Computational complexity	en
dc.subject.other	Constraint theory	en
dc.subject.other	Data structures	en
dc.subject.other	Digital arithmetic	en
dc.subject.other	Polynomials	en
dc.subject.other	Electronic data interchange	en
dc.title	Data exchange in the presence of arithmetic comparisons	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1145/1353343.1353403	en
heal.identifier.secondary	http://dx.doi.org/10.1145/1353343.1353403	en
heal.publicationDate	2008	en
heal.abstract	Data exchange is the problem of transforming data structured under a schema (called source) into data structured under a different schema (called target). The emphasis of data exchange is to materialize a target instance (called solution) that satisfies the relationship between the schemas. Universal solutions were shown to be the most suitable solutions, mainly because they can be used to answer conjunctive queries posed over the target schema. Trying to extend this result to more expressive query languages fails, even if we only add inequalities (≠) to conjunctive queries. In this work we study data exchange in the presence of general arithmetic comparisons (<, ≤, >, ≥,=, ≠): (a) We consider queries posed over the target schema that belong to the class of unions of conjunctive queries with arithmetic comparisons (in short CQACs). (b) We exploit arithmetic comparisons to define more expressive data exchange settings, called DEAC settings. In particular, DEAC settings consist of constraints that involve arithmetic comparisons. For that, two new classes of dependencies (tgd-ACs and acgds) are introduced, to capture the need of arithmetic comparisons in source-to-target and target constraints. We show that in DEAC settings the existence of solution problem is in NP. We define a novel chase procedure called AC-chase which is a tree and we prove that it produces a universal solution (appropriately defined to deal with arithmetic comparisons). We show that the new concept of universal solution is the right tool for query answering in the case of unions of CQACs. The complexity of computing certain answers for unions of CQACs is shown to be coNP-complete. Moreover, we identify polynomial cases for a) computing a universal solution and b) computing certain answers. For that, we introduce the succinct AC-chase which is a sequence instead of a tree, but its result is not necessarily a solution. We identify cases where succinct AC-chase returns indeed a universal solution and we investigate the syntactic conditions of the query under which query answering takes polynomial time. We show that the latter is feasible even in cases where the result of chase is not a universal solution. Copyright 2008 ACM.	en
heal.journalName	Advances in Database Technology - EDBT 2008 - 11th International Conference on Extending Database Technology, Proceedings	en
dc.identifier.doi	10.1145/1353343.1353403	en
dc.identifier.spage	487	en
dc.identifier.epage	498	en