A guided tour of relational databases and beyond:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
London [u.a.]
Springer
1999
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIV, 625 S. |
| ISBN: | 1852330082 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012300051 | ||
| 003 | DE-604 | ||
| 005 | 20130618 | ||
| 007 | t | ||
| 008 | 981201s1999 gw |||| 00||| ger d | ||
| 020 | |a 1852330082 |9 1-85233-008-2 | ||
| 035 | |a (OCoLC)40052682 | ||
| 035 | |a (DE-599)BVBBV012300051 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-384 |a DE-824 |a DE-92 |a DE-634 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.9.D3 | |
| 082 | 0 | |a 005.75/6 |2 21 | |
| 084 | |a ST 270 |0 (DE-625)143638: |2 rvk | ||
| 100 | 1 | |a Levene, Mark |d 1957- |e Verfasser |0 (DE-588)120507978 |4 aut | |
| 245 | 1 | 0 | |a A guided tour of relational databases and beyond |c Mark Levene and George Loizou |
| 264 | 1 | |a London [u.a.] |b Springer |c 1999 | |
| 300 | |a XIV, 625 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Management |2 gtt | |
| 650 | 7 | |a Relationele databanken |2 gtt | |
| 650 | 4 | |a Database management | |
| 650 | 4 | |a Relational databases | |
| 650 | 0 | 7 | |a Relationales Datenmodell |0 (DE-588)4418263-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Relationales Datenbanksystem |0 (DE-588)4130535-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Relationales Datenmodell |0 (DE-588)4418263-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Relationales Datenbanksystem |0 (DE-588)4130535-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Loizou, George |d 1937- |e Verfasser |0 (DE-588)120507994 |4 aut | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008339767&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008339767 | ||
Record in the Search Index
| _version_ | 1804126925753417728 |
|---|---|
| adam_text | Mark Levene and George Loizou
A Guided Tour of
Relational Databases
and Beyond
Springer
Contents
Preface xi
1 Introduction 1
1 1 An Introductory Example 3
1 2 What is a Database? 4
1 3 Why do we Need Database Management Systems? 4
1 4 The Three Levels of Data Abstraction 5
1 5 What is a Database Management System? 7
1 6 The Concept of Data Independence 8
1 7 What is a Data Model? 9
171 The Relational Data Model 10
172 The Network Data Model 12
173 The Hierarchical Data Model 16
174 The Nested Relational Data Model 19
175 The Deductive Data Model 22
176 An Object-Oriented Data Model 25
1 8 Discussion 28
1 9 Background Material 28
191 Basic Concepts of Set Theory 29
192 Basic Concepts of Ordered Sets 33
193 Basic Concepts of Mathematical Logic 35
194 Basic Concepts of the Theory of Computing 40
195 Finite-Model Theory 52
1 10 Exercises 59
2 The Entity-Relationship Model 61
2 1 Graphs 63
2 2 The Building Blocks of an Entity-Relationship Diagram (ERD) 65
221 Entities 66
v
Contents
222 Relationships and their Functionality 66
223 Attributes and Domains 71
224 Keys 73
2 3 Recursive Relationships 76
2 4 Weak Entity Types 76
2 5 The Steps Needed for Constructing an ERD 80
2 6 Discussion 81
2 7 Exercises 82
The Relational Data Model 85
3 1 The Data Structure of the Relational Model 86
3 2 Query and Update Languages for the Relational Model 91
321 The Relational Algebra 91
322 The Domain Relational Calculus 107
323 Datalog 115
324 An Update Language for the Relational Model 125
3 3 The Equivalence of Query Languages for the Relational Model 132
331 Domain Independence 133
332 The Equivalence of the Algebra, the Calculus and Datalog 139
3 4 Integrity Constraints in Relational Databases 145
3 5 Inference of Integrity Constraints 146
3 6 Data Dependencies 149
361 Functional Dependencies and Keys 150
362 Armstrong Relations for Functional Dependencies 158
363 The Implication Problem for Functional Dependencies 160
364 Lossless Join Decompositions and the Chase Procedure 160
365 Minimal Covers for Sets of Functional Dependencies 165
366 Projection of Functional Dependencies 167
367 Inclusion Dependencies 169
368 The Chase Procedure for Inclusion Dependencies 174
369 Armstrong Databases for Inclusion Dependencies 176
3 6 10 The Implication Problem for Inclusion Dependencies 178
3 6 11 Interaction between Functional and Inclusion Dependencies 179
3 6 12 The Case of No Interaction Between Functional and Inclusion
Dependencies 186
3 6 13 Multivalued Dependencies 189
3 6 14 Join Dependencies 200
3 7 Domain and Cardinality Constraints 212
3 8 The View Update Problem 215
3 9 Discussion 226
3 10 Exercises 227
Contents vii
4 Relational Database Design 237
4 1 Update Anomalies in Relational Databases 238
4 2 Desirable Properties of Database Decompositions 245
4 3 The Synthesis Versus Decomposition Approaches to Relational Database
Design 247
4 4 Normal Forms 249
441 Second Normal Form (2NF) 250
442 Third Normal Form (3NF) 250
443 Boyce-Codd Normal Form (BCNF) 253
444 Inclusion Dependency Normal Form (IDNF) 260
4 5 Horizontal Decompositions 264
4 6 Algorithms for Converting a Relation Schema into Normal Form 266
461A 3NF Synthesis Algorithm 266
462 BCNF Decompositions 269
463 How to Obtain a Decomposition in IDNF 274
4 7 Converting an ERD into a Relational Database Schema in IDNF 278
4 8 Discussion 282
4 9 Exercises 282
5 Incomplete Information in the Relational Data Model 287
5 1 Different Types of Null Value 288
5 2 The Open and Closed World Assumptions 292
5 3 Introducing Order into the Domain 294
5 4 Extending the Relational Algebra with Null Values 299
5 5 Extending Integrity Constraints with Null Values 309
5 6 The Or-sets Approach 325
5 7 The Fuzzy Sets Approach 333
5 8 The Rough Sets Approach 342
5 9 The Default Values Approach 345
5 10 Updating Incomplete Relations 347
5 11 Discussion 351
5 12 Exercises 355
6 Computable Database Queries and the Expressiveness of the Relational Algebra 359
6 1 What is a Computable Database Query? 359
6 2 Formalising Computable Database Queries 360
621 Encodings and Decodings 362
622 Definition of Computable Database Queries 364
6 3 Subclasses of Computable Database Queries 366
631 Order-Independent Computable Queries 366
viii Contents
632 Isomorphism-Independent Computable Queries 366
633 Encoding-Independent Computable Queries 367
6 4 An Equivalence Relation on Computable Queries 369
6 5 Computational Query Completeness 370
6 6 The Expressive Power of the Relational Algebra 374
6 7 Adding a Looping Mechanism to the Relational Algebra 377
6 8 Discussion 383
6 9 Exercises 383
7 Temporal Relational Databases 385
7 1 The Importance of Modelling Time 385
72A Taxonomy of Time in Databases 388
7 3 Historical Relations 391
74A Historical Relational Algebra 393
7 5 Historical Relational Completeness 398
7 6 TSQL2 400
7 7 Historical Key Dependencies 403
7 8 Schema Evolution 405
7 9 Discussion 407
7 10 Exercises 407
8 Concurrency Control 409
8 1 Manifestations of Concurrency Control 410
8 2 Serialisability 415
821 Serialisability Theory 417
8 3 Locking 423
831 Two-Phase Locking Policy 430
8 4 Deadlock 432
841 Deadlock Detection 434
842 Deadlock Prevention 436
8 5 Lock Granularity and Lock Manager 440
8 6 Lock Manager Implementation 443
8 7 Timestamp Ordering 445
871 Timestamp Ordering Implementation 448
8 8 Serialisation Graph Testing 451
8 9 Discussion 453
8 10 Exercises 454
9 Deductive Databases 459
9 1 Model-theoretic Semantics of Datalog 461
9 2 Expressive Power of Datalog 480
Contents ix
9 3 Equivalence Between Datalog Programs 483
9 4 Datalog Not-Equal 493
9 5 Updates in Deductive Databases 498
9 6 Integrity Constraints in Deductive Databases 502
9 7 Discussion 509
9 8 Exercises 510
10 Extensions to the Relational Data Model and Recent Directions 515
10 1 Nested Relational Databases 516
10 2 Object-Oriented Databases 524
10 3 Graph-Based Databases 533
10 4 Active Databases 542
10 5 Hypertext Databases 547
10 6 Semistructured Databases 556
10 7 Knowledge Discovery and Data Mining 560
10 8 Other Areas 566
10 9 What Lies Beyond? 568
10 10 Exercises 568
Bibliography 577
Index 609
|
| any_adam_object | 1 |
| author | Levene, Mark 1957- Loizou, George 1937- |
| author_GND | (DE-588)120507978 (DE-588)120507994 |
| author_facet | Levene, Mark 1957- Loizou, George 1937- |
| author_role | aut aut |
| author_sort | Levene, Mark 1957- |
| author_variant | m l ml g l gl |
| building | Verbundindex |
| bvnumber | BV012300051 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D3 |
| callnumber-search | QA76.9.D3 |
| callnumber-sort | QA 276.9 D3 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 270 |
| ctrlnum | (OCoLC)40052682 (DE-599)BVBBV012300051 |
| dewey-full | 005.75/6 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.75/6 |
| dewey-search | 005.75/6 |
| dewey-sort | 15.75 16 |
| 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>01713nam a2200445 c 4500</leader><controlfield tag="001">BV012300051</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130618 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">981201s1999 gw |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1852330082</subfield><subfield code="9">1-85233-008-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)40052682</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012300051</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.75/6</subfield><subfield code="2">21</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="100" ind1="1" ind2=" "><subfield code="a">Levene, Mark</subfield><subfield code="d">1957-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120507978</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A guided tour of relational databases and beyond</subfield><subfield code="c">Mark Levene and George Loizou</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 625 S.</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=" " ind2="7"><subfield code="a">Management</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Relationele databanken</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Database management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Relational databases</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Relationales Datenmodell</subfield><subfield code="0">(DE-588)4418263-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Relationales Datenbanksystem</subfield><subfield code="0">(DE-588)4130535-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Relationales Datenmodell</subfield><subfield code="0">(DE-588)4418263-6</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">Relationales Datenbanksystem</subfield><subfield code="0">(DE-588)4130535-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">Loizou, George</subfield><subfield code="d">1937-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120507994</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS 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=008339767&sequence=000002&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-008339767</subfield></datafield></record></collection> |
| id | DE-604.BV012300051 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:25:12Z |
| institution | BVB |
| isbn | 1852330082 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008339767 |
| oclc_num | 40052682 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-824 DE-92 DE-634 DE-83 DE-11 |
| owner_facet | DE-739 DE-384 DE-824 DE-92 DE-634 DE-83 DE-11 |
| physical | XIV, 625 S. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Springer |
| record_format | marc |
| spelling | Levene, Mark 1957- Verfasser (DE-588)120507978 aut A guided tour of relational databases and beyond Mark Levene and George Loizou London [u.a.] Springer 1999 XIV, 625 S. txt rdacontent n rdamedia nc rdacarrier Management gtt Relationele databanken gtt Database management Relational databases Relationales Datenmodell (DE-588)4418263-6 gnd rswk-swf Relationales Datenbanksystem (DE-588)4130535-8 gnd rswk-swf Relationales Datenmodell (DE-588)4418263-6 s DE-604 Relationales Datenbanksystem (DE-588)4130535-8 s Loizou, George 1937- Verfasser (DE-588)120507994 aut HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008339767&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Levene, Mark 1957- Loizou, George 1937- A guided tour of relational databases and beyond Management gtt Relationele databanken gtt Database management Relational databases Relationales Datenmodell (DE-588)4418263-6 gnd Relationales Datenbanksystem (DE-588)4130535-8 gnd |
| subject_GND | (DE-588)4418263-6 (DE-588)4130535-8 |
| title | A guided tour of relational databases and beyond |
| title_auth | A guided tour of relational databases and beyond |
| title_exact_search | A guided tour of relational databases and beyond |
| title_full | A guided tour of relational databases and beyond Mark Levene and George Loizou |
| title_fullStr | A guided tour of relational databases and beyond Mark Levene and George Loizou |
| title_full_unstemmed | A guided tour of relational databases and beyond Mark Levene and George Loizou |
| title_short | A guided tour of relational databases and beyond |
| title_sort | a guided tour of relational databases and beyond |
| topic | Management gtt Relationele databanken gtt Database management Relational databases Relationales Datenmodell (DE-588)4418263-6 gnd Relationales Datenbanksystem (DE-588)4130535-8 gnd |
| topic_facet | Management Relationele databanken Database management Relational databases Relationales Datenmodell Relationales Datenbanksystem |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008339767&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT levenemark aguidedtourofrelationaldatabasesandbeyond AT loizougeorge aguidedtourofrelationaldatabasesandbeyond |