Catalogue


*-Autonomous categories [electronic resource] /
Michael Barr ;with an appendix by Po-Hsiang Chu.
imprint
Berlin ; New York : Springer-Verlag, 1979.
description
138 p. : ill. ; 24 cm.
ISBN
0387095632
format(s)
Book
Subjects
More Details
imprint
Berlin ; New York : Springer-Verlag, 1979.
isbn
0387095632
restrictions
Licensed for access by U. of T. users.
catalogue key
8483181
 
Includes bibliographies and indexes.
A Look Inside
Summaries
Main 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.
Main Description
The database industry is clearly a multi-billion, world-wide, all-encompassing part of the software world. This is in 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.
Main 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.
Back Cover Copy
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.
Back Cover Copy
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.
Table of Contents
Introductionp. 1
Basic Conceptsp. 7
From Propositional to First Order Logicp. 7
Quantificationp. 8
Semanticsp. 9
Meaningp. 11
More on Quantificationp. 12
Quantifier Scope and Prefixesp. 12
Skolemizationp. 14
Quantifier Rankp. 15
Relativizationp. 17
Gamesp. 18
More Semanticsp. 19
Expressive Power of FOLp. 22
Finite and Infinite Modelsp. 22
Generalized Quantifiersp. 25
Introductionp. 25
Generalized Quantifiersp. 25
Another viewp. 30
Basic Complexityp. 33
QLGQ: A Query Language with Generalized Quantifiersp. 37
Introduction: GQs in Query languagesp. 37
QLGQp. 38
Syntax of QLGQp. 39
Semantics of QLGQp. 41
Remarks on Syntaxp. 42
Safety and Domain Independencep. 44
Relation to other languagesp. 49
Generalized Quantifiers and SQLp. 50
Implementation and Optimization of Standard GQsp. 55
Languages to Define GQsp. 55
Translating and Optimizing QLGQp. 60
The Interpreterp. 60
Complex Queriesp. 66
Optimizationp. 67
Optimization on RA Expressionsp. 67
Optimization using GQ Propertiesp. 67
Application to SQLp. 69
Monadic vs. Polyadic Quantificationp. 71
Quantifier Prefixesp. 73
Introductionp. 73
Linear and Non-linear Prefixesp. 74
Henkin Prefixes and Generalized Quantifiersp. 76
Linear and Non-Linear Prefixes in QLGQp. 77
Cumulationp. 81
Branchingp. 82
Linear Prefixesp. 85
Algebraic Translationp. 87
Cooperative Query Answeringp. 91
Introductionp. 91
Cooperative Query Answeringp. 91
Cooperative Query Answering with QLGQp. 94
Presuppositionsp. 94
Constructing Explanations and Justificationsp. 97
Relaxed Queriesp. 100
Expressing and Using Constraintsp. 103
Further Research in CQAp. 105
Generalized Quantifiers and Natural Languagep. 107
Introductionp. 107
Question Answeringp. 107
GQs in Natural Language Analysisp. 110
Combining Quantifiersp. 114
QLGQ in QAp. 116
CQA, QA and GQsp. 120
Challengesp. 122
Extensionsp. 127
Datalog-like Languagesp. 127
Aggregatesp. 127
Fixpointp. 128
Higher Order Variablesp. 131
Distributed Quantificationp. 134
Quantification and Distributed Databasesp. 135
Computing Distributed Quantificationp. 139
Other Data Modelsp. 143
Conclusionp. 149
Referencesp. 151
Table of Contents provided by Ingram. All Rights Reserved.

This information is provided by a service that aggregates data from review sources and other sources that are often consulted by libraries, and readers. The University does not edit this information and merely includes it as a convenience for users. It does not warrant that reviews are accurate. As with any review users should approach reviews critically and where deemed necessary should consult multiple review sources. Any concerns or questions about particular reviews should be directed to the reviewer and/or publisher.

  link to old catalogue

Report a problem