Quantifiers in Action

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)
24.13 x 15.88 x 3.81

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 $79.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

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.

Quantifiers in Action

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 Computer Science

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Nexus

A Brief History of Information Networks from the Stone Age to AI

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Creative Machines

AI, Art & Us

Machine Learning For Dummies

For Dummies (Computer/Tech)

The Tech Coup

How to Save Democracy from Silicon Valley

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

New Beginnings

why change is so difficult and how to achieve it

AI for Business

A Guide to AI Adoption

Genesis

Artificial Intelligence, Hope, and the Human Spirit

The Shortest History of AI

Artificial Intelligence

A Modern Approach, 4th Global Edition

Python All-in-One For Dummies

3rd Edition

The AI Glossary

AI and Emerging Tech Explained - 256 Key Concepts for Students, Professionals & Curious Minds

Take the POWER back!

A journey to Electrical Autonomy

IoT

Advanced Emerging Applications

Computer Vision in Healthcare

Prediction, Detection and Diagnosis

Transforming Global Healthcare

The Role of AI and IoT in Modern Medical Systems

Transforming Healthcare With AI And IoT

Intelligent Solutions for a Digital Future

Handbook of Artificial Intelligence in Water Management

Towards Net Zero Emissions

This product is categorised by