*-Autonomous categories

The database industry is a multi-billion, world-wide, all-encompassing part of the software world. Quantifiers in Action: Generalized Quantification in Query, Logical and Natural Languages introduces a query language called GQs-Generalized Quantification in Query. 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. This book provides a brief background in logic and introduces the concept of GQs, and then develops a query language based on GQs. Using Query Language with Generalized Quantifiers, 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. Designed for practitioners and researchers within the database management field; also suitable for advanced-level students in computer science.

著者

Barr, Michael、 Barr M.、 Po-Hsiang Chu、Badia Antonio

出版社

Springer-Verlag

発売日

1979年1月発売

価格

価格未定（税込・書誌情報提供：openBD）

ISBN

9783540095637

発売済み