Foundations of databases:
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Reading, Mass. [u.a.]
Addison Wesley
1995
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XVIII, 685 S. graph. Darst. |
| ISBN: | 0201537710 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010109352 | ||
| 003 | DE-604 | ||
| 005 | 20171218 | ||
| 007 | t | ||
| 008 | 950322s1995 d||| |||| 00||| eng d | ||
| 020 | |a 0201537710 |9 0-201-53771-0 | ||
| 035 | |a (OCoLC)246552130 | ||
| 035 | |a (DE-599)BVBBV010109352 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-739 |a DE-29T |a DE-91G |a DE-20 |a DE-859 |a DE-634 |a DE-11 |a DE-525 |a DE-188 |a DE-2070s |a DE-703 | ||
| 082 | 0 | |a 005.7401 | |
| 084 | |a ST 270 |0 (DE-625)143638: |2 rvk | ||
| 084 | |a DAT 650f |2 stub | ||
| 100 | 1 | |a Abiteboul, Serge |d 1953- |e Verfasser |0 (DE-588)121348989 |4 aut | |
| 245 | 1 | 0 | |a Foundations of databases |c Serge Abiteboul ; Richard Hull ; Victor Vianu |
| 264 | 1 | |a Reading, Mass. [u.a.] |b Addison Wesley |c 1995 | |
| 300 | |a XVIII, 685 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Theorie |0 (DE-588)4059787-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenbanksystem |0 (DE-588)4113276-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Datenbanksystem |0 (DE-588)4113276-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Datenbanksystem |0 (DE-588)4113276-2 |D s |
| 689 | 1 | 1 | |a Theorie |0 (DE-588)4059787-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Hull, Richard |d 1896-1973 |e Verfasser |0 (DE-588)105840734 |4 aut | |
| 700 | 1 | |a Vianu, Victor |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006711882&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006711882 | ||
Record in the Search Index
| _version_ | 1804124500702265344 |
|---|---|
| adam_text | Titel: Foundations of databases
Autor: Abiteboul, Serge
Jahr: 1995
Contents
Preface vii
PART A ANTECHAMBER 1
1 Database Systems 3
1.1 The Main Principles 3
1.2 Functionalities 5
1.3 Complexity and Diversity 7
1.4 Past and Future 7
1.5 Ties with This Book 8
Bibliographic Notes 9
2 Theoretical Background 10
2.1 Some Basics 10
2.2 Languages, Computability, and Complexity 13
2.3 Basics from Logic 20
3 The Relational Model 28
3.1 The Structure of the Relational Model 29
3.2 Named versus Unnamed Perspectives 31
3.3 Conventional versus Logic Programming Perspectives 32
3.4 Notation 34
Bibliographic Notes 34
xiii
xiv Contents
PART B BASICS: RELATIONAL QUERY LANGUAGES 35
4 Conjunctive Queries 37
4.1 Getting Started 38
4.2 Logic-Based Perspectives 40
4.3 Query Composition and Views 48
4.4 Algebraic Perspectives 52
4.5 Adding Union 61
Bibliographic Notes 64
Exercises 65
5 Adding Negation: Algebra and Calculus 70
5.1 The Relational Algebras 71
5.2 Nonrecursive Datalog with Negation 72
5.3 The Relational Calculus 73
5.4 Syntactic Restrictions for Domain Independence 81
5.5 Aggregate Functions 91
5.6 Digression: Finite Representations of Infinite Databases 93
Bibliographic Notes 96
Exercises 98
6 Static Analysis and Optimization 105
6.1 Issues in Practical Query Optimization 106
6.2 Global Optimization 115
6.3 Static Analysis of the Relational Calculus 122
6.4 Computing with Acyclic Joins 126
Bibliographic Notes 135
Exercises 137
7 Notes on Practical Languages 143
7.1 SQL: The Structured Query Language 143
7.2 Query-by-Example and Microsoft Access 150
7.3 Confronting the Real World 153
Bibliographic Notes 155
Exercises 155
PART C CONSTRAINTS 157
8 Functional and Join Dependency 159
8.1 Motivation 159
8.2 Functional and Key Dependencies 163
8.3 Join and Multivalued Dependencies 169
8.4 The Chase
Bibliographic Notes
Exercises
9 Inclusion Dependency
9.1 Inclusion Dependency in Isolation
9.2 Finite versus Infinite Implication
9.3 Nonaxiomatizability of fd s + ind s
9.4 Restricted Kinds of Inclusion Dependency
Bibliographic Notes
Exercises
10 A Larger Perspective
10.1 A Unifying Framework
10.2 The Chase Revisited
10.3 Axiomatization
10.4 An Algebraic Perspective
Bibliographic Notes
Exercises
11 Design and Dependencies
11.1 Semantic Data Models
11.2 Normal Forms
11.3 Universal Relation Assumption
Bibliographic Notes
Exercises
PART D DATALOG AND RECURSION
12 Datalog
12.1 Syntax of Datalog
12.2 Model-Theoretic Semantics
12.3 Fixpoint Semantics
12.4 Proof-Theoretic Approach
12.5 Static Program Analysis
Bibliographic Notes
Exercises
13 Evaluation of Datalog
13.1 Seminaive Evaluation
13.2 Top-Down Techniques
13.3 Magic
Contents XV
173
185
187
192
192
197
202
207
211
212
216
217
220
226
228
233
235
240
242
251
260
264
266
271
273
276
278
282
286
300
305
306
311
312
316
324
xvi Contents
13.4 Two Improvements 327
Bibliographic Notes 335
Exercises 337
14 Recursion and Negation 342
14.1 Algebra + While 344
14.2 Calculus + Fixpoint 347
14.3 Datalog with Negation 355
14.4 Equivalence 360
14.5 Recursion in Practical Languages 368
Bibliographic Notes 369
Exercises 370
15 Negation in Datalog 374
15.1 The Basic Problem 374
15.2 Stratified Semantics 377
15.3 Well-Founded Semantics 385
15.4 Expressive Power 397
15.5 Negation as Failure in Brief 406
Bibliographic Notes 408
Exercises 410
PART E EXPRESSIVENESS AND COMPLEXITY 415
16 Sizing Up Languages 417
16.1 Queries 417
16.2 Complexity of Queries 422
16.3 Languages and Complexity 423
Bibliographic Notes 425
Exercises 426
17 First Order, Fixpoint, and While 429
17.1 Complexity of First-Order Queries 430
17.2 Expressiveness of First-Order Queries 433
17.3 Fixpoint and While Queries 437
17.4 The Impact of Order 446
Bibliographic Notes 457
Exercises 459
18 Highly Expressive Languages 466
18.1 Whilen—while with Arithmetic 467
18.2 Whilenew—while with New Values 469
Contents XVli
18.3 Whileuty—An Untyped Extension of while 475
Bibliographic Notes 479
Exercises 481
PART F FINALE 485
19 Incomplete Information 487
19.1 Warm-Up 488
19.2 Weak Representation Systems 490
19.3 Conditional Tables 493
19.4 The Complexity of Nulls 499
19.5 Other Approaches 501
Bibliographic Notes 504
Exercises 506
20 Complex Values 508
20.1 Complex Value Databases 511
20.2 The Algebra 514
20.3 The Calculus 519
20.4 Examples 523
20.5 Equivalence Theorems 526
20.6 Fixpoint and Deduction 531
20.7 Expressive Power and Complexity 534
20.8 A Practical Query Language for Complex Values 536
Bibliographic Notes 538
Exercises 539
21 Object Databases 542
21.1 Informal Presentation 543
21.2 Formal Definition of an OODB Model 547
21.3 Languages for OODB Queries 556
21.4 Languages for Methods 563
21.5 Further Issues for OODBs 571
Bibliographic Notes 573
Exercises 575
22 Dynamic Aspects 579
22.1 Update Languages 580
22.2 Transactional Schemas 584
22.3 Updating Views and Deductive Databases 586
22.4 Updating Incomplete Information 593
22.5 Active Databases 600
xviii Contents
22.6 Temporal Databases and Constraints 606
Bibliographic Notes 613
Exercises 615
Bibliography 621
Symbol Index 659
Index 661
|
| any_adam_object | 1 |
| author | Abiteboul, Serge 1953- Hull, Richard 1896-1973 Vianu, Victor |
| author_GND | (DE-588)121348989 (DE-588)105840734 |
| author_facet | Abiteboul, Serge 1953- Hull, Richard 1896-1973 Vianu, Victor |
| author_role | aut aut aut |
| author_sort | Abiteboul, Serge 1953- |
| author_variant | s a sa r h rh v v vv |
| building | Verbundindex |
| bvnumber | BV010109352 |
| classification_rvk | ST 270 |
| classification_tum | DAT 650f |
| ctrlnum | (OCoLC)246552130 (DE-599)BVBBV010109352 |
| dewey-full | 005.7401 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.7401 |
| dewey-search | 005.7401 |
| dewey-sort | 15.7401 |
| 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>01650nam a2200409 c 4500</leader><controlfield tag="001">BV010109352</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171218 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950322s1995 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0201537710</subfield><subfield code="9">0-201-53771-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246552130</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010109352</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="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-525</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-2070s</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.7401</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">DAT 650f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Abiteboul, Serge</subfield><subfield code="d">1953-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121348989</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of databases</subfield><subfield code="c">Serge Abiteboul ; Richard Hull ; Victor Vianu</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Reading, Mass. [u.a.]</subfield><subfield code="b">Addison Wesley</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 685 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="650" ind1="0" ind2="7"><subfield code="a">Theorie</subfield><subfield code="0">(DE-588)4059787-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenbanksystem</subfield><subfield code="0">(DE-588)4113276-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenbanksystem</subfield><subfield code="0">(DE-588)4113276-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Datenbanksystem</subfield><subfield code="0">(DE-588)4113276-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Theorie</subfield><subfield code="0">(DE-588)4059787-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hull, Richard</subfield><subfield code="d">1896-1973</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)105840734</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vianu, Victor</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</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=006711882&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006711882</subfield></datafield></record></collection> |
| id | DE-604.BV010109352 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:46:39Z |
| institution | BVB |
| isbn | 0201537710 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006711882 |
| oclc_num | 246552130 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-29T DE-91G DE-BY-TUM DE-20 DE-859 DE-634 DE-11 DE-525 DE-188 DE-2070s DE-703 |
| owner_facet | DE-384 DE-739 DE-29T DE-91G DE-BY-TUM DE-20 DE-859 DE-634 DE-11 DE-525 DE-188 DE-2070s DE-703 |
| physical | XVIII, 685 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Addison Wesley |
| record_format | marc |
| spelling | Abiteboul, Serge 1953- Verfasser (DE-588)121348989 aut Foundations of databases Serge Abiteboul ; Richard Hull ; Victor Vianu Reading, Mass. [u.a.] Addison Wesley 1995 XVIII, 685 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Theorie (DE-588)4059787-8 gnd rswk-swf Datenbanksystem (DE-588)4113276-2 gnd rswk-swf Datenbanksystem (DE-588)4113276-2 s DE-604 Theorie (DE-588)4059787-8 s Hull, Richard 1896-1973 Verfasser (DE-588)105840734 aut Vianu, Victor Verfasser aut HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006711882&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Abiteboul, Serge 1953- Hull, Richard 1896-1973 Vianu, Victor Foundations of databases Theorie (DE-588)4059787-8 gnd Datenbanksystem (DE-588)4113276-2 gnd |
| subject_GND | (DE-588)4059787-8 (DE-588)4113276-2 |
| title | Foundations of databases |
| title_auth | Foundations of databases |
| title_exact_search | Foundations of databases |
| title_full | Foundations of databases Serge Abiteboul ; Richard Hull ; Victor Vianu |
| title_fullStr | Foundations of databases Serge Abiteboul ; Richard Hull ; Victor Vianu |
| title_full_unstemmed | Foundations of databases Serge Abiteboul ; Richard Hull ; Victor Vianu |
| title_short | Foundations of databases |
| title_sort | foundations of databases |
| topic | Theorie (DE-588)4059787-8 gnd Datenbanksystem (DE-588)4113276-2 gnd |
| topic_facet | Theorie Datenbanksystem |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006711882&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT abiteboulserge foundationsofdatabases AT hullrichard foundationsofdatabases AT vianuvictor foundationsofdatabases |