Axiomatization of local-global principles for pp-formulas in spaces of orderings.

Vincent Astier Marcus Tressl

Published in: Arch. Math. Log. (2005)

Keyphrases

database
data sets
case study
database systems
evolutionary algorithm
theoretical framework
design principles
design space
general theory