*-Autonomous categories

Author(s)

Bibliographic Information

*-Autonomous categories

Michael Barr ; with an appendix by Po-Hsiang Chu

(Lecture notes in mathematics, 752)

Springer-Verlag, 1979

  • : Berlin
  • : New York

Available at  / 70 libraries

Search this Book/Journal

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"

Related Books: 1-1 of 1

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
  • Subject Headings
  • Parent Bibliography ID
Page Top