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

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

Gogolla M. — An Extended Entity-Relationship Model - Fundamentals and Pragmatics
Gogolla M. — An Extended Entity-Relationship Model - Fundamentals and Pragmatics

Читать книгу

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: An Extended Entity-Relationship Model - Fundamentals and Pragmatics

Автор: Gogolla M.


This text presents a comprehensive introduction to an extended Entity-Relationship model both on a conceptual and on a formal, mathematical level. In addition to the primitives given by the data model the text introduces a language for the formulation of constraints in order to restrict database states to consistent ones. The text explains an implementation of the approach chosen in the logic programing language PROLOG and discusses in this context the computational power of the proposed calculus. The extended Entity-Relationship calculus is used to define the meaning of the relational query language SQL. A nice feature of the approach is that it becomes possible to prove language properties on a sound mathematical basis.

Язык: en

Рубрика: Computer science/

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

ed2k: ed2k stats

Издание: 1

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
Предметный указатель
$record(s_{1},...,s_{n})$      13
APL      14
assignments      39
Attribute      21
AVG      16
Bag(s)      13
BTS      14
calc      89
CNT      14
Component      21
Construction      21
DATA      10
Data signature      10
Declarations examples      40 48
Declarations final form      48
Declarations simple form      39
Disjointness in the calculus      39
Disjointness of sets in definitions      12
DSL      84
Entity type      21
ENTTYPE      21
Equivalence rules      64
Extended Entity-Relationship calculus assignments      39
Extended Entity-Relationship calculus declarations      39 48
Extended Entity-Relationship calculus duplicates in bag-valued terms      42
Extended Entity-Relationship calculus equivalence rules      64
Extended Entity-Relationship calculus finiteness of calculus terms      61
Extended Entity-Relationship calculus formulas      45
Extended Entity-Relationship calculus integrity constraints      66
Extended Entity-Relationship calculus non-hierarchical structure      37
Extended Entity-Relationship calculus queries      52
Extended Entity-Relationship calculus ranges      47
Extended Entity-Relationship calculus relational completeness      62
Extended Entity-Relationship calculus safeness      62
Extended Entity-Relationship calculus sorting feature      60
Extended Entity-Relationship calculus terms      40
Extended Entity-Relationship calculus transitive closure      59
Extended Entity-Relationship calculus variables      39
Extended Entity-Relationship model calculus definition      38
Extended Entity-Relationship model comparison to other data models      32
Extended Entity-Relationship model schema definition      21
Extended Entity-Relationship schemas      21
Extended Entity-Relationship schemas attributes      23
Extended Entity-Relationship schemas components      26
Extended Entity-Relationship schemas entity types      23
Extended Entity-Relationship schemas examples      23 32
Extended Entity-Relationship schemas graphical representation      24
Extended Entity-Relationship schemas relationship types      23
Extended Entity-Relationship schemas role names      31
Extended Entity-Relationship schemas type constructions      26
Extended Entity-Relationship schemas undefined value      30
Final form of declaration      48
Finiteness of calculus terms      61
formulas      45
Formulas examples      46
Graphical representation of attributes      25
Graphical representation of cardinality constraints      71
Graphical representation of components      25
Graphical representation of construction types      25
Graphical representation of derived relationships      71
Graphical representation of entity types      24
Graphical representation of extended Entity-Relationship schemas      24
Graphical representation of functional relationships      71
Graphical representation of key attributes      70
Graphical representation of optional and non-optional attributes      70
Graphical representation of relationship types      25
Graphical representation of weak entity types      72
IN      14
ind      14
Infix position for operations      12
Integrity constraints      66
List(s)      13
LTB      14
LTS      16
MAX      16
MIN      16
Notation d# with $d\in DATA$      105
Occ      14
Operations induced by the sort expressions      14
OPNS for extended Entity-Relationship calculus      38
OPNS in data signature      10
OPNS, $OPNS_{BIN}$ in data signature      10
OPNS, $OPNS_{EER}$      38
pos      14
PRED for extended Entity-Relationship calculus      38
PRED in data signature      10
PRED, $PRED_{EER}$      38
Predicates induced by the sort expressions      14
PRJ      14
PROLOG implementation CALC      89
PROLOG implementation calculus translation declarations      93
PROLOG implementation calculus translation formulas      92
PROLOG implementation calculus translation ranges      93
PROLOG implementation calculus translation terms      92
PROLOG implementation data operations      86
PROLOG implementation data predicates      87
PROLOG implementation data sorts      85
PROLOG implementation data specification language DSL      84
PROLOG implementation DSL      84
PROLOG implementation generate-and-test strategy      95
PROLOG implementation query and constraint language CALC      89
PROLOG implementation schema definition language SDL      87
PROLOG implementation schema part of the database      87
PROLOG implementation schema translation attributes      88
PROLOG implementation schema translation components      88
PROLOG implementation schema translation construction types      89
PROLOG implementation schema translation entity types      88
PROLOG implementation schema translation relationship types      89
PROLOG implementation SDL      87
PROLOG implementation, working with the system      79
Queries      52
Queries examples      52
ranges      47
Ranges examples      48
Relational completeness      62
Relationship type      21
RELTYPE      21
Safeness      62
SDL      87
SEL      14
Set(s)      13
Simple form of declarations      39
sort      38
Sort expressions      13
Sort expressions, $record(s_{1},...,s_{n})$      13
Sort expressions, bag(s)      13
Sort expressions, list(s)      13
Sort expressions, operations induced by the sort expressions      14
Sort expressions, predicates induced by the sort expressions      14
Sort expressions, set(s)      13
SORT for extended Entity-Relationship calculus      38
SORT in sort expressions      13
SQL semantics aggregation functions      114
SQL semantics, ALL      105
SQL semantics, ANY      105
SQL semantics, EXISTS      105
SQL semantics, IN      105
SQL semantics, SELECT FROM WHERE      105
SQL semantics, UNION      105
SQL standard      108
SQL syntax aggregation functions      111
SQL syntax comparisons      103
SQL syntax, ALL subqueries      102
SQL syntax, ANY subqueries      102
SQL syntax, AVG      111
SQL syntax, COUNT      111
SQL syntax, EXISTS subqueries      102
SQL syntax, HAVING conditions      109
SQL syntax, IN subqueries      102
SQL syntax, MAX      111
SQL syntax, MIN      111
SQL syntax, requirements for SELECT FROM WHERE GROUP-BY HAVING queries      111
SQL syntax, requirements for SELECT FROM WHERE queries      104
SQL syntax, search conditions      102
SQL syntax, SELECT FROM WHERE GROUP-BY HAVING queries      109
SQL syntax, SELECT FROM WHERE queries      102
SQL syntax, SUM      111
SQL syntax, terms in GROUP BY queries      111
SQL syntax, UNION queries      102
SQL theorems, ALL versus ANY      119
SQL theorems, properties of IN, ALL, ANY, and EXISTS      117
SQL theorems, property of the FROM clause      117
SQL theorems, unnesting of SQL queries      118
SUM      16
Terms      40
Terms examples      42
Theorems, extended Entity-Relationship calculus, finiteness of terms      61
Theorems, extended Entity-Relationship calculus, relational completeness      62
Theorems, SQL, ALL versus ANY      119
Theorems, SQL, properties of IN, ALL, ANY, and EXISTS      117
Theorems, SQL, property of the FROM clause      117
Theorems, SQL, unnesting of SQL queries      118
Transitive closure      59
Type construction      21
Undefined value in data signatures      12
Undefined value in extended Entity-Relationship schemas      30
Variables      39
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте