Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Maier D. — The theory of relational databases
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.


Язык: en

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1983

Количество страниц: 637

Добавлена в каталог: 08.12.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$2_{X}$      488
$c_{W}$      126 — 127
$E_{F}$      see Equivalence classes of FDs
$H_{E}$      see Connection graph
$I_{r}$      see Intersection graph
$m_{R}$      see Project-join mapping
$O$      see Object
$R_{F}$-extension      see Extension join
$T_{R}$      see Tableau
$\bowtie$      see Join
$\Delta$      see Renaming
$\gamma$      see Generalized functional dependency
$\kappa$      540
$\lambda$      3
$\pi$      see Project
$\Psi$      see Containment mapping Folding
$\rho$      see Valuation
$\Sigma$      see Select
$\tau$      see Template dependency
$\theta$-comparable      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$\grave{e}$k$\grave{e}$ssy, A.      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
1 2 3 4 5 6 7
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте