Specification and prototypical execution of integrity concepts for domain specific database management systems:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Hamburg
Kovač
1995
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Zugl.: Zürich, Univ., Diss., 1994 |
| Physical Description: | 193 S. Ill., graph. Darst. |
| ISBN: | 3860642111 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009956727 | ||
| 003 | DE-604 | ||
| 005 | 19960219 | ||
| 007 | t | ||
| 008 | 941212s1995 gw ad|| m||| 00||| ger d | ||
| 016 | 7 | |a 942973348 |2 DE-101 | |
| 020 | |a 3860642111 |c kart. : DM 76.00 |9 3-86064-211-1 | ||
| 035 | |a (OCoLC)645139243 | ||
| 035 | |a (DE-599)BVBBV009956727 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 | ||
| 084 | |a ST 270 |0 (DE-625)143638: |2 rvk | ||
| 100 | 1 | |a Scherrer, Stefan Karl |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Specification and prototypical execution of integrity concepts for domain specific database management systems |c Stefan Karl Scherrer |
| 264 | 1 | |a Hamburg |b Kovač |c 1995 | |
| 300 | |a 193 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Zugl.: Zürich, Univ., Diss., 1994 | ||
| 650 | 0 | 7 | |a Konsistenz |g Informatik |0 (DE-588)4214306-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenbanksystem |0 (DE-588)4113276-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikationssprache |0 (DE-588)4182217-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Datenbanksystem |0 (DE-588)4113276-2 |D s |
| 689 | 0 | 1 | |a Konsistenz |g Informatik |0 (DE-588)4214306-8 |D s |
| 689 | 0 | 2 | |a Spezifikationssprache |0 (DE-588)4182217-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006598529&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006598529 | |
Record in the Search Index
| _version_ | 1807682361070977024 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
CHAPTER
1:
INTRODUCTION
.
1
1.1
SUMMARY
.
1
1.2
TERMINOLOGY
.
3
1.2.1
DATABASES
AND
INTEGRITY
.
3
1.2.2
ACTORS
ON
THE
SCENE
.
7
1.3
MOTIVATION
.
8
1.3.
1
CLAIM
1:
SELECTED
INTEGRITY
MANAGEMENT
CONCEPTS
ARE
SPECIFIABLE
.
10
1.
3.2
CLAIM
2:
THOSE
SPECIFICATIONS
ARE
EXECUTABLE
.
10
1.4
METHOD
.
10
1.5
THE
ROAD
MAP
.
11
CHAPTER
2:
THE
CONTEXT
.
13
2.1
PRELIMINARIES
.
14
2.2
THE
"
STANDARD
"
PERSPECTIVE
.
15
2.2.1
NON-DBMS
APPROACH
.
15
2.
2.
2
HIERARCHICAL
APPROACH
.
16
2.2.3
NETWORK
APPROACH
.
16
2.2.4
RELATIONAL
APPROACHES
.
17
2.3
THE
OBJECT-ORIENTED
PERSPECTIVE
.
20
2.
3.1
GENERAL
CONCEPTS
.
21
2.3.1.1
IDENTITY
.
21
2.3.
1.2
BEHAVIOR
.
21
2.3.
1.
3
ASSOCIATIONS
.
22
2.
3.2
CONCRETE
APPROACHES
AND
STANDARDS
.
24
2.4
LOGICAL
PERSPECTIVE
.
29
2.4.
1
DEDUCTIVE
APPROACHES
.
29
2.4.
1.1
RELATIONAL
APPROACHES
.
30
2.4.1.2
OBJECT-ORIENTED
APPROACHES
.
30
2.4.2
TEMPORAL
APPROACHES
.
31
2.4.
3
THEOREM
PROVING
APPROACHES
.
32
2.5
THE
"
CONSTRUCTIVE
"
PERSPECTIVE
.
33
2.5.
1
ABSTRACT-MACHINE-BASED
APPROACHES
.
34
2.5.2
SPECIFICATION-BASED
APPROACHES
.
39
2.6
OTHER
PERSPECTIVES
.
41
2.
6.1
DISTRIBUTION
.
42
2.6.2
HETEROGENEITY
.
42
2.7
A
CLASSIFICATION
.
43
2.7.1
TRANSITIONS
.
44
2.7.
1.1
STRUCTURE
.
44
2.7.
1.2
SCOPE
OF
CONSTRAINTS
.
44
2.7.
1.3
SCOPE
DEFINITION
RESPONSIBILITY
.
45
2.7.2
CONDITIONS
.
47
2.7.
2.
1
CONDITION
LANGUAGE
CONCEPTS
.
47
2.
7.
2.
2
CONDITION
DEFINITION
RESPONSIBILITY
.
48
2.7.2.
3
CONDITION
EVALUATION
STRATEGIES
.
49
2.7.3
REACTIONS
.
50
2.7.3.
1
REACTION
LANGUAGE
CONCEPTS
.
50
2.7.
3.2
REACTION
DEFINITION
RESPONSIBILITY
.
50
2.7.
3.
3
REACTION
EXECUTION
CONTEXT
AND
BEHAVIOR
.
52
2.7.4
SYSTEM
IMPLEMENTATION
.
52
CHAPTER
3:
THE
KIDS
PROJECT
.
55
3.1
OVERALL
GOALS
.
55
3.2
INITIAL
DBMS
ARCHITECTURE
.
55
3.3
THE
CONSTRUCTION
LIFE-CYCLE
.
58
3.3.1
ANALYSIS
.
.-.
.
58
3.3.2
ARCHITECTURE
SELECTION
.
59
3.
3.
3
ASPECT
ANALYSIS
.
60
3.3.4
ARCHITECTURE
REFINEMENT
.
61
3.3.5
SUBSYSTEM
REALIZATION
.
61
3.3.5.
I
GENERATION
.
61
3.
3.
5.2
CONFIGURATION
.
61
3.
3.
5.3
GENERATION
VERSUS
CONFIGURATION
.
62
3.
3.6
TESTING,
OPTIMIZATION,
EXTENSION,
AND
MAINTENANCE
.
63
3.4
THE
CONSTRUCTION
SYSTEM
.
63
CHAPTER
4:
DATA
MODEL
SPECIFICATION
.
67
4.1
REQUIREMENTS
.
68
4.2
LANGUAGE
CONCEPTS
.
69
4.
2.1
THE
TOP-LEVEL
LANGUAGE
CONCEPT
FOR
SPECIFYING
DATA
MODELS
.
71
4.2.2
THE
OVERALL
STRUCTURE
OF
META
CONCEPT
SPECIFICATIONS
.
72
4.2.
3
IDENTIFICATION
.
73
4.2.4
REFINEMENT
.
74
4.2.
5
INTERFACES
.
75
4.2.5.
I
EXAMPLE
.
76
4.2.
5.2
TYPING
RULES
.
77
4.2.6
REALIZATION
.
79
4.2.6.1
VARIABLES
.
79
4.2.6.
2
CONTROL
STRUCTURES
.
79
4.
2.6.
3
LAMBDA
EXPRESSIONS
.
81
4.
2.6.4
THE
BASE
ABSTRACTION
USED
FOR
OPERATION
REALIZATION
.
81
4.
2.6.
5
EXAMPLE
OPERATION
REALIZATIONS
.
84
4.
2.
7
SPECIFICATION
PARAMETERS
.
85
4.
2.
8
SPECIFICATION
PROPERTIES
.
87
4.2.
8.
1
META
OBJECT
TYPES
.
88
4.2.
8.2
META
ASSOCIATION
TYPES
.
88
4.
2.9
LANGUAGE
CONCEPTS
SUPPORTING
SUBSYSTEM
VALIDATION
.
89
4.3
DISCUSSION
.
92
CHAPTER
5:
INTEGRITY
MODEL
SPECIFICATION
.
93
5.1
REQUIREMENTS
.
93
5.2
LANGUAGE
CONCEPTS
.
94
5.2.1
THE
TOP-LEVEL
LANGUAGE
CONCEPT
FOR
SPECIFYING
INTEGRITY
MODELS
.
95
5.
2.
2
LOGICAL
LANGUAGES
.
96
5.2.
2.
1
FUNCTION
SYMBOLS,
TERMS,
AND
VARIABLES
.
97
5.
2.2.
2
TERM
EVALUATION
.
97
5.
2.
2.
3
EXAMPLES:
BASIC
FUNCTIONS
.
100
PAGE
W
5.
2.2.4
EXAMPLES:
ASSERTIONS!
AND
REFERENTIAL
INTEGRITY
FUNCTION
SYMBOLS
.
101
5.2.2.5
EXAMPLES:
AGGREGATE
FUNCTIONS
.
104
5.
2.
2.6
FURTHER
REMARKS
ON
TERM
COMPOSITION
.
106
5.
2.
3
STATE
TRANSITIONS
.
107
5.
2.4
REACTIONS
.
108
5.2.5
LANGUAGE
CONCEPTS
SUPPORTING
SUBSYSTEM
VALIDATION
.109
5.2.6
THE
UNDERLYING
MODEL
.
ILL
5.3
DISCUSSION
.113
CHAPTER
6:
IMPLEMENTATION
.
115
6.1
PRELUDE
.
116
6.1.1
TARGET
PROGRAMMING
LANGUAGE
AND
SYSTEM
EVALUATION
.116
6.
1.2
COMPILER
CONSTRUCTION
METHOD
.
117
6.1.2.
1
SPECIFICATION
OF
THE
LEXER
AND
THE
PARSER
.
118
6.1.2.
2
ISSUES
IN
THE
REALIZATION
OF
THE
SEMANTIC
ANALYSIS
AND
CODE
GENERATION
.
118
6.1.2.3
CONCLUSIONS
.
118
6.2
DATA
MODEL
SPECIFICATION
LANGUAGE
.118
6.
2.
1
PARSE-TREE
DESIGN
.
118
6.2.2
THE
RUN-TIME
ENVIRONMENT
.
121
6.2.3
THE
MAPPING
.
121
6.3
INTEGRITY
MODEL
SPECIFICATION
LANGUAGE
.
124
6.
3.
1
PARSE-TREE
DESIGN
.124
6.
3.2
THE
RUN-TIME
ENVIRONMENT
.
124
6.
3.2.
1
STANDARD
IMS
INTERFACE
.
124
6.
3.2.
2
PRIMITIVES
REPOSITORY:
EVENT
MANAGEMENT
.
125
6.3.2.3
REALIZATION
OF
THE
STANDARD
IMS
INTERFACE
.
128
6.3.3
MAPPING
.
128
6.3.
3.
1
FUNCTION
SYMBOL
SPECIFICATIONS
.
128
6.3.
3.2
EVENT
SPECIFICATIONS
.
130
6.
3.
3.
3
IMSL
PROGRAMS
.
130
6.4
CONCLUSION
.
131
CHAPTER
7:
CASE
STUDIES
.
133
7.1
RELATIONAL
INTEGRITY
CONCEPTS
.133
7.1.1
REQUIREMENTS
.
133
7.1.2
SPECIFICATIONS
.
135
7.1.
2.
1
DMSL
SPECIFICATIONS
.
135
7.
1.2.
2
IMSL
SPECIFICATIONS
.
138
7.1.3
VALIDATION
-
THE
"
EMP-DEPT
"
EXAMPLE
.
141
7.2
OBJECT-ORIENTED
INTEGRITY
CONCEPTS
.
145
7.
2.
1
REQUIREMENTS
.
145
7.2.
1.
1
DATA
DEFINITION
FACILITIES
.145
7.2.
1.
2
QUERY
LANGUAGE
AND
DATA
MANIPULATION
LANGUAGE
.
146
7.2.
1.3
SUMMARY
OF
INHERENT
INTEGRITY
CONSTRAINTS
.
146
7.2.
1.4
SUMMARY
OF
OTHER
CONSTRAINT
FACILITIES
.
147
7.
2.
2
SPECIFICATIONS
.
148
7.2.
2.
1
DMSL
SPECIFICATIONS
.
148
7.
2.
2.2
IMSL
SPECIFICATIONS
.
152
7.
2.3
VALIDATION
-
THE
UNIVERSITY
EXAMPLE
.
157
CHAPTER
8:
CONCLUSIONS
.
163
8.1
ASSESSMENT
.
163
PAGE
VII
8.2
FURTHER
RESEARCH
.
164
8.2.1
DMSL
.
164
8.2.
1.1
PERSISTENCE
.
164
8.2.
1.
2
QUERY
OPTIMIZATION
.
164
8.2.
1.3
DBIVS.
DBU
.
166
8.2.2
IMSL
.
166
8.
2.
2.
1
TEMPORAL
LOGIC
FOR
FUNCTION
SYMBOLS
.
166
8.
2.
2.
2
COMPOSITION
OF
TERMS
.
166
8.
2.2.
3
RUN-TIME-SYSTEMS
.
167
APPENDIX
A
BIBLIOGRAPHY
.
169
APPENDIX
B
LIST
OF
FIGURES
.
179
APPENDIX
C
DMSL
GRAMMAR
RULES
.
181
APPENDIX
D
IMSL
GRAMMAR
RULES
.
183
APPENDIX
E
IMS.LISP
.
185
APPENDIX
F
DETECTOR.LISP
.
191
PAGE
VIII |
| any_adam_object | 1 |
| author | Scherrer, Stefan Karl |
| author_facet | Scherrer, Stefan Karl |
| author_role | aut |
| author_sort | Scherrer, Stefan Karl |
| author_variant | s k s sk sks |
| building | Verbundindex |
| bvnumber | BV009956727 |
| classification_rvk | ST 270 |
| ctrlnum | (OCoLC)645139243 (DE-599)BVBBV009956727 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV009956727</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960219</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">941212s1995 gw ad|| m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">942973348</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3860642111</subfield><subfield code="c">kart. : DM 76.00</subfield><subfield code="9">3-86064-211-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)645139243</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009956727</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 270</subfield><subfield code="0">(DE-625)143638:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Scherrer, Stefan Karl</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Specification and prototypical execution of integrity concepts for domain specific database management systems</subfield><subfield code="c">Stefan Karl Scherrer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hamburg</subfield><subfield code="b">Kovač</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">193 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Zürich, Univ., Diss., 1994</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konsistenz</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4214306-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenbanksystem</subfield><subfield code="0">(DE-588)4113276-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenbanksystem</subfield><subfield code="0">(DE-588)4113276-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Konsistenz</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4214306-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006598529&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006598529</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV009956727 |
| illustrated | Illustrated |
| indexdate | 2024-08-18T00:17:17Z |
| institution | BVB |
| isbn | 3860642111 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006598529 |
| oclc_num | 645139243 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | 193 S. Ill., graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Kovač |
| record_format | marc |
| spelling | Scherrer, Stefan Karl Verfasser aut Specification and prototypical execution of integrity concepts for domain specific database management systems Stefan Karl Scherrer Hamburg Kovač 1995 193 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Zugl.: Zürich, Univ., Diss., 1994 Konsistenz Informatik (DE-588)4214306-8 gnd rswk-swf Datenbanksystem (DE-588)4113276-2 gnd rswk-swf Spezifikationssprache (DE-588)4182217-1 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Datenbanksystem (DE-588)4113276-2 s Konsistenz Informatik (DE-588)4214306-8 s Spezifikationssprache (DE-588)4182217-1 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006598529&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Scherrer, Stefan Karl Specification and prototypical execution of integrity concepts for domain specific database management systems Konsistenz Informatik (DE-588)4214306-8 gnd Datenbanksystem (DE-588)4113276-2 gnd Spezifikationssprache (DE-588)4182217-1 gnd |
| subject_GND | (DE-588)4214306-8 (DE-588)4113276-2 (DE-588)4182217-1 (DE-588)4113937-9 |
| title | Specification and prototypical execution of integrity concepts for domain specific database management systems |
| title_auth | Specification and prototypical execution of integrity concepts for domain specific database management systems |
| title_exact_search | Specification and prototypical execution of integrity concepts for domain specific database management systems |
| title_full | Specification and prototypical execution of integrity concepts for domain specific database management systems Stefan Karl Scherrer |
| title_fullStr | Specification and prototypical execution of integrity concepts for domain specific database management systems Stefan Karl Scherrer |
| title_full_unstemmed | Specification and prototypical execution of integrity concepts for domain specific database management systems Stefan Karl Scherrer |
| title_short | Specification and prototypical execution of integrity concepts for domain specific database management systems |
| title_sort | specification and prototypical execution of integrity concepts for domain specific database management systems |
| topic | Konsistenz Informatik (DE-588)4214306-8 gnd Datenbanksystem (DE-588)4113276-2 gnd Spezifikationssprache (DE-588)4182217-1 gnd |
| topic_facet | Konsistenz Informatik Datenbanksystem Spezifikationssprache Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006598529&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT scherrerstefankarl specificationandprototypicalexecutionofintegrityconceptsfordomainspecificdatabasemanagementsystems |