%PDF-1.3
%
1 0 obj
<<
/Type /Catalog
/Pages 2 0 R
/Metadata 3 0 R
>>
endobj
4 0 obj
<<
/Producer (GNU Ghostscript 7.07)
/Creator (dvips\(k\) 5.92b Copyright 2002 Radical Eye Software)
/Title ({Formal definition of a conceptual language for the description and manipulation of information models})
/Subject (Conceptual data modelling techniques aim at the representation of data at a high level of abstraction. This implies that conceptual data modelling techniques should not only be capable of naturally representing complex structures, but also the rules \(constraints\) that must hold for these structures. Contemporary data modelling techniques however, do not provide a language, which on the one hand has a formal semantics and on the other hand leads to natural looking expressions, for formulating these constraints. In this paper such a language is defined for an existing data modelling technique \(PSM\), which is a generalisation of object-role models \(such as ER or NIAM\). In this language not only constraints, but also queries and updates can be expressed on a conceptual level. )
/Author (Hofstede, A.H.M. ter and Proper, H.A. and Weide, Th.P. van der)
/bibtex#2Fbibtexkey (1993-Hofstede-LISA-D)
/bibtex#2Fclass (Journal)
/bibtex#2Ffile (1993-Hofstede-LISA-D.pdf:1993-Hofstede-LISA-D.pdf:PDF)
/bibtex#2Fjournal (Information Systems)
/bibtex#2Fmonth (October)
/bibtex#2Fnumber (7)
/bibtex#2Fowner (erikproper)
/bibtex#2Fpages (489--523)
/bibtex#2Ftimestamp (2009.07.10)
/bibtex#2Fvolume (18)
/bibtex#2Fyear (1993)
/bibtex#2Fentrytype (Article)
>>
endobj
2 0 obj
<<
/Type /Pages
/Kids [5 0 R 6 0 R 7 0 R 8 0 R 9 0 R 10 0 R 11 0 R 12 0 R 13 0 R 14 0 R
15 0 R 16 0 R 17 0 R 18 0 R 19 0 R 20 0 R 21 0 R 22 0 R 23 0 R 24 0 R
25 0 R 26 0 R 27 0 R 28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R
35 0 R 36 0 R 37 0 R 38 0 R 39 0 R 40 0 R 41 0 R 42 0 R 43 0 R]
/Count 39
>>
endobj
3 0 obj
<<
/Type /Metadata
/Subtype /XML
/Length 44 0 R
>>
stream
Conceptual data modelling techniques aim at the representation of data at a high level of abstraction. This implies that conceptual data modelling techniques should not only be capable of naturally representing complex structures, but also the rules (constraints) that must hold for these structures. Contemporary data modelling techniques however, do not provide a language, which on the one hand has a formal semantics and on the other hand leads to natural looking expressions, for formulating these constraints. In this paper such a language is defined for an existing data modelling technique (PSM), which is a generalisation of object-role models (such as ER or NIAM). In this language not only constraints, but also queries and updates can be expressed on a conceptual level.
A.H.M. ter Hofstede
H.A. Proper
Th.P. van der Weide
bibtex/bibtexkey/1993-Hofstede-LISA-D
bibtex/class/Journal
bibtex/file/1993-Hofstede-LISA-D.pdf:1993-Hofstede-LISA-D.pdf:PDF
bibtex/journal/Information Systems
bibtex/number/7
bibtex/owner/erikproper
bibtex/pages/489--523
bibtex/timestamp/2009.07.10
bibtex/volume/18
{Formal definition of a conceptual language for the description and manipulation of information models}
1993-10
application/pdf
Article
A.H.M. ter Hofstede
H.A. Proper
Th.P. van der Weide
1993-Hofstede-LISA-D
Journal
1993-Hofstede-LISA-D.pdf:1993-Hofstede-LISA-D.pdf:PDF
Information Systems
October
7
erikproper
489--523
2009.07.10
{Formal definition of a conceptual language for the description and manipulation of information models}
18
1993
Article
endstream
endobj
5 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 45 0 R
/Contents 46 0 R
>>
endobj
6 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 47 0 R
/Contents 48 0 R
>>
endobj
7 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 49 0 R
/Contents 50 0 R
>>
endobj
8 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 51 0 R
/Contents 52 0 R
>>
endobj
9 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 53 0 R
/Contents 54 0 R
>>
endobj
10 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 55 0 R
/Contents 56 0 R
>>
endobj
11 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 57 0 R
/Contents 58 0 R
>>
endobj
12 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 59 0 R
/Contents 60 0 R
>>
endobj
13 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 61 0 R
/Contents 62 0 R
>>
endobj
14 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 63 0 R
/Contents 64 0 R
>>
endobj
15 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 65 0 R
/Contents 66 0 R
>>
endobj
16 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 67 0 R
/Contents 68 0 R
>>
endobj
17 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 69 0 R
/Contents 70 0 R
>>
endobj
18 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 71 0 R
/Contents 72 0 R
>>
endobj
19 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 73 0 R
/Contents 74 0 R
>>
endobj
20 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 75 0 R
/Contents 76 0 R
>>
endobj
21 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 77 0 R
/Contents 78 0 R
>>
endobj
22 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 79 0 R
/Contents 80 0 R
>>
endobj
23 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 81 0 R
/Contents 82 0 R
>>
endobj
24 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 83 0 R
/Contents 84 0 R
>>
endobj
25 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 85 0 R
/Contents 86 0 R
>>
endobj
26 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 87 0 R
/Contents 88 0 R
>>
endobj
27 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 89 0 R
/Contents 90 0 R
>>
endobj
28 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 91 0 R
/Contents 92 0 R
>>
endobj
29 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 93 0 R
/Contents 94 0 R
>>
endobj
30 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 95 0 R
/Contents 96 0 R
>>
endobj
31 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 97 0 R
/Contents 98 0 R
>>
endobj
32 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 99 0 R
/Contents 100 0 R
>>
endobj
33 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 101 0 R
/Contents 102 0 R
>>
endobj
34 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 103 0 R
/Contents 104 0 R
>>
endobj
35 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 105 0 R
/Contents 106 0 R
>>
endobj
36 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 107 0 R
/Contents 108 0 R
>>
endobj
37 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 109 0 R
/Contents 110 0 R
>>
endobj
38 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 111 0 R
/Contents 112 0 R
>>
endobj
39 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 113 0 R
/Contents 114 0 R
>>
endobj
40 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 115 0 R
/Contents 116 0 R
>>
endobj
41 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 117 0 R
/Contents 118 0 R
>>
endobj
42 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 119 0 R
/Contents 120 0 R
>>
endobj
43 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Rotate 0
/Parent 2 0 R
/Resources 121 0 R
/Contents 122 0 R
>>
endobj
44 0 obj
3862
endobj
45 0 obj
<<
/ProcSet [/PDF /Text]
/ExtGState 123 0 R
/Font 124 0 R
>>
endobj
46 0 obj
<<
/Length 125 0 R
/Filter /FlateDecode
>>
stream
xZێF诘lub6'x!\2VKrtmN%De/f\