Introduction to constraint databases
After a short presentation of the relational database, the author gives, as a generalization, the constraint database. The notion is based on the arithmetic atomic constraint, boolean atomic constraint, constraint formulas and a free boolean algebras and is formulated the constraint tuples, the constraint relation and finally the constraint database. After a graphical presentation of the Relational Algebra the author describes the Datalog System and a variate type of problems with application to the Datalog, SQL and Relational Model (queries, automata, computational complexity etc). A very interesting chapter is the Spatiotemporal Databases with the corresponding language and the interoperability between two database systems. A variate mathematical theory as the approximation theory, indexing and tree, linear programming and graphical models are used in the constraint databases. The author gives a short presentation of the DISCO System, PReSTO System and applications in Computer vision, Bioinformatics and Environment Modeling.
- Introduction to databases. From biological to spatio-temporal
- The CCUBE constraint object-oriented database system
- Constraint databases. First international symposium, CDB 2004, Paris, France, June 12--13, 2004. Proceedings.
- Estimating the maximum rise in temperature according to climate models using abstract interpretation
- HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems
- Constraint databases: promising technology or just intellectual exercise?
- An extended constraint deductive database: theory and implementation
- LTL over integer periodicity constraints
- Well (and better) quasi-ordered transition systems
- Linear-time temporal logics with Presburger constraints: an overview
- scientific article; zbMATH DE number 1515855 (Why is no real title available?)
- scientific article; zbMATH DE number 1515866 (Why is no real title available?)
- scientific article; zbMATH DE number 1759709 (Why is no real title available?)
- scientific article; zbMATH DE number 1406247 (Why is no real title available?)
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation
- On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases
- Constraint Databases
- Constraint Databases
- Efficient Evaluation of Arbitrary Relational Calculus Queries
- First steps towards taming description logics with strings
- Merging relational database technology with constraint technology
- Constraint automata on infinite data trees: from \(\mathrm{CTL}(\mathbb{Z})/\mathrm{CTL}^*(\mathbb{Z})\) to decision procedures
- Constraint automata on infinite data trees: from CTL\((\mathbb{Z})\text{CTL}^*(\mathbb{Z})\) to decision procedures
- On the freeze quantifier in Constraint LTL: Decidability and complexity
- An automata-theoretic approach to constraint LTL
- Verification of qualitative \(\mathbb Z\) constraints
- Trajectory databases: data models, uncertainty and complete query languages
This page was built for publication: Introduction to constraint databases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5925716)
