The database industry is clearly a multi-billion, world-wide, all-encompassing part of the software world. Quantification in Databases: Generalized Quantifiers in Action introduces a query language called GQs Generalized Quantification in Query. It is well known that most query languages are simply versions of First Order Logic (FOL). GQs are an extension of the idea of quantifier in FOL. GQs are a perfect example of a practical theory within databases...