Definition
Constraint databases are a generalization of relational databases aimed to store possibly infinite-sized sets of data by means of a finite representation (constraints) of that data. In general, constraints are expressed by quantifier-free first-order formulas over some fixed vocabulary Ω and are interpreted in some Ω-structure \( \mathrm{\mathcal{M}}=\left\langle \mathbb{U},\Omega \right\rangle \). By varying Ω and ℳ, constraint databases can model a variety of data models found in practice including traditional relational databases, spatial and spatiotemporal databases, and databases with text fields (strings). More formally, let Ω be a fixed vocabulary consisting of function, predicate, and constant symbols, and let ℛ = {R 1,  ... , R ℓ .} be a relational schema, where each relation name R i is of arity n i > 0. An Ω-constraint database D with schema ℛ maps each relation R i  ∈ ℛ to a quantifier-free formula \( {\varphi}_{R_i}^{\mathbf{D}}\left({x}_1,...,{x}_{n_i}\right) \)...
Recommended Reading
Benedikt M, Libkin L, Schwentick T, Segoufin L. Definable relations and first-order query languages over strings. J ACM. 2003;50(5):694–751.
Bochnak J, Coste M, Roy MF. Real algebraic geometry. Berlin: Springer; 1998.
Kanellakis PC, Kuper GM, Revesz PZ. Constraint query languages. J Comput Syst Sci. 1995;51(1):26–52.
Kuper GM, Libkin L, Paredaens J, editors. Constraint databases. Berlin: Springer; 2000.
Revesz PZ. Introduction to constraint databases. Berlin: Springer; 2002.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2017 Springer Science+Business Media LLC
About this entry
Cite this entry
Geerts, F. (2017). Constraint Databases. In: Liu, L., Özsu, M. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4899-7993-3_1268-2
Download citation
DOI: https://doi.org/10.1007/978-1-4899-7993-3_1268-2
Received:
Accepted:
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4899-7993-3
Online ISBN: 978-1-4899-7993-3
eBook Packages: Springer Reference Computer SciencesReference Module Computer Science and Engineering