Frank Piessens and Eric Steegmans. Proving semantical equivalence of data specifications. Journal of Pure and Applied Algebra, 116:219--322, 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Entity-Relationship-Attribute Designs And Sketches - Johnson, Rosebrugh, Wood (2002) (Correct)
....starred, pointed equipments. We should point out that using sketches for data specification has led to recent progress in understanding the view updatability problem [11] Before proceeding we note that some other authors have also proposed sketches for data specification. Piessens and Steegmans [12, 13] also consider models of sketches, but give less consideration to the query language and updates. Motivated by the problem of view integration they obtain some very interesting results on algorithmic determination of equivalence of model categories for certain classes of sketches. Diskin and ....
Frank Piessens and Eric Steegmans. Proving semantical equivalence of data specifications. Journal of Pure and Applied Algebra 116 (1997), 291--322.
A Decision Procedure for Semantical Equivalence of Thin FM.. - Piessens, Steegmans (1999) Self-citation (Piessens Steegmans) (Correct)
No context found.
Frank Piessens and Eric Steegmans. Proving semantical equivalence of data specifications. Journal of Pure and Applied Algebra, 116:219--322, 1997.
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