Introduction to constraint databases (Q5925716)

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.