A SAT Approach to Query Optimization in Mediator Systems

Steven David Prestwich

doi:10.1007/s10472-004-9429-9

A SAT Approach to Query Optimization in Mediator Systems

Steven David Prestwich

Research output: Contribution to journal › Article › peer-review

Original language	English
Journal	Annals of Mathematics and Artificial Intelligence
DOIs	https://doi.org/10.1007/s10472-004-9429-9
Publication status	Published - 2004

Keywords

Computer science
Set (abstract data type)
Query optimization
Viewpoints
Simple (philosophy)
Selection (genetic algorithm)
Encoding (memory)
Theoretical computer science
Optimization problem
Complex system
Algorithm
Mathematical optimization
Data mining
Artificial intelligence
Mathematics
Programming language
Art
Philosophy
Epistemology
Visual arts

Access to Document

10.1007/s10472-004-9429-9

https://openalex.org/W2002103701Licence: CC BY-NC-ND

Cite this

@article{be1d144150a742e6af087f9b424b45c7,

title = "A SAT Approach to Query Optimization in Mediator Systems",

keywords = "Computer science, Set (abstract data type), Query optimization, Viewpoints, Simple (philosophy), Selection (genetic algorithm), Encoding (memory), Theoretical computer science, Optimization problem, Complex system, Algorithm, Mathematical optimization, Data mining, Artificial intelligence, Mathematics, Programming language, Art, Philosophy, Epistemology, Visual arts",

author = "Prestwich, \{Steven David\}",

year = "2004",

doi = "10.1007/s10472-004-9429-9",

language = "English",

journal = "Annals of Mathematics and Artificial Intelligence",

issn = "1012-2443",

publisher = "Springer Netherlands",

}

TY - JOUR

T1 - A SAT Approach to Query Optimization in Mediator Systems

AU - Prestwich, Steven David

PY - 2004

Y1 - 2004

KW - Computer science

KW - Set (abstract data type)

KW - Query optimization

KW - Viewpoints

KW - Simple (philosophy)

KW - Selection (genetic algorithm)

KW - Encoding (memory)

KW - Theoretical computer science

KW - Optimization problem

KW - Complex system

KW - Algorithm

KW - Mathematical optimization

KW - Data mining

KW - Artificial intelligence

KW - Mathematics

KW - Programming language

KW - Art

KW - Philosophy

KW - Epistemology

KW - Visual arts

U2 - 10.1007/s10472-004-9429-9

DO - 10.1007/s10472-004-9429-9

M3 - Article

SN - 1012-2443

JO - Annals of Mathematics and Artificial Intelligence

JF - Annals of Mathematics and Artificial Intelligence

ER -