Авторизация
Поиск по указателям
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
Предметный указатель
488 126 — 127 see Equivalence classes of FDs see Connection graph see Intersection graph see Project-join mapping see Object see Extension join see Tableau see Join see Renaming see Generalized functional dependency 540 3 see Project see Containment mapping Folding see Valuation see Select see Template dependency 31 1NF see Normal form 2NF see Normal form 3NF see Normal form 4NF see Normal form AC see Information preservation condition Active complement see Boolean operation Active domain see Domain Active satisfaction see Satisfaction Acyclic database scheme 452 Acyclic database scheme, and consistency 469 — 471 Acyclic database scheme, and Graham reduction 460 — 463 Acyclic database scheme, and MVDs 473 — 475 Acyclic database scheme, and unique decomposition 474 — 477 Acyclic database scheme, equivalence theorem 460 Acyclic database scheme, testing 455 — 457 Acyclic hypergraph see Hypergraph Add operation see Update Additivity see Inference axiom Adequate operator see Generalized relational operator Adequate representation see Representation adom see Domain Aggregate operator 550 Aho, A, V. 63 70 145 194 286 370 483 549 593 Algebra see Relational algebra Algebraic dependency 548 Algebraic expression 34 — 36 226 Algebraic expression, and conjunctive queries 278 Algebraic expression, and tableau queries 275 323 Algebraic expression, and tableau set queries 276 — 278 Algebraic expression, and tuple calculus 308 Algebraic expression, as a mapping 35 — 36 Algebraic expression, common subexpression see Common subexpression Algebraic expression, connection graph see Connection graph Algebraic expression, containment see Containment Algebraic expression, for transitive closure 529 Algebraic expression, monotonic 276 — 278 Algebraic expression, optimization see Algebraic optimization Algebraic expression, restricted 262 327 344 364 537 Algebraic expression, scheme see Scheme Algebraic expression, simplification see Simplification Algebraic expression, tableau query for 268 — 275 Algebraic expression, tree see Expression tree Algebraic expression, with computed relations see Computed relation Algebraic identity see Identity Algebraic optimization 301 307 440 Algebraic optimization, pushing project 303 — 304 Algebraic optimization, pushing select 302 — 303 311 Annular cover see Cover Anomaly 98 ANSI/X3/SPARC report 437 593 Antijoin 551 Approximation, of a relation 398 Arbitrary relation see Relation Armstrong relation see Relation Armstrong, W. W. 48 70 92 145 593 Armstrong’s axioms see Inference axiom Arora, A. K. 200 223 593 Articulation set see Hypergraph Associativity, of generalized relational operators 390 392 Associativity, of operations 19 297 Astrahan, M. M. 370 591 593 596 607 atom see Domain calculus formula Tuple Attribute 2 Attribute name see Attribute Attribute symbol see Attribute Attribute, avoidable 115 — 117 Attribute, class 457 Attribute, closure see Closure Attribute, domain see Domain Attribute, equivalent sets see Equivalence Attribute, externally dependent 112 — 113 Attribute, extraneous 74 — 77 Attribute, multiple occurrences 407 Attribute, nonprime 99 101 Attribute, prime 99 Attribute, removable 113 Attribute, renaming see Renaming attributes Attribute, representing a role 407 — 408 Attribute, shiftable 89 Attribute, tuple defined on see Tuple Attribute, weight in a graph 458 Attribute, weight in a scheme 457 Atzeni, P. 437 483 593 Augmentation see Inference axiom avoid 116 — 117 Avoidable attribute see Attribute B 70 595 Bachman, C. W. 438 594 Banchilon, F. 549 594 Base relation see Relation BCNF see Normal form Beck, L. L. 41 594 Beeri, C. 70 92 122 144 194 223 483 548 593 Bernstein, P. A. 70 92 122 370 437 482 594 598 600 606 Biskup, J. 122 145 398 437 595 BLANK see Tableau query Blasgen, M. W. 369 591 593 596 Blaustein, B. T. 438 595 Block see Hypergraph Boolean operation 11 — 13 Boolean operation, active complement 11 — 13 Boolean operation, and select 14 — 15 Boolean operation, complement 11 — 13 Boolean operation, for partial relations see Generalized relational operator Boolean operation, generalized see Generalized relational operator Boolean operation, generalized intersection 482 Boolean operation, intersection 11 262 276 Boolean operation, set difference 11 Boolean operation, union 11 276 Bottleneck see Hypergraph Bound variable see Domain variable Tuple Boyce — Codd normal form see Normal form Boyce, R. F. 117 — 119 122 591 596 Brodie, M. L. 438 596 C-minimum tableau query see Tableau query C-weak instance see Weak instance C-WI see Weak instance Calculus see Domain relational calculus Tuple Canonical cover see Cover Cardenas, A. F. 10 596 Cardinality constraint 549 Carlson, C. R. 200 223 438 593 596 Cartesian product 17 30 Casanova, M. A. 549 596 Casey, R. G. 70 122 194 547 598 CD see Computed dependency Ceri, S. 370 596 CFD see Compound functional dependency Chain see Template dependency Chamberlin, D. D. 370 591 593 596 607 Chandra, A. K. 145 286 549 597 Chang, P. Y.-T. 370 607 Change operation see Update Characteristic set 87 Characteristic set, natural 87 Characterized FD see Functional dependency Chase 164 — 182 217 Chase, computational properties 186 — 188 Chase, corresponding row see Row Chase, extension 342 — 346 Chase, generating sequence 166 177 514 521 Chase, infinite 511 Chase, K. 483 597 Chase, limit 515 522 Chase, null value 380 — 384 419 424 Chase, of a tagged tableau 346 — 347 Chase, on tableau queries 336 — 339 Chase, on tagged tableau queries 340 — 341 Chase, renaming variables 518 521 Chase, stage 514 Chase, termination 514 521 Chase, testing implication of dependencies see Implication Chase, transformation rule see Transformation rule Chase, under GFDs 518 — 521 Chase, under TDs 494 510 Chase, under TDs and GFDs 521 — 524 Chen, P. P.-S. 438 597 Childs, D. L. 24 597 Chiu, D.-M. 370 482 595 Chord see Graph Chordal see Graph Hypergraph Chordless path see Hypergraph Church — Rosser property see Finite Church — Rosser property Clarke, E. M. 438 595 class see Attribute Class, of an attribute see Attribute satisfaction Satisfaction Clause, Horn see Horn clause Clause, of a formula 529 Clifford, I. 438 597 CLIQUE see Graph Close extension see Extension Closed possibility function see Possibility function Closed subhypergraph see Hypergraph Closed world assumption 388 Closure 63 — 65 Closure, of a set of attributes 49 — 50 179 213 423 Closure, of a set of FDs 48 — 49 Closure, of satisfaction classes under projection 524 — 527 Closure, testing membership 62 — 68 Closure, transitive see Transitive closure Closure, under intersection 183 429 Closure, under restricted FDs 213 — 214 CNF see Normal form Coalescence see Inference axiom Codd, E. F. 10 24 41 70 117 122 286 390 437 597 column see Attribute Common subexpression 295 — 301 Common subexpression, and simplification 299 — 301 Commutativity, of generalized relational operators 390 Commutativity, of operations 14 16 302 COMP see Completion Image Tableau Companion set see Tableau optimization Comparator 31 229 251 Compatible query see Tableau query Tableau Compatible tuple see Tuple Complement see Boolean operation Complementation see Inference axiom Complete database scheme see Database scheme Complete intersection graph see Intersection graph Complete program see Semijoin Complete query system see Query system Completely characterized FD see Functional dependency Completeness, disputing definition 527 Completeness, of a relation 182 — 186 Completeness, of domain calculus 255 — 257 Completeness, of inference axioms see Inference axioms Completeness, of tuple calculus 242 — 244 247 Completeness, permissible 377 — 379 382 Completeness, satisfying FDs 377 Completion point see Semijoin Completion, of a partial relation 374 381 Component see Independent component condition Component-wise image see Image Compound functional dependency 87 — 90 Compound functional dependency, characteristic set see Characteristic set Compound functional dependency, cover see Cover Compound functional dependency, equivalence see Equivalence Compound functional dependency, left set 87 Compound functional dependency, left side 87 Compound functional dependency, reduced 89 Compound functional dependency, right side 87 Compound functional dependency, shiftable attribute see Attribute Computed dependency 536 — 537 Computed relation 533 — 542 Computed relation, decidable query 537 541 Computed relation, determining set 536 Computed relation, in algebraic expressions 536 — 542 Computed relation, kill symbol 540 Computed relation, listable query 537 — 541 Computed relation, marking algorithm 537 — 540 Conclusion see Generalized functional dependency Conclusion row see Template dependency Condition see Dependency Select Conflict-free MVD see Multivalued dependency Conformal hypergraph see Hypergraph Conjunct 308 Conjunctive normal form see Normal form Conjunctive query 224 278 Conjunctive query, and algebraic expressions 278 Conjunctive query, containment see Containment Conjunctive query, equivalence see Equivalence Conjunctive query, folding see Folding Conjunctive query, minimum 351 Conjunctive query, optimization 350 — 353 Connected component see Hypergraph Connection see Window function Connection graph 309 — 311 Connection graph, modification 310 — 311 314 Connection graph, simple edge 319 Connective, distributivity 309 Connective, distributivity, logical 33 233 251 350 Connective, distributivity, precedence 230 251 Connective, distributivity, quantifier 233 — 234 251 Connors, T. T. 370 598 Consistency, and acyclic database schemes 469 — 471 Consistency, and full reducers 468 — 469 Consistency, and increasing join property 472 Consistency, pairwise 197 444 460 Consistency, total 197 444 460 Constant see Tableau query Constant relation see Relation Constant tuple see Tuple Constraint see Dependency Constraint containment 201 Construction sequence see Tableau optimization Containment condition, and updates 411 Containment condition, and updates, for windows 412 414 Containment condition, and updates, on objects 410 Containment mapping 328 — 331 Containment mapping, for TDs 495 Containment mapping, of tableau queries 323 — 325 327 333 Containment mapping, of tableaux 156 — 160 Containment mapping, of tagged tableau queries 350 Containment mapping, of tagged tableaux 345 — 347 Containment mapping, one-to-one 327 333 Containment, constraint 201 Containment, constraint, of algebraic expressions 299 — 300 Containment, constraint, of conjunctive queries 351 Containment, constraint, of fixed-points 153 — 154 209 Containment, constraint, of project-join mappings 153 — 154
Реклама
-extension 
-comparable 
k
|
|
О проекте