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 New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

The AI Con

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

The Tech Coup

How to Save Democracy from Silicon Valley

Nexus

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

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Creative Machines

AI, Art & Us

Empire of AI

Inside the reckless race for total domination

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Genesis

Artificial Intelligence, Hope, and the Human Spirit

Speak Data

Artists, Scientists, Thinkers, and Dreamers on How We Live Our Lives in Numbers

Python All-in-One For Dummies

3rd Edition

Artificial Intelligence and Human Rights, Democracy, and the Rule of Law

Computational Intelligence Techniques

The Invisible Project Manager

Why Artificial Intelligence Will Run Tomorrow's Projects — Without You

The Invisible Project Manager

Why Artificial Intelligence Will Run Tomorrow's Projects — Without You

Advanced Computational Intelligence Techniques for Engineers

Crypto Engine Design

Cyber Shorts

Quantum Computing

The Past, the Present, and the Future

Crypto Engine Design

Cyber Shorts

The Shortest History of AI

Multivariate Statistics and Machine Learning

An Introduction to Applied Data Science Using R and Python

Multivariate Statistics and Machine Learning

An Introduction to Applied Data Science Using R and Python

Constraints and Advanced Solutions for LTE-Advanced Heterogeneous Networks

This product is categorised by