lecture25 - Semi-structured or Web-like Databases CS30785...

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

View Full Document Right Arrow Icon
Semi-structured or Web-like Databases CS30785 Lecture 25 – Language Bisimulation by Positive facts Dr. Gangmin Gary Li Department of CSSE XJTLU [email protected] Room: D441 j i x x
Background image of page 1

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

View Full Document Right Arrow Icon
2 Previous Lecture • Bisimilation • Rules for negative • Witness rules • Symmetry rules • Left rules • Procedure • Stabilization L25 – Bisimulation by positive facts CS30785 - Semistructured or Web-like databases
Background image of page 2
Rules and Procedures L25 – Bisimulation by positive facts CS30785 - Semistructured or Web-like databases 3
Background image of page 3

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

View Full Document Right Arrow Icon
Procedure • List all the possibilities • Start from known facts Such as • Using Witness Rules or other rules • Until Stable state • Then we can clude L25 – Bisimulation by positive facts CS30785 - Semistructured or Web-like databases 4
Background image of page 4
5 Outline • Bisimilation again • Positive equality • Rules • Examples to show the Procedure of how to find out the bisimilation or not • Define “non-redundand” graphs j i x x L25 – Bisimulation by positive facts CS30785 - Semistructured or Web-like databases
Background image of page 5

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

View Full Document Right Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Page1 / 12

lecture25 - Semi-structured or Web-like Databases CS30785...

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

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