Properties and update semantics of consistent views

Gottlob, Georg; Puppa, Paolo; Zicari, Roberto V.

doi:10.1145/49346.50068

Cited by 106 publications

(44 citation statements)

References 36 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This made for interesting theory, but it is far too constraining to support realistic updates. Finally, Gottlob, Paolini, and Zicari [GPZ88] generalize the notion of constant-complement update to decreasing-complement update. While this generalization does not preserve the notion of implicit reversibility, the relationship between our work and theirs nonetheless warrants further study.…”

Section: Example -Non-uniform Updatabilitymentioning

confidence: 99%

“…As a starting point, we observe that in the literature, the sole body of work which addresses update support in closed views, at least to some degree, is that based upon the constantcomplement strategy of Bancilhon and Spyratos [BS81b,BS81a]. This includes subsequent work by Cosmadakis and Papadimitriou [CP84], Gottlob, Paolini, and Zicari [GPZ88], and our own earlier work [Heg84]. Because we start by postulating properties of an update strategy rather than by fixing a strategy itself, our approach does not presuppose constantcomplement update as a goal unto itself.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Foundations of canonical update support for closed database views

Hegner

1990

Icdt '90

View full text Add to dashboard Cite

A closed view of a database schema is one which is totally encapsulated. Insofar as the user is concerned, the view is the database schema. The rest of the database system is not visible through the view, and is is not required for complete use of the view. Similarly, the updates which may be effected through the view have their scope limited entirely to that view. In this paper, we lay the mathematical foundations for the systematic support of such views. The proper context is shown to be that of update translation under constant meet complement, a refinement of the constant complement strategy of Bancilhon and Spyratos. The central complexity result for relational schemata is that checking the legality of updates is "infinitely" simpler than blindly checking that the new state is legal for the view schema, and in the particular case that the base schema is constrained by functional dependencies, may always be performed in constant time, even if the view schema is not finitely axiomatizable. We further establish that, under very natural assumptions, update strategies for closed views are unique.

show abstract

Section: Example -Non-uniform Updatabilitymentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Foundations of canonical update support for closed database views

Hegner

1990

Icdt '90

View full text Add to dashboard Cite

show abstract

“…In software development and databases, the notion of context appears in the form of views [3,23,49,1,52,41,9], aspects [46], roles [24,50], or even workspaces which are used to support cooperative work [30]. In machine learning, context is treated as environmental information for concept classification [39,37].…”

Section: Introductionmentioning

confidence: 99%

Contextualization as an independent abstraction mechanism for conceptual modeling

Analyti

Theodorakis²,

Spyratos

et al. 2007

Information Systems

View full text Add to dashboard Cite

The notion of context appears in computer science, as well as in several other disciplines, in various forms. In this paper, we present a general framework for representing the notion of context in information modeling. First, we define a context as a set of objects, within which each object has a set of names and possibly a reference: the reference of the object is another context which "hides" detailed information about the object. Then, we introduce the possibility of structuring the contents of a context through the traditional abstraction mechanisms, i.e. classification, generalization, and attribution. We show that, depending on the application, our notion of context can be used as an independent abstraction mechanism, either in an alternative or a complementary capacity with respect to the traditional abstraction mechanisms. We also study the interactions between contextualization and the traditional abstraction mechanisms, as well as the constraints that govern such interactions. Finally, we present a theory for contextualized information bases. The theory includes a set of validity constraints, a model theory, as well as a set of sound and complete inference rules. We show that our core theory can be easily extended to support embedding of particular information models in our contextualization framework.

show abstract

“…From a theoretical point of view, it would be interesting to widen the search for connections into the fields of topology and category theory, and to understand the connections with earlier work such as [4] better. Finally, a major area of future work is to understand the connections with graph grammars, especially triple graph grammars.…”

Section: Conclusion and Further Workmentioning

confidence: 99%

Towards an Algebraic Theory of Bidirectional Transformations

Stevens

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Bidirectional transformations are important for model-driven development, and are also of wide interest in computer science. In this paper we present early work on an algebraic presentation of bidirectional transformations. In general, a bidirectional transformation must maintain consistency between two models, either of which may be edited, and each of which may incorporate information not represented in the other. Our main focus here is on lenses [2, 1, 3] which provide a particularly well-understood special case, in which one model is an abstraction of the other, and either the abstraction or the full model may be edited. We show that there is a correspondence between lenses and short exact sequences of monoids of edits. We go on to show that if we restrict attention to invertible edits, very well-behaved lenses correspond to split short exact sequences of groups; this helps to elucidate the structure of the edit groups.

show abstract

Properties and update semantics of consistent views

Cited by 106 publications

References 36 publications

Foundations of canonical update support for closed database views

Foundations of canonical update support for closed database views

Contextualization as an independent abstraction mechanism for conceptual modeling

Towards an Algebraic Theory of Bidirectional Transformations

Contact Info

Product

Resources

About