Abstract | ||
---|---|---|
Traditionally, substantial portion of database application semantics are captured through static and dynamic integrity constraints. The work reported in this paper exploits this fact by interpreting such database constraints as invariants and pre- and postconditions in the style of "Z" [ScPi87, Spi88]. Database applications are specified by a conceptual modelling language close to TAXIS [MBW80], which has been enriched by constructs for a predicative speci cation style. Conceptual designs of... |
Year | DOI | Venue |
---|---|---|
1991 | 10.1007/3-540-54834-3_29 | VDM Europe (1) |
Keywords | Field | DocType |
integrated database application environment,conceptual design,integrity constraints | Data mining,Conceptual schema,Programming language,Computer science,Exploit,Data integrity,Invariant (mathematics),Database application,Abstract machine,Semantics,Conceptual model (computer science) | Conference |
Volume | ISSN | ISBN |
551 | 0302-9743 | 3-540-54834-3 |
Citations | PageRank | References |
12 | 1.29 | 2 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Klaus-dieter Schewe | 1 | 1367 | 202.78 |
Joachim W. Schmidt | 2 | 1147 | 919.40 |
Ingrid Wetzel | 3 | 176 | 46.90 |