*-Autonomous categories

Author(s)

• Barr, Michael

Bibliographic Information

*-Autonomous categories

Michael Barr ; with an appendix by Po-Hsiang Chu

（Lecture notes in mathematics, 752）

Springer-Verlag, 1979

• : Berlin
• : New York

Note

Includes bibliographies and indexes

Description and Table of Contents

Volume

: New York ISBN 9780387095639

Description

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.

Table of Contents

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.

Volume

: Berlin ISBN 9783540095637

Table of Contents

Preliminaries.- Extensions of structure.- The category G..- Examples.

by "Nielsen BookData"

Details

• NCID: BA03014344
• ISBN:
  • 3540095632
  • 0387095632
• LCCN: 79021746
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: 138 p.
• Size: 25 cm
• Classification:
  • LCC : QA3
  • LCC : QA169
  • DC19 : 510 s
  • DC19 : 512/.55
• Subject Headings:
  • LCSH : Categories (Mathematics)
• Parent Bibliography ID:
  • BA00146586