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

University Grenoble Alpes
CNRS SAMOVAR UMR 5157

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Résumé

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.

langue originale	Anglais
titre	Information and Knowledge Management
Sous-titre	Expanding the Definition of Database - 1st International Conference, CIKM 1992, Select Papers
rédacteurs en chef	Timothy W. Finin, Charles K. Nicholas, Yelena Yesha
Editeur	Springer Verlag
Pages	53-68
Nombre de pages	16
ISBN (imprimé)	9783540574194
Les DOIs	https://doi.org/10.1007/3-540-57419-0_4
état	Publié - 1 janv. 1993
Modification externe	Oui
Evénement	1st International Conference on Information and Knowledge Management, CIKM 1992 - Baltimore, États-Unis Durée: 8 nov. 1992 → 11 nov. 1992

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	752 LNCS
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	1st International Conference on Information and Knowledge Management, CIKM 1992
Pays/Territoire	États-Unis
La ville	Baltimore
période	8/11/92 → 11/11/92

Accès au document

10.1007/3-540-57419-0_4

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

Martin, H., Adiba, M., & Defude, B. (1993). Consistency checking in object oriented databases: A behavioral approach. Dans 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 (p. 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. Editeur / 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)).

@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. Dans 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, p. 53-68, 1st International Conference on Information and Knowledge Management, CIKM 1992, Baltimore, États-Unis, 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).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

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.

UR - https://www.scopus.com/pages/publications/84969391572

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. Dans Finin TW, Nicholas CK, Yesha Y, rédacteurs en chef, 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

Résumé

Série de publications

Une conférence

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation