article

Free access

Stepwise specification of dynamic database behaviour

Author:

Udo W. LipeckAuthors Info & Claims

ACM SIGMOD Record, Volume 15, Issue 2

Pages 387 - 397

https://doi.org/10.1145/16856.16892

Published: 15 June 1986 Publication History

Abstract

This paper presents a methodology for the stepwise specification of dynamic database behaviour. A conceptual schema is described in three levels: data, objects and transactions. To determine which sequences of database states are “admissible”, integrity constraints on objects are given in temporal logic. Transactions are specified by pre/postconditions to produce “executable” state sequences. In order to guarantee that executable state sequences already become admissible, integrity constraints are completely transformed into additional pre/postconditions. We introduce general rules for these transformations. Thus, schema specifications can be refined and simplified systematically.

References

[1]

Froc. ACM Symp. on Prlnclples of Database Systems

[2]

Froc. Int. ACM-SIGMOD Conf. on Management of Data

[3]

Froc. IFIP Work. Conf.on Theoretlcal and Formal Aspects of Informatlon Systems (A.Sernadas et al., eds. ), North-Holland, Amsterdam 1985

[4]

Froc. Int. Conf. on Very Large Data Bases

[5]

Castllho,J.M.V. de/ Casanova,M.A./ Furtado,A.L. : A Temporal Framework for Database Specl f i carl ons. VLDB 1987, 280-291

Digital Library

[6]

Casanova, M.A. / Veloso, P.A.S. / Furtado, A. L. : Formal Database Specl f 1- catlon - An Eclectlc Perspectlve. PODS 1984, 110-118

Digital Library

[7]

Cer1,S. (ed.) : Methodology and Tool s f or Data Base Desl gn. North- Hol land, Amsterdam 1983

[8]

Ehrlch, H.-D. / L1peck, U.W. / Gogolla, Mo : Spec#flcat#on, Semantlcs and Enf or cement of Dynam# c Database Constralnts. VLDB 1984, 301-308

Digital Library

[9]

Furtado, A.L. : An Informal Approach to Formal Speclflcatlons. SIGMOD Record 14#1 (1984), 45-54

Digital Library

[10]

Gardarln,G./Melkanof~,M.: Provlng Consistency of Database Transact# ons. VLDB 1979, 291-298

[11]

ISO/TC97/SC5/WG3 : Concepts and Termlnology ~or the Conceptual Schema and the I n# ormat i on Base. (J. J. van Grlethuysen, ed.) 1982

[12]

Kung,C.H. : A Temporal Framework for Database Spec1~#cat#on and Verlflcat i on. VLDB 1984, 91-99

Digital Library

[13]

Kung, C.H. : A Tableaux Approach for Conslstency Checklng. TFAIS 1985, 191-210

[14]

# ung, C.H. : On Vet ~ f i cat # on of Temporal Database Constraints. SIGMOD 1985, 169-179

Digital Library

[15]

LI peck ~ U.W. / Ehr I ch, H. -D. / Gogolla,M. : Specl fylng Admlsslb111ty of Dynam# c Database Behavl our Usl ng Temporal Loglc. TFAIS 1985, 145-157

[16]

LI peck,U. W./Saake,G./Ehrl ch,H. D. : Monl torl ng Dynaml c Database Integrl ty by Transltlon Graphs. 1986 (submltted for publlcatlon)

[17]

Manna, Z./Pnuell,A. : Verlflcatlon of Concurrent Programs: The Temporal Framework. In: The Correctness Problem In Computer Sclence (R.S. Boyer/ J.S. Moore, eds. ), Academlc Press, 1981, 215-27_#

[18]

N1colas,J.-M.: Loglc for Improving Integrlty Checklng in Rel atlonal Data Bases. Acta Informatlca 18 (1982), 227-253

[19]

Schlel,U./ Furtado,A.L./ Neuhold, E. J./Casanova, M. A. : Towards Mul t i -Level and Modular Conceptual Schema Spec# f 1- catlons. Informatlon Systems 9 (1984), 43-57

Digital Library

[20]

Teorey,T.J./ Fry,J.P.: Deslgn of Database Structures.Prentl ce-Hal I, Englewood Cllffs 1982

Digital Library

[21]

Vel oso, P. A. S. / Cast i I ho, J. M. V. de/ Furtado,A.L.: Systematlc Derlvatlon of Complementary Specflcatlons. VLDB 1981~ 409-421

[22]

Veloso~P.A.S./ Furtado,A.L.: Towards Simpler and Yet Complete Formal Speclflcatlons. TFAIS 1985, 175-189

Cited By

Bækgaard L(2005)Transaction-based specification of database evolutionConceptual Modeling — ER '9710.1007/3-540-63699-4_11(127-140)Online publication date: 29-Jul-2005
https://doi.org/10.1007/3-540-63699-4_11
Godart CDietrich D(2005)Stepwise specification of interactive processes in COOSoftware Process Technology10.1007/3-540-59205-9_63(220-239)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-59205-9_63
Godart C(2005)COO: A transaction model to support cooperating software developers CoordinationSoftware Engineering — ESEC '9310.1007/3-540-57209-0_25(361-379)Online publication date: 29-May-2005
https://doi.org/10.1007/3-540-57209-0_25
Show More Cited By

Index Terms

Stepwise specification of dynamic database behaviour

Recommendations

Stepwise specification of dynamic database behaviour
SIGMOD '86: Proceedings of the 1986 ACM SIGMOD international conference on Management of data

This paper presents a methodology for the stepwise specification of dynamic database behaviour. A conceptual schema is described in three levels: data, objects and transactions. To determine which sequences of database states are “admissible”, integrity ...
Faithfully formalizing OSEK/VDX operating system specification
SoICT '12: Proceedings of the 3rd Symposium on Information and Communication Technology

OSEK/VDX has proposed a standard for operating systems used in automotive systems. This standard is described in the form of informal specification. The informal specification is not suitable for applying formal methods to the whole of the software ...
A transaction logic for database specification

We introduce a logical formalism for the specification of the dynamic behavior of databases. The evolution of databases is characterized by both the dynamic integrity constraints which describe the properties of state transitions and the transactions ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGMOD Record

ACM SIGMOD Record Volume 15, Issue 2

June 1986

407 pages

ISSN:0163-5808

DOI:10.1145/16856

Editor:
Carlo Zaniolo

Issue’s Table of Contents

SIGMOD '86: Proceedings of the 1986 ACM SIGMOD international conference on Management of data
June 1986
407 pages
ISBN:0897911911
DOI:10.1145/16894
Editor:
Carlo Zaniolo

Copyright © 1986 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 June 1986

Published in SIGMOD Volume 15, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
298
Total Downloads

Downloads (Last 12 months)43
Downloads (Last 6 weeks)10

Reflects downloads up to 05 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Bækgaard L(2005)Transaction-based specification of database evolutionConceptual Modeling — ER '9710.1007/3-540-63699-4_11(127-140)Online publication date: 29-Jul-2005
https://doi.org/10.1007/3-540-63699-4_11
Godart CDietrich D(2005)Stepwise specification of interactive processes in COOSoftware Process Technology10.1007/3-540-59205-9_63(220-239)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-59205-9_63
Godart C(2005)COO: A transaction model to support cooperating software developers CoordinationSoftware Engineering — ESEC '9310.1007/3-540-57209-0_25(361-379)Online publication date: 29-May-2005
https://doi.org/10.1007/3-540-57209-0_25
SKAF HCHAROY FGODART C(1999)MAINTAINING SHARED WORKSPACES CONSISTENCY DURING SOFTWARE DEVELOPMENTInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819409900033409:05(623-642)Online publication date: Oct-1999
https://doi.org/10.1142/S0218194099000334
Hohenstein UHohenstein U(1993)Abschließende BemerkungenFormale Semantik eines erweiterten Entity-Relationship-Modells10.1007/978-3-663-12118-3_9(179-181)Online publication date: 1993
https://doi.org/10.1007/978-3-663-12118-3_9
Lipeck U(1990)Transformation of dynamic integrity constraints into transaction specificationsTheoretical Computer Science10.1016/0304-3975(90)90014-976:1(115-142)Online publication date: 1-Oct-1990
https://dl.acm.org/doi/10.1016/0304-3975%2890%2990014-9
(2007)Domain EventsConceptual Modeling of Information Systems10.1007/978-3-540-39390-0_11(247-275)Online publication date: 2007
https://doi.org/10.1007/978-3-540-39390-0_11
Arapis C(2005)Temporal specifications of object behaviorMFDBS 9110.1007/3-540-54009-1_22(308-324)Online publication date: 8-Jun-2005
https://doi.org/10.1007/3-540-54009-1_22
Meyer JWeigand HWieringa R(2005)A specification language for static, dynamic and deontic integrity constraintsMFDBS 8910.1007/3-540-51251-9_23(347-366)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-51251-9_23
Lipeck U(2005)Transformation of dynamic integrity constraints into transaction specificationsICDT '8810.1007/3-540-50171-1_21(322-337)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-50171-1_21
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents