Quantifiers in Action [electronic resource] : Generalized Quantification in Query, Logical and Natural Languages /
Badia, Antonio.author.
Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis(1977 :Durham, England)
London Mathematical Society.
Fourman, M. P.,1950-
Mulvey, C. J.,1946-
Scott, Dana S.
The database industry is clearly a multi-billion, world-wide, all-encompassing part of the software world. This is part thanks to the standardization of query languages in the form of SQL. And yet, it is well known that SQL has significant shortcomings. Quantifiers in Action: Generalized Quantification in Query, Logical and Natural Languages analyzes one of those shortcomings, the way in which quantification is dealt with in SQL. 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. Hence, GQs can be a meaningful extension of the treatment of quantification in query languages. Even though studied within the theoretical community up until now, GQs can be successfully applied, and are a perfect example of a practical theory within databases. This book provides a brief background in logic and introduces the concept of GQs, and then develops a query language based on GQs, called QLGQ. Using QLGQ, the reader explores the efficient implementation of the concept, always a primary consideration in databases. This professional book also includes several extensions, for use with documents employing question and answer techniques. Quantifiers in Action: Generalized Quantification in Query, Logical and Natural Languages is the result of several years of research funded by NSF through a CAREER Award. It is designed for practitioners and researchers that work within the database management field. This volume is also suitable for graduate-level students in computer science.
Description based upon print version of record.
Includes bibliographical references.
Basic Concepts -- Generalized Quantifiers -- QLGQ: A Query Language with Generalized Quantifiers -- Implementation and Optimization of Standard GQs -- Quantifier Prefixes -- Cooperative Query Answering -- Generalized Quantifiers and Natural Language -- Extensions -- Conclusion.
The database industry is clearly a multi-billion, world-wide, all-encompassing part of the software world. This is part thanks to the standardization of query languages in the form of SQL. And yet, it is well known that SQL has significant shortcomings. Quantifiers in Action: Generalized Quantification in Query, Logical and Natural Languages analyzes one of those shortcomings, the way in which quantification is dealt with in SQL. 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. Hence, GQs can be a meaningful extension of the treatment of quantification in query languages. Even though studied within the theoretical community up until now, GQs can be successfully applied, and are a perfect example of a practical theory within databases. This book provides a brief background in logic and introduces the concept of GQs, and then develops a query language based on GQs, called QLGQ. Using QLGQ, the reader explores the efficient implementation of the concept, always a primary consideration in databases. This professional book also includes several extensions, for use with documents employing question and answer techniques. Quantifiers in Action: Generalized Quantification in Query, Logical and Natural Languages is the result of several years of research funded by NSF through a CAREER Award. It is designed for practitioners and researchers that work within the database management field. This volume is also suitable for graduate-level students in computer science.
Database management.
Programming languages (Electronic computers).
Information storage and retrieval.
Application software.
Computer communication systems.
Database Management.
Programming Languages, Compilers, Interpreters.
Information Storage and Retrieval.
Information Systems Applications (incl. Internet).
Computer Communication Networks.

The Kluwer international series on advances in database systems