Sachverzeichnis. Symbole,67 -Verbund, 56, 85 \, 5,53 C C, 166, 188

Transkript

1 Sachverzeichnis Symbole,67 -Verbund, 56, 85 \, 5,53 C C, 166, 188 [, 5,51, 58,64 ˆ, 166, 42 i,2, 50 n,5,51, 47 ', 11, 3, 3,7,44!, 163 *, 70, 73 %, 75 _, 75 1:1-Beziehung, 24, 30 1NF, 174 2NF, 174 3NF, 174, 179, 194 A Abfrage, 62, 69 Abfrageoptimierer, 126 Abgeleitete Relation, 33 Abgeschlossene Transaktion, 144 Abhängigkeit partielle, 173 rw-, 157 transitive, 173, 181 wr-, 157 ww-, 157 Abhängigkeitserhaltende Zerlegung, 171, 179, 194 ACID, 142 ADD, 115 Aggregation, 63, 87 Aktive Transaktion, 144 Algebra relationale, 41, 62 ALL, 83 Allaussage in SQL, 84 ALTER TABLE, 115 AND, 74 Anderungsanomalie, 162 Anomalie, 161 ANY, 83 Aquivalenz, 190 Arithemtischer Ausdruck, 73 Armstrong-Kalkül, 185 AS, 78 ASC, 82 Assoziativgesetz kartesisches Produkt, 7 Atomares Objekt, 2 Atomarizität, 142 Attribut, 10 prim, 173 Attributhülle, 188 Aufgegebene Transaktion, 144 Ausserer Verbund, 57, 86 Auswertungsplan, 132 AUTO-COMMIT, 145 avg, rel. Algebra, 63 Springer-Verlag Berlin Heidelberg 2016 T. Studer, Relationale Datenbanken, examen.press, DOI /

2 202 Sachverzeichnis AVG, SQL, 87, 97 Axiom Armstrong-Kalkül, 185 B B C C-Baum, 122 Basisrelation, 33, 41 BCNF, 174, 179, 194 BEGIN, 145 Behälter, 124 BETWEEN, 74 Beziehung 1:1, 30 m:1, 24 m:n, 26 ternäre, 29 Bitmap Heap Scan, 134 Bitmap Index Scan, 134 boolean, 105 Bucket, 124 Datenbankabfrage, 62 Datentyp, 105 Dauerhaftigkeit, 142 DEFAULT, 106 DELETE, 103 Deletion-Anomalie, 162 DENSE_RANK, 94 DESC, 82 Diagramm, 23 Differenz, 5, 51, 81 Dirty Read, 147 Disjunktheit, 33 DISTINCT, 73 Division, 58, 84, 91 Domäne, 10 DROP MATERIALIZED VIEW, 120 DROP SEQUENCE, 103 DROP TABLE, 71 DROP VIEW, 119 Durchschnitt, 53, 63, 82, 87 C CASCADE, 110, 111 char, 105 CHECK, 113 COMMIT, 145 Constraint, 16, 108 check, 113 not null, 18, 25, 108 primary key, 18, 108 references, 19, 108, 109 unique, 17, 109, 165 COUNT, 90 COUNT DISTINCT, 90 count, rel. Algebra, 63 COUNT, SQL, 87 CREATE INDEX, 124 CREATE MATERIALIZED VIEW, 119 CREATE SEQUENCE, 102 CREATE TABLE, 69, 105 CREATE VIEW, 117 D Datenbank relationale, 12 Datenbank-Schema, 12 E Einfügeanomalie, 162 Einfache funktionale Abhängigkeit, 188 Erfüllung einer funktionalen Abhängigkeit, 163 EXCEPT, 81 EXCEPT ALL, 81 Existenz von Mengen, 4 Existenzaussage in SQL, 83 Existenzbedingung, 25 EXISTS, 83 EXPLAIN, 132 F Folgerung logische, 165 FOREIGN KEY, 108 Fremdschlüssel, 16, 19, 24, 108, 109 FROM, 71, 76 FULL OUTER JOIN, 86 Functional Dependency, 163 Funktionale Abhängigkeit, 163 einfache, 188

3 Sachverzeichnis 203 G Gescheiterte Transaktion, 144 Gleichheit schwache, 11, 15, 186 von Mengen, 3 von Tupel, 2 Grossschreibung, 70 Group By, rel. Algebra, 64 Multimengen-, 67 GROUP BY, SQL, 87, 97 Grundoperationen, 42 Gruppierung, 63, 87, 97 full outer, 86 Hash, 135, 138 left outer, 57, 86 Merge, 135, 137 natural, 53, 77, 85 Nested Loop, 135 outer, 57, 86 right outer, 86 verlustfreien, 170 Join Kriterium, 56 Junktoren logische, 46 H Hülle von einer Menge von Attributen, 188 von einer Menge von funktionalen Abhängigkeiten, 166 Hüllenberechnung, 188 Hash, 138 Hash Index, 125 Hash Join, 135, 138 Hashfunktion, 124 HAVING, 88 I IN, 83 Index, 121, 125 Index Scan, 133 INNER JOIN, 85 Input Relation, 42 INSERT, 70, 102 Insertion-Anomalie, 162 Instanz, 12 integer, 105 Integritätsbedingung, 16 INTERSECT, 82 INTERSECT ALL, 82 IS NOT NULL, 76 IS NULL, 76 Isolation, 142 ISOLATION LEVEL, 148 Isolationsgrad, 146, 148, 152 J Join, 56, 85 K Kartesisches Produkt, 7, 44, 61 Kaskadierung, 109 Kleinschreibung, 70 Komplement, 52 Komponente, 2 Komprehension, 4 Konsistenz, 142 Konstante Relation, 42, 45 Korrektheit Armstrong-Kalkül, 186 Korrelierte Subquery, 84 Krähenfuss-Notation, 23 L Löschanomalie, 162 LEFT OUTER JOIN, 86 LIKE, 75 LIMIT, 92 Linker äusserer Verbund, 57, 86 Logische Folgerung, 165 logische Junktoren, 46 Logische Optimierung, 126 M m:1-beziehung, 24 m:n-beziehung, 26 Materialisierte View, 119 Materialize, 135 max, rel. Algebra, 63 MAX, SQL, 87 Maximum, 63, 87 Mehrbenutzerbetrieb, 141

4 204 Sachverzeichnis Menge, 2 Mengendifferenz, 51 Merge Join, 135, 137 min, rel. Algebra, 63 MIN, SQL, 87 Minimale Überdeckung, 192 Minimalität, 192 Minimum, 63, 87 Modell, 23 Multimenge, 67 Multimengen-GroupBy, 67 Multiversion Concurrency Control Architektur, 149, 152 MVCC, 149, 152 N Natürlicher Verbund, 53, 77, 85 NATURAL JOIN, 85 Nested Loop, 135 Nested Loop Join, 135 nextval, 102, 107 Nicht-sprechender Schlüssel, 14 Non-repeatable Read, 147 Normalform, 161, 173, 174 NOT, 74 NOT EXISTS, 84 NOT IN, 83 Not null Constraint, 18, 25, 108 NTILE, 95 Null, 10, 18, 20, 46, 49, 90 Vermeidung von, 33 NULLS LAST, 93 O Objekt, 2 ON, 85 ON DELETE, 110, 112 ON UPDATE, 111, 112 Optimierer, 126 Optimierung logische, 126 physische, 132 OR, 74 ORDER BY, 82, 93 OVER, 93 P Paradox, 4 Partielle Abhängigkeit, 173 PARTITION BY, 95 Patternmatching, 75 Persistente Transaktion, 144 pg_clog, 151 Phantom Read, 147 Physische Optimierung, 132 PostgreSQL, 124, 145, 149, 152, 158 Prädikat, 46, 56 PRECEDING, 96, 97 Prim Attribut, 173 Primärschlüssel, 13, 102, 108 PRIMARY KEY, 108 Primary key Constraint, 18, 108 Produkt kartesisches, 7, 44, 61 Projektion der relationalen Algebra, 42 mengentheoretische, 2 Q Query, 62, 69 Queryplan, 132 R Rang, 93 RANK, 93 READ COMMITTED, 148, 152 READ UNCOMMITTED, 148 Read(X), 142 Recheck, 134 Rechter äusserer Verbund, 86 REFERENCES, 109 References Constraint, 19 References constraint, 108, 109 Referenz, 16 REFRESH MATERIALIZED VIEW, 119 REINDEX, 126 Rekursion, 99 Relation, 6, 11 abgeleitete, 33 Input, 42 konstante, 42, 45

5 Sachverzeichnis 205 Relationale Algebra, 41, 62 Relationale Datenbank, 12 Relationenmodell, 9, 23 Relationenschema, 12 RENAME TO, 115 REPEATABLE READ, 148, 154 RIGHT OUTER JOIN, 86 ROLLBACK, 145 ROWS 2 PRECEDING, 97 ROWS UNBOUNDED PRECEDING, 96 RR-Abhängigkeit, 157 Russel Paradox, 4 S Schema, 12 Datenbank-, 12 Schlüssel, 12, 166 nicht-sprechend, 14 sprechend, 14 Schnitt, 5 Schwache Gleichheit, 11, 15, 186 SELECT, Selektion, 46 Seq Scan, 133 Sequenz, 102, 107 serial, 105, 107 Serialisierbarkeitsgraph, 157 SERIALIZABLE, 148, 155, 158 SET, 105 SET NULL, 112 SET TRANSACTION ISOLATION LEVEL, 148 Sicht, 117 Sichtbarkeitsbedingung, 152 Snapshot, 149, 152 Sort, 137 Sortieren, 82 Sprechender Schlüssel, 14 SQL, 69 START, 102 Status Attribut, 40 Subquery, 83 korrelierte, 84 Suchschlüssel, 124 sum, rel. Algebra, 63 SUM, SQL, 87, 96 Summe, 63, 87 Superschlüssel, 166 T Teilmenge, 3 Ternäre Beziehung, 29 text, 105 Totalität, 33 Transaktion, 141 abgeschlossene, 144 aktive, 144 aufgegebene, 144 gescheiterte, 144 persistente, 144 wartende, 144 Transaktionsmodell, 144 Transaktionsnummer, 149, 152 Transitive Abhängigkeit, 173, 181 Triviale funktionale Abhängigkeit, 163 Tupel, 2, 11 txid_current, 150 U Überdeckung, 190 minimale, 192 Umbenennung, 50, 78 UNBOUNDED PRECEDING, 96 UNION, 79 UNION ALL, 81 UNIQUE, 109 Unique Constraint, 17, 109, 165 unknown, 46 UPDATE, 105 Update-Anomalie, 162 USING, 86 V VACUUM, 152 VALUES, 70, 102 varchar, 105 Verbund, 56, 85 ausserer, 57, 86 linker äusserer, 57, 86 natürlicher, 53, 77, 85 rechter äusserer, 86 voller äusserer, 86 Vereinigung, 5, 51, 79 Vererbung, 32 Vergleichsoperatoren, 74

6 206 Sachverzeichnis Verlustfreie Zerlegung, 170, 179, 194 Verlustfreien Join, 170 Vermeidung von Null, 33 View, 117 aktualisieren, 119 materialisiert, 119 Voller äusserer Verbund, 86 Vollständigkeit Armstrong-Kalkül, 187 WR-Abhängigkeit, 157 Write(X), 142 WW-Abhängigkeit, 157 X Xid, 149 Xmax, 149 Xmin, 149 W Wahrheitswert, 46 Wartende Transaktion, 144 WHERE, 71, 74 Window Funktion, 93, 95 WITH, 99 WITH RECURSIVE, 99 Z Zählen, 63, 87 Zerbrechen eines Schlüssels, 15 Zerlegung, 167 abhängigkeitserhaltende, 171, 179, 194 verlustfreie, 170, 179, 194