On the Orthographic Dimension of Constraint Databases

Stéphane Grumbach 1 Philippe Rigaux 2 Luc Segoufin 3
1 VERSO - Databases
Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR8629
3 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : One of the most important advantages of constraint data\-bases is their ability to represent and to manipulate data in arbitrary dimension within a uniform framework. Although the complexity of querying such databases by standard means such as first-order queries has been shown to be tractable for reasonable constraints (e.g. polynomial), it depends badly (roughly speaking exponentially) upon the dimension of the data. A precise analysis of the trade-off between the dimension of the input data and the complexity of the queries reveals that the complexity strongly depends upon the use the input makes of its dimensions. We introduce the concept of orthographic dimension, which, for a convex object $O$, corresponds to the dimension of the (component) objects $O_1,...,O_n$, such that $O=O_1\times\cdots\times O_n$. We study properties of databases with bounded orthographic dimension in a general setting of o-minimal structures, and provide a syntactic characterization of first-order orthographic dimension preserving queries. The main result of the paper concerns linear constraint databases. We prove that orthographic dimension preserving Boolean combination of conjunctive queries can be evaluated independently of the global dimension, with operators limited to the orthographic dimension, in parallel on the components. This results in an extremely efficient optimization mechanism, very easy to use in practical applications.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01124460
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 10:36:07 AM
Last modification on : Monday, September 9, 2019 - 6:58:01 PM

Identifiers

  • HAL Id : hal-01124460, version 1

Citation

Stéphane Grumbach, Philippe Rigaux, Luc Segoufin. On the Orthographic Dimension of Constraint Databases. Intl. Conf. on Database Theory (ICDT), Jan 1999, X, France. ⟨hal-01124460⟩

Share

Metrics

Record views

208