Towards a Consistent Viewpoint on Consistency for Persistent Applications

Collet, Philippe; Vignola, Greta

doi:10.1007/3-540-44677-x_3

Cited by 2 publications

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this context behavioral subtyping is achieved by weakening the precondition of an inherited method by a disjunction with an additional Boolean expression, while the post condition of an inherited method is strengthened by a conjunction with an additional Boolean expression. The same ideas are applied by approaches aiming at enriching Javabased object-oriented database systems with constraints [34,35].…”

Section: Methods Properties and Static Analysismentioning

confidence: 93%

A set‐oriented method definition language for object databases and its semantics

Bertino

Guerrini

Merlo

2003

Concurrency and Computation

View full text Add to dashboard Cite

SUMMARYIn this paper we propose a set-oriented rule-based method definition language for object-oriented databases. Most existing object-oriented database systems exploit a general-purpose imperative objectoriented programming language as the method definition language. Because methods are written in a general-purpose imperative language, it is difficult to analyze their properties and to optimize them. Optimization is important when dealing with a large amount of objects as in databases. We therefore believe that the use of an ad hoc, set-oriented language can offer some advantages, at least at the specification level. In particular, such a language can offer an appropriate framework to reason about method properties.In this paper, besides defining a set-oriented rule-based language for method definition, we formally define its semantics, addressing the problems of inconsistency and non-determinism in set-oriented updates. Moreover, we characterize some relevant properties of methods, such as conflicts among method specifications in sibling classes and behavioral refinement in subclasses.

show abstract

Section: Methods Properties and Static Analysismentioning

confidence: 93%