E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Proc. of Int'l Conf. on Rules and Objects in Databases (DOOD) as a stream of the First Int'l Conf. on Computational Logic (CL 2000). Springer-Verlag, July 2000.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....For a complete list, see http: wonderweb.man.ac.uk deliverables D20.shtml. http: ontoview.org changes 1 3 19 Ontology Infrastructure for the Semantic Web worst case scenario s, and that for some operations the effect is unknown (i.e. unpredictable) In contrast to [17] who provides complete semantics of changes we prefer to use heuristics in order to avoid expensive reasoning about the impact of changes. 4.1.3 Update Management With the elements that we described in this section, we now have a complete procedure to determine whether compiled knowledge in ....

E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Computational Logic 2000.

....Compare http: wonderweb.man.ac.uk deliverables D20.shtml. http: ontoview.org changes 1 3 The specification of effects is not complete, in the sense that it describes worst case scenario s, and that for some operations the effect is unknown (i.e. unpredictable) In contrast to [Franconi et al. 2000] who provides complete semantics of changes we prefer to use heuristics in order to avoid expensive reasoning about the impact of changes. 4.3 Update Management With the elements that we described in this section, we now have a complete procedure to determine whether compiled knowledge in other ....

Enrico Franconi, Fabio Grandi, and Federica Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Computational Logic 2000, number 1861 in Lecture Notes in Computer Science, pages 1048 -- 1062, 2000.

....growing as new complex changes are defined. A snapshot of the change ontology can be found online. The specification of effects is not complete, in the sense that it describes worst case scenario s, and that for some operations the effect is unknown (i.e. unpredictable) In contrast to [Franconi et al. 2000] who provides complete semantics of changes we prefer to use heuristics in order to avoid expensive reasoning about the impact of changes. See http: www.w3.org TR owl features . For a complete list, see http: wonderweb.man.ac. uk deliverables D20.shtml. http: ontoview.org changes 1 3 ....

Enrico Franconi, Fabio Grandi, and Federica Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Computational Logic 2000, number 1861 in Lecture Notes in Computer Science, pages 1048 -- 1062, 2000.

No context found.

E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Proc. of Int'l Conf. on Rules and Objects in Databases (DOOD) as a stream of the First Int'l Conf. on Computational Logic (CL 2000). Springer-Verlag, July 2000.

No context found.

E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Proc. of Int'l Conf. on Rules and Objects in Databases (DOOD) as a stream of the First Int'l Conf. on Computational Logic (CL 2000). Springer-Verlag, July 2000.

No context found.

Enrico Franconi, Fabio Grandi, and Federica Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In 6th International Conference on Rules and Objects in Databases (DOOD'2000.

No context found.

E. Franconi, F. Grandi, and F. Mandreoli. A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. In Proc. Intl' Conf. on Deductive and Object-Oriented Databases (DOOD 2000.

No context found.

Enrico Franconi, Fabio Grandi, and Federica Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Proceedings of the 6th International Conference on Rules and Objects in Databases (DOOD 2000.

No context found.

E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Proc. of the 1st International Conf. on Computational Logic (CL'2000), DOOD stream. Springer-Verlag, July 2000.

....object oriented data model. A data model supports schema evolution if it allows for explicit changes in the schema without the loss of extant data. A complete formal characterisation of the semantics of schema changes in a classical objectoriented schema evolution framework (first introduced in [22]) will be provided. The organisation of both part two and part three of this Chapter is similar. We first define the syntax and the semantics of the considered data model: in part two it is a temporal Entity Relationship data model that is an Entity Relationship data model extended with ....

....the semantics of change problem, and try to give a general answer to the problem of deciding the consistency and the consequences of any given sequence of elementary schema changes. To this end, we will introduce a formal approach for the specification and management of evolving database schemas [22]. C, D # A (primitive concept) # (top) # (bottom) C (complement) C # D (conjunction) C # D (disjunction) #R. C (univ. quantifier) #R. C (exist. quantifier) #n R. C) min cardinality) #n R. C) max cardinality) R, S # P (primitive role) inverse role) Fig. 3. ....

[Article contains additional citation context not shown here]

E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Proc. of the 1st International Conf. on Computational Logic (CL'2000), DOOD stream. SpringerVerlag, July 2000.

....bad ever happens and can be captured by the formula 2 : E v ) On the other hand, liveness constraints saying that something good will happen can be expressed by existential temporal formulas: 3 : E v ) Schema evolution. We consider here a simplified case of conceptual schema evolution [38, 20, 35], which can be called a monotonic approach. This allows only for changes in the schema such that the resulting conceptual schema is compatible with the previous global constraints. Let and p be atomic formulas, or possibly a Boolean combination of atomic formulas, which introduce, respectively, ....

E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in objectoriented databases. In Proc. of the 1st International Conf. on Computational Logic (CL'2000), DOOD stream. Springer-Verlag, July 2000.

.... of first order formalisms that have been found useful for domain knowledge representation in several application fields, from database design including conceptual, object oriented, temporal, multimedia and semistructured data modeling to software engineering and ontology management (e.g. [1, 7, 8, 11, 12, 15, 16, 22] and [2, Part 3] Di#erent Description Logics provide for constructors which can be used to combine atomic concepts (unary predicates) and roles (binary predicates) to build complex concepts and roles. The available constructors characterize the description language as to expressiveness and ....

E. Franconi, F. Grandi, and F. Mandreoli. A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. In Proc. Intl' Conf. on Deductive and Object-Oriented Databases (DOOD 2000), pages 1048--1062, 2000.

.... on the integration of a fixed set of invariant preserving primitive change operations (with the standard object query language OQL as the vehicle for flexible object migration) 41] and the optimization of complex sequences of schema evolution operations [42] Finally, also our previous work [43, 44] concerned a formal characterization of the schema evolution process in an object oriented database. We formalized the notion of schema version and the interschema relationships induced by schema changes using an encoding in Description Logics [45] We introduced interesting reasoning tasks ....

....reasoning tasks concerning the check of different types of consistency defined at local (i.e. single schema version) or global (i.e. complete database) level, which can be solved using the inference engine of the Description Logic. However, we did not consider the change propagation problem in [43, 44]: we actually assumed dealing with a single database instance, compatible with every derivable schema version, as the only way to ensure portability of applications compiled with past schema versions. An extreme consequence of such an approach is the introduction of a strong notion of ....

E. Franconi, F. Grandi, F. Mandreoli, A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases, in: Proc. of the 6th Intl' Conf. on Rules and Objects in Databases (DOOD) as a stream of the 1st Intl' Conf. on Computational Logic (CL), no. 1861 in LNAI, Springer-Verlag, London, UK, 2000, pp. 1048--1062.

....bad ever happens and can be captured by the formula (E # #) On the other hand, liveness constraints saying that something good will happen can be expressed by existential temporal formulas: # # (E ##) Schema evolution. We consider here a simplified case of conceptual schema evolution [15], which can be called a monotonic approach. This allows only for changes in the schema such that the resulting conceptual schema is compatible with the previous global constraints. Let # and # p be atomic formulas, or possibly a Boolean combination of atomic formulas, which introduce, ....

E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Proc. of the 1st International Conf. on Computational Logic (CL'2000), DOOD stream. Springer-Verlag, July 2000.

....to require that at any moment of time the company has at least one employee: # # (Employee ##) 3. 3 Schema evolution The problem of schema evolution arises in the context of long lived database applications, where stored data are considered worth surviving changes in the database schema [32, 14, 30]. According to a widely accepted terminology [26] a database supports schema evolution if it permits modifications of the schema without the loss of extant data. We consider here a simplified case of conceptual schema evolution, which can be called a monotonic approach. This allows only for ....

E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Proc. of the 1st International Conf. on Computational Logic (CL'2000), DOOD stream. Springer-Verlag, July 2000.

....to require that at any moment of time the company has at least one employee: 2 : Employee v ) 3. 3 Schema evolution The problem of schema evolution arises in the context of long lived database applications, where stored data are considered worth surviving changes in the database schema [32, 14, 30]. According to a widely accepted terminology [26] a database supports schema evolution if it permits modifications of the schema without the loss of extant data. We consider here a simplified case of conceptual schema evolution, which can be called a monotonic approach. This allows only for ....

E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Proc. of the 1st International Conf. on Computational Logic (CL'2000), DOOD stream. Springer-Verlag, July 2000.

....to require that at any moment of time the company has at least one employee: 2 : Employee v ) 3. 3 Schema evolution The problem of schema evolution arises in the context of long lived database applications, where stored data are considered worth surviving changes in the database schema [24, 12]. According to a widely accepted terminology, a database supports schema evolution if it permits modifications of the schema without the loss of extant data. We consider here a simplified case of conceptual schema evolution, which can be called a monotonic approach. This allows only for changes ....

E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in objectoriented databases. In Proc. of the 1st International Conf. on Computational Logic (CL'2000), DOOD stream. Springer-Verlag, July 2000.

....complexity of the modelling task when complex documents are involved, there is the demand of more sophisticated and expressive languages than for normal databases. Again, DL research is very active in providing expressive languages for conceptual modelling (see, e.g. Artale and Franconi, 1999; Franconi et al. 1999; 2000; Franconi and Sattler, 1999] As to the basic conceptual modelling language, we have decided to adopt an extended ER (EER) conceptual data model. Basic elements of ER schemas are entities, denoting a set of objects called instances, and relationships, denoting a set of tuples made by the ....

....dimensions. The ability of representing aggregations at the conceptual level is crucial in modelling structured documents in digital libraries. In this project, we have built a tool implementing the above EER conceptual data model, and we have devised a conceptual modelling methodology for it [Franconi and Ng, 2000; Jarke et al. 2000] Conceptual modelling is a highly iterative process. Let s assume that we start with a (possible empty) partial schema and want to add some new information, that is, some additional objects or properties of objects that a user is interested in and that thus should be ....

E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Proc. of the 6th International Conference on Rules and Objects in Databases (DOOD 2000), 2000.

....the elective choice for temporal applications [14, 15] For the sake of brevity, schema evolution can be considered as a special case of schema versioning where only the current schema version is maintained. In this paper, we present a formal approach, which has been introduced and analysed in [13], for the specification and management of schema versioning in the general framework of an object oriented database, and discuss its logical and computational characteristics. The adoption of an object oriented data model is the most common choice in the literature concerning schema evolution, ....

....of a legal database (or class) instance for a single schema version. Classification tasks we define include the discovery of implicit inclusion inheritance relationships between classes ( 5] Decidability and complexity results are available for the above mentioned tasks in our framework [13] and tools based on Description Logics can be used in practice. The process of schema transformation can be formally checked. The provided semantics of the various schema change operations makes it possible to reduce the correctness proof of complex sequences of schema changes to solvable ....

[Article contains additional citation context not shown here]

E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Proc. of Int'l Conf. on Rules and Objects in Databases (DOOD) as a stream of the First Int'l Conf. on Computational Logic (CL 2000). Springer-Verlag, July 2000.

No context found.

E.Franconi, F.Grandi, F.Mandreoli. A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. Computational Logic 2000, 1048-1062

No context found.

E. Franconi, F. Grandi, and F. Mandreoli. A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. In Proc. Intl' Conf. on Deductive and ObjectOriented Databases (DOOD 2000.

No context found.

Enrico Franconi, Fabio Grandi, and Federica Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In 1st Int. Conf. on Computational Logic (CL 2000.

No context found.

E.Franconi, F.Grandi, F.Mandreoli. A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. Computational Logic 2000, 1048-1062

No context found.

Franconi E, Grandi F, Manderoli F. A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. In: Lecture Notes in Computer Science 2065; 2000. p. 85-99.

No context found.

Franconi E., Grandi F., and Mandreoli F., A semantic approach for schema evolution and versioning in object-oriented databases. Proc. of the Sixth International Conference on Rules and Objects in Databases (DOOD 2000), 2000.

First 50 documents

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC