Carl A. Gunter and Dana S. Scott. Semantic domains. In Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science, chapter 12, pages 635--674. Elsevier, Amsterdam, 1990. 12 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Deciding Containment for Queries with Complex Objects and.. - Levy, Suciu (1997) (25 citations) (Correct)
....c; dg; ff; hgg v ffa; b; c; d; eg; ff; hgg because fa; bg v fa; b; c; d; eg, fa; c; dg v fa; b; c; d; eg and ff; hg v ff; hg. This notion of containment has been used previously in partial informations [BOJ91] and or sets [LW93] It is a particular case of the lower (Hoare) powerdomain ordering [GS90], and it coincides with the simulation relation between complex objects represented as graphs [BDHS96, BDFS97] It is also the smallest order relation for complex objects which is reflexive (x v x) is a congruence (i.e. x 1 v x 0 1 : x k v x 0 k implies [A 1 : x 1 ; A k : x k ....
Carl A. Gunter and Dana S. Scott. Semantic domains. In Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science, chapter 12, pages 635--674. Elsevier, Amsterdam, 1990. 12
Deciding Containment for Queries with Complex Objects (Extended .. - Levy, Suciu (1997) (25 citations) (Correct)
....v ffa; b; c; d; eg; ff; hgg because fa; bg v fa; b; c; d; eg, fa; c; dg v fa; b; c; d; eg and ff; hg v ff; hg. This notion of containment has been used previously for Verso relations [4] partial informations [8] and or sets [32] It is a particular case of the lower (Hoare) powerdomain ordering [22], and it coincides with the simulation relation between complex objects represented as graphs [6, 5] It is also the smallest order relation for complex objects which is reflexive (x v x) is a congruence (i.e. x 1 v x 0 1 : x k v x 0 k implies [A 1 : x 1 ; A k : x k ] v [A 1 ....
Carl A. Gunter and Dana S. Scott. Semantic domains. In Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science, Chapter 12, pages 635--674. 1990.
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