Consistency checking in object oriented databases: A behavioral approach

Herve Martin; Michel Adiba; Bruno Defude

doi:10.1007/3-540-57419-0_4

Consistency checking in object oriented databases: A behavioral approach

Herve Martin, Michel Adiba, Bruno Defude

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

This paper presents a mechanism to enforce consistency in object oriented DBMS using pre-conditions and post-conditions on methods. This mechanism is coupled with an exception mechanism to allow deferred controls and semantic tolerance. Conditions are defined using SQL-like expressions and methods composition. A prototype which has been implemented on the O2 object oriented database management system (DBMS) is also described in this paper.

Original language	English
Title of host publication	Information and Knowledge Management
Subtitle of host publication	Expanding the Definition of Database - 1st International Conference, CIKM 1992, Select Papers
Editors	Timothy W. Finin, Charles K. Nicholas, Yelena Yesha
Publisher	Springer Verlag
Pages	53-68
Number of pages	16
ISBN (Print)	9783540574194
DOIs	https://doi.org/10.1007/3-540-57419-0_4
Publication status	Published - 1 Jan 1993
Externally published	Yes
Event	1st International Conference on Information and Knowledge Management, CIKM 1992 - Baltimore, United States Duration: 8 Nov 1992 → 11 Nov 1992

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	752 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	1st International Conference on Information and Knowledge Management, CIKM 1992
Country/Territory	United States
City	Baltimore
Period	8/11/92 → 11/11/92

Access to Document

10.1007/3-540-57419-0_4

Cite this

Martin, H., Adiba, M., & Defude, B. (1993). Consistency checking in object oriented databases: A behavioral approach. In T. W. Finin, C. K. Nicholas, & Y. Yesha (Eds.), Information and Knowledge Management: Expanding the Definition of Database - 1st International Conference, CIKM 1992, Select Papers (pp. 53-68). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 752 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-57419-0_4

Martin, Herve ; Adiba, Michel ; Defude, Bruno. / Consistency checking in object oriented databases : A behavioral approach. Information and Knowledge Management: Expanding the Definition of Database - 1st International Conference, CIKM 1992, Select Papers. editor / Timothy W. Finin ; Charles K. Nicholas ; Yelena Yesha. Springer Verlag, 1993. pp. 53-68 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b3938675d08446e99501457a429383ac,

title = "Consistency checking in object oriented databases: A behavioral approach",

abstract = "This paper presents a mechanism to enforce consistency in object oriented DBMS using pre-conditions and post-conditions on methods. This mechanism is coupled with an exception mechanism to allow deferred controls and semantic tolerance. Conditions are defined using SQL-like expressions and methods composition. A prototype which has been implemented on the O2 object oriented database management system (DBMS) is also described in this paper.",

author = "Herve Martin and Michel Adiba and Bruno Defude",

note = "Publisher Copyright: {\textcopyright} 1993, Springer Verlag. All rights reserved.; 1st International Conference on Information and Knowledge Management, CIKM 1992 ; Conference date: 08-11-1992 Through 11-11-1992",

year = "1993",

month = jan,

day = "1",

doi = "10.1007/3-540-57419-0\_4",

language = "English",

isbn = "9783540574194",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "53--68",

editor = "Finin, \{Timothy W.\} and Nicholas, \{Charles K.\} and Yelena Yesha",

booktitle = "Information and Knowledge Management",

}

Martin, H, Adiba, M & Defude, B 1993, Consistency checking in object oriented databases: A behavioral approach. in TW Finin, CK Nicholas & Y Yesha (eds), Information and Knowledge Management: Expanding the Definition of Database - 1st International Conference, CIKM 1992, Select Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 752 LNCS, Springer Verlag, pp. 53-68, 1st International Conference on Information and Knowledge Management, CIKM 1992, Baltimore, United States, 8/11/92. https://doi.org/10.1007/3-540-57419-0_4

Consistency checking in object oriented databases: A behavioral approach. / Martin, Herve; Adiba, Michel; Defude, Bruno.
Information and Knowledge Management: Expanding the Definition of Database - 1st International Conference, CIKM 1992, Select Papers. ed. / Timothy W. Finin; Charles K. Nicholas; Yelena Yesha. Springer Verlag, 1993. p. 53-68 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 752 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Consistency checking in object oriented databases

T2 - 1st International Conference on Information and Knowledge Management, CIKM 1992

AU - Martin, Herve

AU - Adiba, Michel

AU - Defude, Bruno

PY - 1993/1/1

Y1 - 1993/1/1

N2 - This paper presents a mechanism to enforce consistency in object oriented DBMS using pre-conditions and post-conditions on methods. This mechanism is coupled with an exception mechanism to allow deferred controls and semantic tolerance. Conditions are defined using SQL-like expressions and methods composition. A prototype which has been implemented on the O2 object oriented database management system (DBMS) is also described in this paper.

AB - This paper presents a mechanism to enforce consistency in object oriented DBMS using pre-conditions and post-conditions on methods. This mechanism is coupled with an exception mechanism to allow deferred controls and semantic tolerance. Conditions are defined using SQL-like expressions and methods composition. A prototype which has been implemented on the O2 object oriented database management system (DBMS) is also described in this paper.

U2 - 10.1007/3-540-57419-0_4

DO - 10.1007/3-540-57419-0_4

M3 - Conference contribution

AN - SCOPUS:84969391572

SN - 9783540574194

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 53

EP - 68

BT - Information and Knowledge Management

A2 - Finin, Timothy W.

A2 - Nicholas, Charles K.

A2 - Yesha, Yelena

PB - Springer Verlag

Y2 - 8 November 1992 through 11 November 1992

ER -

Martin H, Adiba M, Defude B. Consistency checking in object oriented databases: A behavioral approach. In Finin TW, Nicholas CK, Yesha Y, editors, Information and Knowledge Management: Expanding the Definition of Database - 1st International Conference, CIKM 1992, Select Papers. Springer Verlag. 1993. p. 53-68. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-57419-0_4

Consistency checking in object oriented databases: A behavioral approach

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this