Авторизация
Поиск по указателям
Maier D. — The theory of relational databases
Обсудите книгу на научном форуме
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: The theory of relational databases
Автор: Maier D.
Аннотация: This remarkably comprehensive new book assembles concepts and results in relational databases theory previously scattered through journals, books, conference proceedings, and technical memoranda in one convenient source, and introduces pertinent new material not found elsewhere.
The book is intended for a second course in databases, but is an excellent reference for researchers in the field.
The material covered includes relational algebra, functional dependencies, multivalued and join dependencies, normal forms, tableaux and the chase computation, representation theory, domain and tuple relational calculus, query modification, database semantics and null values, acyclic database schemes, template dependencies, and computed relations. The final chapter is a brief survey of query languages in existing relational systems. Each chapter contains numerous examples and exercises, along with bibliographic remarks.
Язык:
Рубрика: Computer science /
Статус предметного указателя: Готов указатель с номерами страниц
ed2k: ed2k stats
Год издания: 1983
Количество страниц: 637
Добавлена в каталог: 08.12.2005
Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
Rissanen, J. 145 194 199 223 594 606
RN see Graham reduction
Role, of an attribute 407 — 408
Rothnie, I. B. 482 600 606
Row, conclusion see Template dependency
Row, corresponding 166 177
Row, hypothesis see Generalized functional dependency Template
Row, of a relation see Tuple
Row, of a tableau see Tableau
Row, of a tableau query see Tableau query
Row, over a scheme 495
Row, stabilized see Tableau
Row, superseded see Supersede
Row, tag see Tableau query
Row, winning see Tableau
Rozenshtein, D. 591 604 606
Rubenstein, P. 369 608
Running intersection property 455 460
Running intersection property, and increasing join property 471 — 472
Running intersection property, and join trees 471
Rustin, R. 606
S see Property S
Sadri, F. 145 223 547 549 604 606
Safe expression see Domain calculus expression Tuple
Sagiv, Y. 144 — 145 194 370 438 547 593 604 606
Salveter, S. 604
SAT see Satisfaction class
Satisfaction class 148 183 493
Satisfaction class, closure under projection see Closure
Satisfaction, active 489
Satisfaction, class see Satisfaction class
Satisfaction, global 416 421
Satisfaction, local 423
Satisfaction, of dependencies by a tableau 162 —
Satisfaction, of ECs 385
Satisfaction, of FDs by a database 95
Satisfaction, of FDs by a relation 43
Satisfaction, of FDs in the presence of nulls 377 — 384
Satisfaction, of GFDs 516 — 517
Satisfaction, of JDs 443
Satisfaction, of JDs by a relation 139 — 140
Satisfaction, of modified foreign key constraint 421
Satisfaction, of MVDs by a relation 124 — 127
Satisfaction, of objects 409
Satisfaction, of TDs 494 — 495 500 503 506
Satisfaction, testing 43 — 44 126
Satisfies 43 — 44 71
SCH 35 — 36
Scheme, database see Database scheme
Scheme, fragment see Fragmentation scheme
Scheme, of a tableau see Tableau
Scheme, of a tuple variable see Tuple variable
Scheme, of an algebraic expression 35 — 36
Scheme, relation see Relation scheme
Schenk, K. L. 370 607
Schkolnick, M. 370 593 596 607
Schmid, H. A. 438 607
Sciore, E. 438 483 548 607
SDD-1 370 482
Second normal form see Normal form second
Sekino, L. C. 92 603
Select 13 — 15 262 276
Select, and Boolean operations 14 — 15
Select, and fragmentation schemes 359
Select, and project 16
Select, condition in CNF 308
Select, for partial relations see Generalized relational operator
Select, generalized see Generalized relational operator
Select, on ordered domains 32 — 33
Select, pushing see Algebraic optimization
Select, simplification see Simplification
Selinger, P. G. 370 593 596 607 P
Semijoin 354 — 359 439
Semijoin, alternate usage 482
Semijoin, antijoin see Antijoin
Semijoin, complete program 465
Semijoin, completion point of a program 465
Semijoin, for distributed databases 355 — 356 439
Semijoin, full reducer see Full reducer
Semijoin, maximal reducer 481
Semijoin, program 357 441
Semijoin, reducing a database 356 — 359
Sequel 591
Sequence, generating see Chase
Set basis, minimal disjoint 133 — 135
Set difference see Boolean operation
Set query see Tableau set query
Sethi, R. 194 598 607
Shiftable attribute see Attribute
Shipman, D. W. 606
Shmueli, O. 483 — 484
Shneiderman, B. 607
Shopiro, J. E. 370 607
Shultis, J. C. 41
Simple edge see Connection graph
Simple tableau query see Tableau query
Simple TD see Tableau dependency
Simplification, algebraic 289 295
Simplification, and common subexpressions 299 — 301
Simplification, of unary operators 300 — 301
Simplification, using containment 299 — 300
Slutz, D. R. 593 596
Small relation see Relation
Smith, D, C. P. 438 607
Smith, J. M. 370 438 607
Soft violation see Violation
Solitary node see Hypergraph
Sorenson, P. 370 607
Sowa, J., F. 438 607
sp see Semijoin
Spanning tree, Algorithm 483
Spanning tree, maximum-weight 457 459
splicing see Derivation DAG
Split 37
SQL 550 561 591
SQL, aggregate operator 567
SQL, arithmetic expression 567
SQL, duplicate elimination 562 566
SQL, grouping in aggregate operators 567 — 568
SQL, naming columns in output 567
SQL, ordering output 566
SQL, qualifier 564 — 565
SQL, restriction in aggregate operators 567 — 568
SQL, SELECT statement 561 — 562
SQL, set comparison 562
SQL, set operators 566
SQL, subquery 562 — 564
SQL, taking joins 565 — 566
Square 561 591
SQUARE, mapping 561
Stabilized row see Tableau
Stable see Tableau
Stage see Chase
Stein, J. H. 438 604 608
Steiner, H.-G. 92 608
Stockmeyer, L. H. 369 608
Stonebraker, M. R. 369 — 370 591 598 608
Strength see Possibility function
Strictly partial TD see Template dependency
Strong faithfulness see Faithfulness condition
Strong, D. R. 596
Strongest TD see Template dependency
Structured Query Language see SQL
sub see Subsumption
Subexpression see Common subexpression
Subhypergraph see Hypergraph
Subscheme relation 408 — 411
Subset dependency 548 — 549
Substitution see Domain calculus formula Tuple
Subsumption 155 — 156 177 325
Subsumption, for partial relations 373 382
Subsumption, for partial tuples 373 400
Subsumption, reduction of tableau 156
Subtableau see Tableau query
Subtuple see Tuple
Summary see Tableau query
Sundgren, B. 438 608
Superkey see Key
Supersede 326 424
SURE see Partitioned relation
Sure tuple see Partitioned relation
Swenson, J. R. 438 607
Symbol see Tableau Tableau
Synthesis 107 — 117 138
Synthesis, algorithm 109 — 133
Synthesis, and BCNF 119
Synthesis, correctness 110 — 113
Synthesis, properties 110 — 113
Synthesis, refinements 113 — 115
SYNTHESIZE 109 — 117
System R. 550 561 591
Szymanski, T. G. 370 593
T-rule see Transformation rule
table see Relation Tableau
Tableau 148 — 156
Tableau optimization 323 — 350
Tableau optimization, companion set 328 — 333
Tableau optimization, construction sequence 332
Tableau optimization, multirelation 339 — 347
Tableau optimization, of simple queries 327 — 335
Tableau optimization, of tableau set queries 348 — 351
Tableau optimization, of tagged tableaux 345 — 347
Tableau optimization, on a database 339 — 347
Tableau optimization, using the chase 336 — 339
Tableau optimization, with dependencies 335 — 347
Tableau query 224 262 550
Tableau query, against a database 262 274 339
Tableau query, against a relation 262
Tableau query, and algebraic expressions 275 323
Tableau query, applying to a database scheme 267
Tableau query, blank 263
Tableau query, C-minimum 337 — 339
Tableau query, compatible 276 323
Tableau query, constant 263
Tableau query, containment see Containment
Tableau query, covering another tableau query 325
Tableau query, decidable see Computed relation
Tableau query, distinguished variable 263
Tableau query, equivalence see Equivalence
Tableau query, equivalent minimum 326
Tableau query, equivalent tuple calculus expression 266
Tableau query, evaluation 263 — 265 540
Tableau query, expression 364
Tableau query, for an algebraic expression 268 — 275
Tableau query, listable see Computed relation
Tableau query, mapping see Containment mapping
Tableau query, matched symbol 267 326 344
Tableau query, minimization see Tableau optimization
Tableau query, minimum 326 — 328 331
Tableau query, minimum equivalent 326 328 333
Tableau query, multirelation 274 — 275 339
Tableau query, nondistinguished variable 263
Tableau query, optimization see Tableau optimization
Tableau query, renaming variables 325 327
Tableau query, row 263
Tableau query, set query see Tableau set query
Tableau query, simple 323 327 330
Tableau query, single relation 262 — 274
Tableau query, subtableau 326 328 333
Tableau query, summary 263
Tableau query, superseded row see Supersede
Tableau query, symbol 263
Tableau query, tag of a row 274
Tableau query, tagged 262 274 345 537
Tableau query, untagged 262 348
Tableau query, valuation see Valuation
Tableau query, value 265 — 266
Tableau query, variable 263
Tableau set query 276 — 278
Tableau set query, and algebraic expressions 276 — 278
Tableau set query, compatible 276
Tableau set query, containment see Containment
Tableau set query, equivalence see Equivalence
Tableau set query, minimum 349 — 350
Tableau set query, nonredundant 348
Tableau set query, value 276 — 278
Tableau, as a mapping 150 — 152
Tableau, as a relation 182 — 186
Tableau, as a template 182 — 186
Tableau, as FCR system 170 — 174
Tableau, chase see Chase
Tableau, containment see Containment
Tableau, containment mapping see Containment mapping
Tableau, corresponding row see Row
Tableau, covering another tableau 325
Tableau, distinguished variable 148
Tableau, equivalence see Equivalence
Tableau, for a database scheme 151
Tableau, generating sequence see Chase
Tableau, infinite 515 522
Tableau, nondistinguished variable 148 187
Tableau, original variable 513 521
Tableau, query see Tableau query
Tableau, reduction see Subsumption
Tableau, representation set 183 — 186
Tableau, representing project-join, mappings 151 — 155
Tableau, scheme 148
Tableau, stabilized tow 522
Tableau, symbol 148
Tableau, tow 148
Tableau, transformation rule see Transformation rule
Tableau, valuation see Valuation
Tableau, variable 148
Tableau, winning row 494
Tabular relation 535
Tag see Tableau query
Tagged tableau query see Tableau query
Tanaka, K. 145 370 548 603 608
Taniguchi, K. 601
Tarjan, R. E. 194 598
TC see Consistency
TD see Template dependency
template see Tableau
Template dependency 493 — 497
Template dependency, application to tableau see Transformation rule
Template dependency, cardinality 497
Template dependency, closure under projection see Closure
Template dependency, conclusion row 494 — 495 501
Template dependency, containment mapping see Containment mapping
Template dependency, conventions for writing 495
Template dependency, full 496
Template dependency, graph see Graph
Template dependency, hypothesis row 494 — 495
Template dependency, implication see Implication
Template dependency, inference axiom see Inference axiom
Template dependency, infinity of 504 — 505
Template dependency, on two attributes 497 — 498
Template dependency, partial 496 499
Template dependency, representing a JD 497
Template dependency, restriction 525 — 526
Template dependency, satisfaction see Satisfaction
Template dependency, simple 544
Template dependency, stongest 498
Template dependency, strictly partial 496
Template dependency, trivial 495
Template dependency, typed 496
Template dependency, untyped 496
Template dependency, valuation see Valuation
Template dependency, weaker chain 504 — 505
Template dependency, weakest full 499
Реклама