Авторизация
Поиск по указателям
Maier D. — The theory of relational databases
Обсудите книгу на научном форуме Нашли опечатку?
Название: 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.
Язык: Рубрика: 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
Реклама
|
|
О проекте