Qian, X. (1996). Correct Schema Transformations, Advances in Database Technology - EDBT'96, Lecture Notes in Computer Science 1057, pp.114-128. Springer-Verlag. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Formal Correctness Procedures for Object-Oriented Databases - Edmond Bouguettaya (Correct)
....and instances in a consistent and dynamic fashion. What has so far been lacking is the definition of a consistent set of core procedures to deal with database correctness issues. Although, research efforts in schema evolution specifications in the last decade have been abundant [Zicari, 1991; Qian, 1996], none of the approaches we know of proposes a set of consistent formal procedures that would be used as building blocks for the specification of database correctness. This approach would have the major advantage in that it provides a set of generic rules for the definition and modification of ....
Qian, Xiaolei (1996). Correct schema transformations. In Proceedings of the 5th Int. Conf. on Extending Database Technology, Avignon.
Correct Schema Transformations - Xiaolei Qian (1996) (2 citations) Self-citation (Qian) (Correct)
....However, it remains open whether the implications from calculus to generic dominance, and from internal to absolute dominance are strict. 5.2 Comparison Let Gamma = Sigma ; Phi) and Gamma 0 = Sigma 0 ; Phi 0 ) be two schemas. The proof of the following theorem can be found in [16]. Theorem 1. If Gamma Gamma 0 (calc) then Gamma v Gamma 0 . If Gamma v Gamma 0 , then Gamma Gamma 0 (abs) There exist schemas Gamma and Gamma 0 such that Gamma Gamma 0 (gen,int,abs) but Gamma 6v Gamma 0 (and hence Gamma 6 Gamma 0 (calc) For example, ....
X. Qian. Correct schema transformations. Technical Report SRI-CSL-95-08, Computer Science Laboratory, SRI International, July 1995.
On Mismatches Between Ontologies - A first investigation into.. - Visser, Jones (Correct)
No context found.
Qian, X. (1996). Correct Schema Transformations, Advances in Database Technology - EDBT'96, Lecture Notes in Computer Science 1057, pp.114-128. Springer-Verlag.
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