Advances in Database Systems

Generalized Quantification in Query, Logical and Natural Languages

By: Antonio Badia

Write A Review

Hardcover | 6 May 2009

At a Glance

Hardcover
172 Pages

Dimensions(cm)
23.39 x 15.6 x 1.12

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $0.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Geometry Algebra Computing & I.T.Computer Networking & Communications Computer Programming & Software Development Programming & Scripting Languages Databases Database Software Computer Science Computer Hardware

Network Hardware Compilers & Interpreters Business Applications

Introduction	p. 1
Basic Concepts	p. 7
From Propositional to First Order Logic	p. 7
Quantification	p. 8
Semantics	p. 9
Meaning	p. 11
More on Quantification	p. 12
Quantifier Scope and Prefixes	p. 12
Skolemization	p. 14
Quantifier Rank	p. 15
Relativization	p. 17
Games	p. 18
More Semantics	p. 19
Expressive Power of FOL	p. 22
Finite and Infinite Models	p. 22
Generalized Quantifiers	p. 25
Introduction	p. 25
Generalized Quantifiers	p. 25
Another view	p. 30
Basic Complexity	p. 33
QLGQ: A Query Language with Generalized Quantifiers	p. 37
Introduction: GQs in Query languages	p. 37
QLGQ	p. 38
Syntax of QLGQ	p. 39
Semantics of QLGQ	p. 41
Remarks on Syntax	p. 42
Safety and Domain Independence	p. 44
Relation to other languages	p. 49
Generalized Quantifiers and SQL	p. 50
Implementation and Optimization of Standard GQs	p. 55
Languages to Define GQs	p. 55
Translating and Optimizing QLGQ	p. 60
The Interpreter	p. 60
Complex Queries	p. 66
Optimization	p. 67
Optimization on RA Expressions	p. 67
Optimization using GQ Properties	p. 67
Application to SQL	p. 69
Monadic vs. Polyadic Quantification	p. 71
Quantifier Prefixes	p. 73
Introduction	p. 73
Linear and Non-linear Prefixes	p. 74
Henkin Prefixes and Generalized Quantifiers	p. 76
Linear and Non-Linear Prefixes in QLGQ	p. 77
Cumulation	p. 81
Branching	p. 82
Linear Prefixes	p. 85
Algebraic Translation	p. 87
Cooperative Query Answering	p. 91
Introduction	p. 91
Cooperative Query Answering	p. 91
Cooperative Query Answering with QLGQ	p. 94
Presuppositions	p. 94
Constructing Explanations and Justifications	p. 97
Relaxed Queries	p. 100
Expressing and Using Constraints	p. 103
Further Research in CQA	p. 105
Generalized Quantifiers and Natural Language	p. 107
Introduction	p. 107
Question Answering	p. 107
GQs in Natural Language Analysis	p. 110
Combining Quantifiers	p. 114
QLGQ in QA	p. 116
CQA, QA and GQs	p. 120
Challenges	p. 122
Extensions	p. 127
Datalog-like Languages	p. 127
Aggregates	p. 127
Fixpoint	p. 128
Higher Order Variables	p. 131
Distributed Quantification	p. 134
Quantification and Distributed Databases	p. 135
Computing Distributed Quantification	p. 139
Other Data Models	p. 143
Conclusion	p. 149
References	p. 151
Table of Contents provided by Ingram. All Rights Reserved.

Advances in Database Systems

Generalized Quantification in Query, Logical and Natural Languages

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Network Hardware

Resource Management for Satellite-Terrestrial Vehicular Networks

SpringerBriefs in Computer Science

Applied Embedded Electronics

Design Essentials for Robust Systems

Frontier Computing: Vol 1

Theory, Technologies and Applications (FC 2025)

Emerging Electronics and Automation, Volume 2

Select Proceedings of the 4th International Conference, E2A 2024

The Web Beneath the Waves

The Fragile Cables that Connect our World

Advancements in Artificial Intelligence and Machine Learning

Proceedings of ERCICAM 2025, Volume 2

Augmenting Cognition in the AI-Accelerated Era

20th International Conference, AC 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings

Frontier Computing : Volume 3

Theory, Technologies and Applications (FC 2025)

Simulation Science

Third International Workshop, SimScience 2025, Clausthal-Zellerfeld, Germany, May 7â"9, 2025, Revised Selected Papers

Service-Oriented Computing â" ICSOC 2025 Workshops

Satellite Events and Artifacts, Shenzhen, China, December 1â"4, 2025, Revised Selected Papers

Fully-Decoupled Radio Access Networks (FD-RAN) Toward 6G

Architectures, Technologies and Potential Applications

Pattern Recognition Applications and Methods

14th International Conference, ICPRAM 2025, Porto, Portugal, February 23-25, 2025, Revised Selected Papers

Quality of Information and Communications Technology

18th International Conference, QUATIC 2025, Lisbon, Portugal, September 3â"5, 2025, Proceedings, Part I

Quality of Information and Communications Technology

18th International Conference, QUATIC 2025, Lisbon, Portugal, September 3-5, 2025, Proceedings, Part II

Next Generation Arithmetic

6th International Conference, CoNGA 2025, St. Louis, MO, USA, November 14-15, 2025, Proceedings

Engineering Psychology and Cognitive Ergonomics

23rd International Conference, EPCE 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part I

Human-Computer Interaction

Thematic Area, HCI 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part I

Human-Computer Interaction

Thematic Area, HCI 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part II

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management

17th International Conference, DHM 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part I

Proceedings of 2025 The 3rd International Conference on Networks, Communications and Intelligent Computing (NCIC 2025)

Volume 1

Euro-Par 2025: Parallel Processing Workshops

Euro-Par 2025 Satellite Events, Dresden, Germany, August 25-29, 2025, Revised Selected Papers

6G Non-Terrestrial Networking

Architectures, Technologies, and Simulations

Context-Aware Systems and Applications

14th EAI International Conference, ICCASA 2025, Ho Chi Minh City, Vietnam, October 15-16, 2025, Proceedings

Ubi-Media Computing, Pervasive Systems, Algorithms and Networks

14th International Conference on Ubi-Media Computing, Ubi-Media 2026, Penang, Malaysia, January 18-22, 2026, Proceedings

This product is categorised by