lecture24 - CS30785 - Semistructured or Web-like databases...

Info iconThis preview shows pages 1–12. Sign up to view the full content.

View Full Document Right Arrow Icon
Semi-structured or Web-like Databases CS30785 Lecture 24 – Language Bisimulation Dr. Gangmin Gary Li Department of CSSE XJTLU Gangmin.li@xjtlu.edu.cn Room: D441
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Bisimulation : Deriving Inequalities and Equalities from Recursive Systems of Set Equations CS30785 - Semistructured or Web-like databases 2 L24 – Language Bisimulation
Background image of page 2
CS30785 - Semistructured or Web-like databases 3 L24 – Language Bisimulation
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Witness Rules CS30785 - Semistructured or Web-like databases 4 L24 – Language Bisimulation
Background image of page 4
Symmetry Rules CS30785 - Semistructured or Web-like databases 5 L24 – Language Bisimulation
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Lift Rule CS30785 - Semistructured or Web-like databases 6 L24 – Language Bisimulation
Background image of page 6
Empty set is always distinguishable from non-empty set
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 8
Background image of page 9

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 10
Background image of page 11

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 12
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CS30785 - Semistructured or Web-like databases 7 L24 Language Bisimulation Equalities CS30785 - Semistructured or Web-like databases 8 L24 Language Bisimulation Example CS30785 - Semistructured or Web-like databases 9 L24 Language Bisimulation Example CS30785 - Semistructured or Web-like databases 10 L24 Language Bisimulation CS30785 - Semistructured or Web-like databases 11 L24 Language Bisimulation Semi-structured or Web-like Databases CS30785 Lecture 24 Language Bisimulation Dr. Gangmin Gary Li Department of CSSE XJTLU Gangmin.li@xjtlu.edu.cn Room: D441 CS30785 - Semistructured or Web-like databases 12 L24 Language Bisimulation...
View Full Document

This note was uploaded on 05/22/2011 for the course CS 30785 taught by Professor Garyli during the Spring '11 term at University of Liverpool.

Page1 / 12

lecture24 - CS30785 - Semistructured or Web-like databases...

This preview shows document pages 1 - 12. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online