Badia Quantifiers in Action

Generalized Quantification in Query, Logical and Natural Languages
1. Auflage 2009
ISBN: 978-0-387-09564-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, Band 37, 156 Seiten

Reihe: Advances in Database Systems

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.

Autoren/Hrsg.

Badia, Antonio

Inhaltsverzeichnis

1;Preface;7
2;Contents;9
3;1 Introduction;12
4;2 Basic Concepts;17
4.1;2.1 From Propositional to First Order Logic;17
4.2;2.2 Quantification;18
4.3;2.3 More on Quantification;22
4.4;2.4 Games;28
4.5;2.5 More Semantics;29
5;3 Generalized Quantifiers;34
5.1;3.1 Introduction;34
5.2;3.2 Generalized Quantifiers;34
5.3;3.3 Another view;39
5.4;3.4 Basic Complexity;42
6;4 Quantifiers;46
6.1;4.1 Introduction: GQs in query languages;46
6.2;4.2 QLGQ;47
6.3;4.3 Safety and Domain Independence;53
6.4;4.4 Generalized Quantifiers and SQL;59
7;5 Implementation and Optimization of Standard GQs;63
7.1;5.1 Languages to Define GQs;63
7.2;5.2 Translating and Optimizing QLGQ;68
7.3;5.3 The Interpreter;68
7.4;5.4 Optimization;75
7.5;5.5 Application to SQL;77
7.6;5.6 Monadic vs. Polyadic Quantification;79
8;6 Quantifier Prefixes;81
8.1;6.1 Introduction;81
8.2;6.2 Linear and Non-Linear Prefixes in QLGQ;85
8.3;6.3 Cumulation;89
8.4;6.4 Branching;90
8.5;6.5 Linear Prefixes;93
9;7 Cooperative Query Answering;98
9.1;7.1 Introduction;98
9.2;7.2 Cooperative Query Answering;98
9.3;7.3 Cooperative Query Answering with QLGQ;101
9.4;7.4 Further Research in CQA;112
10;8 Generalized Quantifiers and Natural Language;114
10.1;8.1 Introduction;114
10.2;8.2 Question Answering;114
10.3;8.3 GQs in Natural Language Analysis;117
10.4;8.4 QLGQ in QA;123
10.5;8.5 CQA, QA and GQs;127
10.6;8.6 Challenges;129
11;9 Extensions;134
11.1;9.1 Datalog-like Languages;134
11.2;9.2 Distributed Quantification;141
11.3;9.3 Other Data Models;150
12;10 Conclusion;155
13;References;157