Availability: Foundations of databases | Technische Universität München

Saved in:

Bibliographic Details
Main Authors:	Abiteboul, Serge 1953- (Author), Hull, Richard 1896-1973 (Author), Vianu, Victor (Author)
Format:	Book
Language:	English
Published:	Reading, Mass. [u.a.] Addison Wesley 1995
Subjects:	Theorie Datenbanksystem
Links:	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
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 xx 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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-006711882

Record in the Search Index

DE-BY-TUM_call_number	0102 DAT 650f 2001 A 5047
DE-BY-TUM_katkey	650034
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010365350
_version_	1821938439386300417
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>01651nam 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 xx 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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006711882</subfield></datafield></record></collection>
id	DE-604.BV010109352
illustrated	Illustrated
indexdate	2024-12-20T09:48:09Z
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
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

Availability

Order (Login required)

Table of Contents
Order paper/chapter scan

Branch Library Mathematics & Informatics

Holdings details from Teilbibliothek Mathematik & Informatik
Call Number:	0102 DAT 650f 2001 A 5047
Copy 1	Available for loan On Shelf