Complex Quantified Statements Evaluated Using Gradual Numbers

This paper is devoted to the evaluation of quantified statements in the context of flexible querying of relational databases. Two types of quantified statements can be distinguished and the most sophisticated one (of type “Q B X are A”) is considered in this paper. The contribution is to propose a new theoretical background for their evaluation (using an arithmetic on gradual numbers (ℕ f , ℤ f , ℚ f )).