Please use this identifier to cite or link to this item: https://doi.org/10.1007/s10472-004-9429-9
DC FieldValue
dc.titleA SAT approach to query optimization in mediator systems
dc.contributor.authorPrestwich, S.
dc.contributor.authorBressan, S.
dc.date.accessioned2013-07-04T08:48:55Z
dc.date.available2013-07-04T08:48:55Z
dc.date.issued2005
dc.identifier.citationPrestwich, S.,Bressan, S. (2005). A SAT approach to query optimization in mediator systems. Annals of Mathematics and Artificial Intelligence 43 (1-4) : 195-210. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/s10472-004-9429-9" target="_blank">https://doi.org/10.1007/s10472-004-9429-9</a>
dc.identifier.issn10122443
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/42323
dc.description.abstractMediator systems integrate distributed, heterogeneous and autonomous data sources, but their effective use requires the solution of hard query optimization problems. This is usually done in two phases: the selection of a set of data sources is similar to a set covering problem, and their ordering into a feasible and efficient query is a capability restricted join order problem. However, a two-phase approach is unlikely to find optimum queries. We describe a new single-phase approach that, under a simple cost model, can be encoded and solved as a SAT problem. Results on artificial benchmarks indicate that this is an interesting problem from the encoding and search viewpoints, and we use them to address three of the ten SAT challenges posed by Selman, Kautz and McAllester in 1997.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1007/s10472-004-9429-9
dc.sourceScopus
dc.subjectmediator systems
dc.subjectquery optimization
dc.subjectsearch
dc.subjectsymmetry
dc.typeReview
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1007/s10472-004-9429-9
dc.description.sourcetitleAnnals of Mathematics and Artificial Intelligence
dc.description.volume43
dc.description.issue1-4
dc.description.page195-210
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Page view(s)

174
checked on Jan 20, 2022

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.