Quantifiers in action: generalized quantification in query, logical and natural languages
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Springer
2009
|
| Schriftenreihe: | Advances in database systems
36 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis Klappentext |
| Beschreibung: | XI, 156 S. graph. Darst. |
| ISBN: | 9780387095639 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035346949 | ||
| 003 | DE-604 | ||
| 005 | 20090916 | ||
| 007 | t | ||
| 008 | 090305s2009 gw d||| |||| 00||| eng d | ||
| 015 | |a 08,N21,0013 |2 dnb | ||
| 016 | 7 | |a 988537028 |2 DE-101 | |
| 020 | |a 9780387095639 |c Gb. : ca. EUR 111.23 (freier Pr.), ca. sfr 170.50 (freier Pr.) |9 978-0-387-09563-9 | ||
| 024 | 3 | |a 9780387095639 | |
| 028 | 5 | 2 | |a 11873501 |
| 035 | |a (OCoLC)373475243 | ||
| 035 | |a (DE-599)DNB988537028 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-703 |a DE-945 |a DE-11 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.7565 |2 22 | |
| 084 | |a ST 270 |0 (DE-625)143638: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Badia, Antonio |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Quantifiers in action |b generalized quantification in query, logical and natural languages |c by Antonio Badia |
| 264 | 1 | |a New York, NY |b Springer |c 2009 | |
| 300 | |a XI, 156 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Advances in database systems |v 36 | |
| 650 | 4 | |a Database management | |
| 650 | 4 | |a Query languages (Computer science) | |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Abfragesprache |0 (DE-588)4134011-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 0 | 1 | |a Abfragesprache |0 (DE-588)4134011-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-0-387-09564-6 |
| 830 | 0 | |a Advances in database systems |v 36 |w (DE-604)BV021653394 |9 36 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017151160&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017151160&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017151160 | ||
Datensatz im Suchindex
| _version_ | 1804138665844146176 |
|---|---|
| adam_text | Contents
1
Introduction
............................................... 1
2 Basic
Concepts
............................................ 7
2.1
From Prepositional to First Order Logic
.................... 7
2.2
Quantification
.......................................... 8
2.2.1
Semantics
........................................ 9
2.2.2
Meaning
......................................... 11
2.3
More on Quantification
................................... 12
2.3.1
Quantifier Scope and Prefixes
....................... 12
2.3.2
Skolemization
..................................... 14
2.3.3
Quantifier Rank
................................... 15
2.3.4
Relativization
..................................... 17
2.4
Games
................................................. 18
2.5
More Semantics
......................................... 19
2.5.1
Expressive Power of
FOL
.......................... 22
2.5.2
Finite and Infinite Models
.......................... 22
3
Generalized Quantifiers
.................................... 25
3.1
Introduction
............................................ 25
3.2
Generalized Quantifiers
.................................. 25
3.3
Another view
........................................... 30
3.4
Basic Complexity
........................................ 33
4
QLGQ: A Query Language with Generalized Quantifiers
... 37
4.1
Introduction: GQs in query languages
...................... 37
4.2
QLGQ
................................................. 38
4.2.1
Syntax of QLGQ
.................................. 39
4.2.2
Semantics of QLGQ
............................... 41
4.2.3
Remarks on Syntax
................................ 42
4.3
Safety and Domain Independence
.......................... 44
4.3.1
Relation to other languages
......................... 49
X
Contents
4.4
Generalized Quantifiers and SQL
........................... 50
5
Implementation and Optimization of Standard GQs
....... 55
5.1
Languages to Define GQs
................................. 55
5.2
Translating and Optimizing QLGQ
........................ 60
5.3
The Interpreter
......................................... 60
5.3.1
Complex Queries
.................................. 66
5.4
Optimization
........................................... 67
5.4.1
Optimization on RA Expressions
.................... 67
5.4.2
Optimization using GQ Properties
................... 67
5.5
Application to SQL
...................................... 69
5.6
Monadic vs. Polyadic Quantification
....................... 71
6
Quantifier Prefixes
......................................... 73
6.1
Introduction
............................................ 73
6.1.1
Linear and Non-linear Prefixes
...................... 74
6.1.2
Henkin Prefixes and Generalized Quantifiers
.......... 76
6.2
Linear and Non-Linear Prefixes in QLGQ
.................. 77
6.3
Cumulation
............................................. 81
6.4
Branching
.............................................. 82
6.5
Linear Prefixes
.......................................... 85
6.5.1
Algebraic Translation
.............................. 87
7
Cooperative Query Answering
............................. 91
7.1
Introduction
............................................ 91
7.2
Cooperative Query Answering
............................. 91
7.3
Cooperative Query Answering with QLGQ
................. 94
7.3.1
Presuppositions
................................... 94
7.3.2
Constructing Explanations and Justifications
......... 97
7.3.3
Relaxed Queries
...................................100
7.3.4
Expressing and Using Constraints
...................103
7.4
Further Research in CQA
................................105
8
Generalized Quantifiers and Natural Language
............107
8.1
Introduction
............................................107
8.2
Question Answering
.....................................107
8.3
GQs in Natural Language Analysis
........................110
8.3.1
Combining Quantifiers
.............................114
8.4
QLGQ in QA
...........................................116
8.5
CQA, QA and GQs
......................................120
8.6
Challenges
..............................................122
Contents
XI
9
Extensions
.................................................127
9.1
Datalog-like
Languages
...................................127
9.1.1
Aggregates
.......................................127
9.1.2 Fixpoint .........................................128
9.1.3
Higher Order Variables
.............................131
9.2
Distributed Quantification
................................134
9.2.1
Quantification and Distributed Databases
............135
9.2.2
Computing Distributed Quantification
...............139
9.3
Other Data Models
......................................143
10
Conclusion
................................................149
References
.....................................................151
Quantifiers in Action
Generalized Quantification in Query, Logical and Natural Languages
Antonio
Badia
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.
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.
Hven 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 this 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
CARF.L-R 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.
|
| any_adam_object | 1 |
| author | Badia, Antonio |
| author_facet | Badia, Antonio |
| author_role | aut |
| author_sort | Badia, Antonio |
| author_variant | a b ab |
| building | Verbundindex |
| bvnumber | BV035346949 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 270 |
| ctrlnum | (OCoLC)373475243 (DE-599)DNB988537028 |
| dewey-full | 005.7565 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.7565 |
| dewey-search | 005.7565 |
| dewey-sort | 15.7565 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02162nam a2200505 cb4500</leader><controlfield tag="001">BV035346949</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090916 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090305s2009 gw d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,N21,0013</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">988537028</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780387095639</subfield><subfield code="c">Gb. : ca. EUR 111.23 (freier Pr.), ca. sfr 170.50 (freier Pr.)</subfield><subfield code="9">978-0-387-09563-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9780387095639</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11873501</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)373475243</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB988537028</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-945</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.7565</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 270</subfield><subfield code="0">(DE-625)143638:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Badia, Antonio</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Quantifiers in action</subfield><subfield code="b">generalized quantification in query, logical and natural languages</subfield><subfield code="c">by Antonio Badia</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 156 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Advances in database systems</subfield><subfield code="v">36</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Database management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Query languages (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abfragesprache</subfield><subfield code="0">(DE-588)4134011-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Abfragesprache</subfield><subfield code="0">(DE-588)4134011-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-0-387-09564-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Advances in database systems</subfield><subfield code="v">36</subfield><subfield code="w">(DE-604)BV021653394</subfield><subfield code="9">36</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017151160&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017151160&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017151160</subfield></datafield></record></collection> |
| id | DE-604.BV035346949 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:31:48Z |
| institution | BVB |
| isbn | 9780387095639 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017151160 |
| oclc_num | 373475243 |
| open_access_boolean | |
| owner | DE-703 DE-945 DE-11 |
| owner_facet | DE-703 DE-945 DE-11 |
| physical | XI, 156 S. graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Advances in database systems |
| series2 | Advances in database systems |
| spelling | Badia, Antonio Verfasser aut Quantifiers in action generalized quantification in query, logical and natural languages by Antonio Badia New York, NY Springer 2009 XI, 156 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Advances in database systems 36 Database management Query languages (Computer science) Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Abfragesprache (DE-588)4134011-5 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 s Abfragesprache (DE-588)4134011-5 s DE-604 Erscheint auch als Online-Ausgabe 978-0-387-09564-6 Advances in database systems 36 (DE-604)BV021653394 36 Digitalisierung UB Bayreuth application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017151160&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Bayreuth application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017151160&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | Badia, Antonio Quantifiers in action generalized quantification in query, logical and natural languages Advances in database systems Database management Query languages (Computer science) Prädikatenlogik (DE-588)4046974-8 gnd Abfragesprache (DE-588)4134011-5 gnd |
| subject_GND | (DE-588)4046974-8 (DE-588)4134011-5 |
| title | Quantifiers in action generalized quantification in query, logical and natural languages |
| title_auth | Quantifiers in action generalized quantification in query, logical and natural languages |
| title_exact_search | Quantifiers in action generalized quantification in query, logical and natural languages |
| title_full | Quantifiers in action generalized quantification in query, logical and natural languages by Antonio Badia |
| title_fullStr | Quantifiers in action generalized quantification in query, logical and natural languages by Antonio Badia |
| title_full_unstemmed | Quantifiers in action generalized quantification in query, logical and natural languages by Antonio Badia |
| title_short | Quantifiers in action |
| title_sort | quantifiers in action generalized quantification in query logical and natural languages |
| title_sub | generalized quantification in query, logical and natural languages |
| topic | Database management Query languages (Computer science) Prädikatenlogik (DE-588)4046974-8 gnd Abfragesprache (DE-588)4134011-5 gnd |
| topic_facet | Database management Query languages (Computer science) Prädikatenlogik Abfragesprache |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017151160&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017151160&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV021653394 |
| work_keys_str_mv | AT badiaantonio quantifiersinactiongeneralizedquantificationinquerylogicalandnaturallanguages |